<div dir="ltr"><div><div>I don't think that (declare (not safe)) is reasonable for default compiler declaration, especially for phi code :)<br></div>But that's quite an interesting observation.<br><br></div>-- vyzo<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Mar 22, 2018 at 10:44 PM, Bradley Lucier <span dir="ltr"><<a href="mailto:lucier@math.purdue.edu" target="_blank">lucier@math.purdue.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 03/22/2018 04:21 PM, Dimitris Vyzovitis wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Yeah, that's not quite intended -- I should lift it to 150 or so.<br>
</blockquote>
<br></span>
The declarations are<br>
<br>
(declare (block) (standard-bindings) (extended-bindings))<br>
<br>
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?<br>
<br>
If you do<br>
<br>
gsc -c -expansion defparser__1.scm > expansion.scm<br>
<br>
you'll see what gsc expands things to.  With safe, you get<br>
<br>
-rw-r--r--  1 lucier lucier    2606303 Mar 22 16:29 expansion-safe.scm<br>
-rw-r--r--  1 lucier lucier    7919907 Mar 22 16:29 defparser__1-safe.c<br>
<br>
with (declare (not safe)) you get<br>
<br>
-rw-r--r--  1 lucier lucier     844052 Mar 22 16:41 expansion.scm<br>
-rw-r--r--  1 lucier lucier    2287806 Mar 22 16:41 defparser__1.c<br>
<br>
But I don't know what you want.<br>
<br>
Brad<br>
</blockquote></div><br></div>