On Mon, Jun 21, 2010 at 3:58 PM, Matthias Felleisen
<[email protected]> wrote:
>
> I still don't understand how the #'x reference is actually exported from m to 
> n. I understand the store part but why is the for-value require of 'm needed? 
> If you remove it you get a type-checking error (add1 applied to False).

If you don't have the `require' of 'm, then the box is never mutated
in the store of the expansion time of 'n, leaving it with the initial
value #f. The `begin-for-syntax' in 'm is what does the exporting, by
mutating the shared box.
-- 
sam th
[email protected]
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to