[MLton] Callback to function pointer?

Stephen Weeks MLton@mlton.org
Thu, 14 Jul 2005 13:28:30 -0700


>  _address "symbol";		==> MLton.Pointer.t
>  _store *: 'a;		==> (MLton.Pointer.t * 'a) -> unit
>  _store "symbol": 'a;		==> 'a -> unit
>  _import *: 'a;		==> MLton.Pointer.t -> 'a
>  _import "symbol": 'a;	==> 'a
>  _export "symbol": 'a;	==> 'a -> unit

I like this.  I agree with others that it would be useful to have
_address specify a type, which must expand to MLton.Pointer.t, so that
one can import the addresses at opaque types.

One other nice thing about the above is that it is, I believe,
strictly an extension of our currently documented FFI.