[racket-dev] RFC: "provide" via mutation

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.