[MLton] ffi improvements

Daniel C. Wang danwang@CS.Princeton.EDU
Wed, 22 Sep 2004 22:38:01 -0400


Oh, BTW is there any reason not to adopt the convention of putting all 
unsafe interfaces into an Unsafe structure. i.e.

MLton.Unsafe.Pointer rather than just MLton.Pointer

Just to make sure the user knows what to expect. :)

Stephen Weeks wrote:

>>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.
> 
> _______________________________________________
> MLton mailing list
> MLton@mlton.org
> http://www.mlton.org/mailman/listinfo/mlton