Sorry about that. Try sending to MLton-disuss-request@sourcelight.com now. (I had it set up for majordomo@sourcelight.com, but it will now handle MLton-discuss-request@sourcelight.com.)