I don't think that (declare (not safe)) is reasonable for default compiler declaration, especially for phi code :) But that's quite an interesting observation.
-- vyzo
On Thu, Mar 22, 2018 at 10:44 PM, Bradley Lucier lucier@math.purdue.edu wrote:
On 03/22/2018 04:21 PM, Dimitris Vyzovitis wrote:
Yeah, that's not quite intended -- I should lift it to 150 or so.
The declarations are
(declare (block) (standard-bindings) (extended-bindings))
Do you mean to compile this module with safety, so that each car checks that the argument is a pair, each (fx+ x 1) checks that x and the result are fixnums, etc?
If you do
gsc -c -expansion defparser__1.scm > expansion.scm
you'll see what gsc expands things to. With safe, you get
-rw-r--r-- 1 lucier lucier 2606303 Mar 22 16:29 expansion-safe.scm -rw-r--r-- 1 lucier lucier 7919907 Mar 22 16:29 defparser__1-safe.c
with (declare (not safe)) you get
-rw-r--r-- 1 lucier lucier 844052 Mar 22 16:41 expansion.scm -rw-r--r-- 1 lucier lucier 2287806 Mar 22 16:41 defparser__1.c
But I don't know what you want.
Brad