[plt-scheme] module question

 Hi Danny, Matthew,
Thanks for your comments. I did some more reading in sections 12.3 and 
12.4
of the mzscheme manual. I found that in a module #'a is expanded to
 (#%top . a) if a is not bound in the module and to plain a if it is. 
That 
is correct, of course, and it explains the difference between the two
pieces of code. Best wishes, Jos

((((lambda(x)((((((x x)x)x)x)x)x))
   (lambda(x)(lambda(y)(x(x y)))))
  (lambda(x)(write x)x))
 "greetings, Jos")
----- Original Message ----- 
From: "Matthew Flatt" <mflatt at cs.utah.edu>
To: "Danny Yoo" <dyoo at hkn.eecs.berkeley.edu>
Cc: <jos.koot at tiscali.nl>; <plt-scheme at list.cs.brown.edu>
Sent: Monday, May 29, 2006 6:42 PM
Subject: Re: [plt-scheme] module question

> At Mon, 29 May 2006 08:16:50 -0700 (PDT), Danny Yoo wrote:
>> I get the feeling that this has something to do
>> with the "hopelessness" of the toplevel.
>
> Yes.
>
>> 'a' should have
>> treated a as an unbound.
>
> There's no distinction between a reference to the top-level variable
> `a' and a reference to an unbound `a'.
>