>>>>> "Michael" == Michael Vanier <mvanier@cs.caltech.edu> writes: Michael> So why not have first-class names? Because it would destroy lexical scoping. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla