[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.  


(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.