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