[MLton] ffi improvements

Stephen Weeks MLton@mlton.org
Wed, 22 Sep 2004 18:30:58 -0700


> I suspect what I want is a slightly more refined interface for the
> user. I don't see any problem having a Pointer type in the compiler,
> but I would expect more type-checking in the exposed user
> interfaces.

I agree completely.  I was worried that you had a reason for compiler
mods.  Yes, someone should build a nicer front end to the pointer
stuff using phantom types or whatever to get better type safety.