[MLton-user] opaque types and ffi

Stephen Weeks sweeks@sweeks.com
Mon, 24 Nov 2003 11:59:12 -0800


> Taking the idea a bit further, perhaps it would be nice to have the type
> be 'a pointer, with FFI allowed for any 'a.

I don't see any reason why a programmer couldn't do this himself.

	type 'a pointer = MLton.pointer