[MLton] Re: [MLton-user] SVN r6941 MLton/MinGW32 and FFI

[Ville Laurikari]

On Mon, Nov 17, 2008 at 04:00:08PM +0100, Wesley W. Terpstra wrote:
> Ok, so we can remove the MLton ones? I think they are broken atm anyway
> since they get prefix with MLton_ by the mingw.h.

I can confirm that the current dlopen and friends from mingw.c don't
work, exactly because they are prefixed with MLton_.

> I was thinking we could just include their (fixed) library in the
> MLton mingw installer.

This seems like a good idea.

--
http://www.iki.fi/vl/