Something to keep in mind is that define-integrable normally has no effect outside of the file that it appears in. It's rare for someone to use the integrate-external declaration.
On Sat, Sep 19, 2009 at 3:37 PM, Joe Marshall <jmarsh...@alum.mit.edu> wrote: > On Sat, Sep 19, 2009 at 3:27 PM, Taylor R Campbell <campb...@mumble.net> > wrote: >> >> I've seen that, but it doesn't say that the declarations can change >> the semantics of a program. At the very least, it should have a big >> scary warning to say that. I always assumed that SF would perform the >> transformation only when it could prove that it wouldn't change the >> program's semantics (i.e. only for movable operand expressions). > > 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. > > For SYMBOL?, I thought it was worth integrating because > GUARANTEE-SYMBOL is called on nearly every I/O operation. > > > > > -- > ~jrm > _______________________________________________ MIT-Scheme-devel mailing list MIT-Scheme-devel@gnu.org http://lists.gnu.org/mailman/listinfo/mit-scheme-devel
