[plt-scheme] redefining set!

From: Jens Axel Søgaard (jensaxel at soegaard.net)
Date: Tue Jun 19 14:08:33 EDT 2007

Hans Oesterholt-Dijkema wrote:
> 
>> With (require mzscheme) the optimizer
>> knows that standard names haven't been
>> redefined, and thus they can be inlined.
>>
> What do you mean with 'standard names'?

Everything exported by mzscheme, that is: +, - and so forth.

If + is bound to a top-level variable then the optimizer
can't inline call to ut, since it is legal to assign to a
top-level variable. Module imported variables can't be
assigned, so with (require mzscheme) the optimize knows
that + (and friends) is bound to the primitive + provided by
the kernel - and can inline any calls to it.

-- 
Jens Axel Søgaard




Posted on the users mailing list.