[MLton] filedes = int (was: Stack size?)

Stephen Weeks MLton@mlton.org
Mon, 11 Jul 2005 13:49:34 -0700


> Now that there is a complete front-end, we could acheive the same by
> 
> -	datatype file_desc = FD of int
> +	structure FD :> sig type t end = struct type file_desc = int end
> +	type file_desc = FD.t

I like this solution, and it is used in other places in the basis
library.  I'm tempted to make the change.

> Though I think there is still some advantage (though I'm hard
> pressed to put my finger on exactly what the advantage is) to
> requiring explicit pack and unpack functions to witness the
> coercion.

This would only be at the FFI, right?