[MLton-user] opaque types and ffi

[Tom 7]

Oh, great! I never noticed it...

Taking the idea a bit further, perhaps it would be nice to have the type
be 'a pointer, with FFI allowed for any 'a. This would allow the
programmer to create any number of distinct pointer types with "phantom"
arguments (if I recall correctly this idiom is used all over in mlton
itself). This might be a way to do what Vesa wants.

 - Tom

> I agree.  There is type MLton.pointer which does what you want, I
> hope.  Unfortunately, due to an oversight, it does not work correctly
> with experimental release 20031118, but it does work with our last
> public release, 20030716, and will certainly work with our next one.


[ NEW! : http://tom7.org/       ]
[ OLD! : http://fonts.tom7.com/ ]