[MLton-devel] monomorphisation and the opus

[Stephen Weeks]

I agree with everything Matthew said.

> (But, then again, I'm not totally up to speed on how the
> monomorphiser works, so I'm not sure how clean and simple a proof of
> that could be.)

It sounds yucky to me, and I don't think the opus should get anywhere
near that formal.


-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel