[plt-scheme] syntax form works in top-level env, but not when imported from module.

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 

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.