mit-scheme-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MIT-Scheme-devel] two changes to push


From: Taylor R Campbell
Subject: Re: [MIT-Scheme-devel] two changes to push
Date: Sun, 20 Sep 2009 00:50:59 -0400
User-agent: IMAIL/1.21; Edwin/3.116; MIT-Scheme/7.7.90.+

   Date: Sat, 19 Sep 2009 15:37:33 -0700
   From: Joe Marshall <address@hidden>

   That's pretty hard to prove unless all the calls between the
   argument binding and the argument use are primitives or known to be
   effect-free.  For the most part, you can get away with it because
   there isn't much Scheme code that uses side effects.

It would be nice if the compiler knew a good deal more of this
information.  Currently SF knows nothing about it, and LIAR knows only
about the effects of a few primitives (and still does hardly anything
with even that, as far as I can tell).  Maybe some day we'll have a
principled way to transmit compile-time information between components
of programs...

   For SYMBOL?, I thought it was worth integrating because
   GUARANTEE-SYMBOL is called on nearly every I/O operation.

It is?  I don't see why it would, unless you are changing a generic
port's line-ending or using port properties at every I/O operation.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]