>>>>> "Matthew" == Matthew Flatt <mflatt at cs.utah.edu> writes: Matthew> Meanwhile, PLT will still need something like PLTCOLLECTS to point to a Matthew> local "copy" of code in the global namespace, right? Yes. -- Cheers =8-} Mike Friede, V?lkerverst?ndigung und ?berhaupt blabla