[MLton] Re: MLton problems on FreeBSD

Thierry Thomas thierry@FreeBSD.org
Sun, 9 Jan 2005 10:01:41 +0100

Le Ven  7 jan 05 ŗ  0:54:25 +0100, Stephen Weeks <sweeks@sweeks.com>
> I just did a send-pr.  
> 	http://www.freebsd.org/cgi/query-pr.cgi?pr=75903
> (the report doesn't show up yet, but I guess it will soon)
> I'd appreciate anything you can do to make sure the patch gets applied
> before MLton is removed on February 18.  Thanks.


I'm currently busy with a big update of Code_Aster and related ports,
and I had planned to check it after that.

Have you seen Sergey's feedback?

Th. Thomas.