[MLton-user] opaque types and ffi

Vesa Norrman vnorrman@cc.hut.fi
Fri, 21 Nov 2003 17:06:54 +0200 (EET)


Hello, I'm creating a structure for ffi pointers. The idea is to use
the word type and remove almost all operations using an opaque signature
match. However, the opaque match seems to destroy the ability to pass
the ffi. Is it possible to write such a structure?

This is more like a theoretical question since it's not really necessary
to use :> instead of :. Vesa