On Dec 21, 2007, at 12:49 PM, Chongkai Zhu wrote: > Run *as* Scheme code. After compiling, there is NO ml code at all. > Everything is turned into dynamically-typed Scheme code. That's the way SML/NJ started, and possibly other ML compilers, too. Check your history before you publish. Perhaps your advisor (Konrad) knows. -- Matthias