> I think the best idea would be to hack GenSML into something that works > essentially like cmcat did. I've already looked at it a little bit, so it > wouldn't be too hard. That would be excellent. We would be no worse off in terms of semantics/scope preservation, and we would be much better off in letting users use a recent SML/NJ.