From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Sun Nov 13 18:37:41 EST 2005 |
|
On Nov 13, 2005, at 6:14 PM, Hans Oesterholt wrote: > (a like) expands into (a.is-op? 'like (lambda () (* like like))) and then is checked for close-ness. Since like is not defined, the module isn't well-formed. At the top-level, (a like) expands into the same code. But since module isn't there, the code isn't checked for well-formedness. So an unbound id is okay as long as you don't evaluate it. -- Matthias
Posted on the users mailing list. |
|