[MLton] Re: MLton problems on FreeBSD

Stephen Weeks MLton@mlton.org
Thu, 6 Jan 2005 15:54:25 -0800


> We needed several iterations for the first time, because it was an
> unusual and complicated port, but just for an update, it should be
> simple, and you should send a PR directly.

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.