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

Sorry,

(if (eq? 'like `like) ('like) (* like like))


Hans Oesterholt schreef:

> I figured that out, but why the different behaviour?
> I first tried this with a plain 'if' statement, and it
> got evaluated as well. Why? Shouldn't it be so that
> only the condition of an if statement must be evaluated
> and the code of the part to be executed that it implies?
>
> So
>
> (if ('like eq 'like) ('like) (* like like))
>
> shouldn't that be possible?
>
> Matthias Felleisen schreef:
>
>>
>> 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
>>
>
>