[MLton] Re: C-types

Matthew Fluet fluet@cs.cornell.edu
Wed, 17 May 2006 07:59:19 -0400 (EDT)


> 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?

Correct; I haven't reworked the treatment of compile-time constants so 
that they are elaborated into the program at the proper size.

> On the plus side, I didn't need to hack the signedness of the c-types file.

Correct; my previous fix only helped with the signedness issues when type 
checking the Basis Library's SML types.