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).
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
