[MLton] MLton HOL

[Stephen Weeks]

> The 10 minute compile was prior to realizing the Interrupt problem
> existed, so I wasn't doing anything. When I ran the resulting program,
> it immediately threw an exception and terminated. I had been assuming
> that the mlton optimizer "knew" this would happen, and so got rid of
> large chunks of the program, resulting in a quick compile. Is my
> anthropomorphizing reasonable in this case?

Very.

> Would 20031018 suffer the same problems with writing to /tmp as
> 20030716? 

Yes.

_______________________________________________
MLton mailing list
MLton@mlton.org
http://www.mlton.org/mailman/listinfo/mlton