[MLton] ffi improvements

Matthew Fluet fluet@cs.cornell.edu
Wed, 22 Sep 2004 19:57:58 -0400 (EDT)


> signature DYN_LINK =
>    sig
>    end
> structure DynLink : DYN_LINK

That should be an opaque signature match, else my point is moot.