[MLton] Re: C-types

Wesley W. Terpstra wesley@terpstra.ca
Wed, 17 May 2006 13:15:08 +0200


On May 13, 2006, at 5:57 PM, Matthew Fluet wrote:
> I've exposed a few more coercions to and from SysWord.word in the  
> INTEGER_EXTRA signature, which fixes most of the signedness issues.

I've tried the newest HEAD version (4548) and the problem is still  
there on osx:
> Type error: type mismatch
> word16
> word32
> val irgrp =
>    IRGRP
> val irgrp =
>    IRGRP
> let
>    exception Bind

So it seems the bug remains, unless I need to take some special action?
On the plus side, I didn't need to hack the signedness of the c-types  
file.