| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Mon Jun 21 15:58:28 EDT 2010 |
|
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).
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}