[MLton] cvs commit: C types now distinguish between signed and unsigned words

Matthew Fluet fluet@cs.cornell.edu
Fri, 14 Jan 2005 11:21:16 -0500 (EST)


> Here is what I get:
> mlton -default-ann 'allowImport true' -default-ann 'allowExport true'
> -keep g -codegen c -export-header export.h -stop tc test_quot.sml
> mlton -default-ann 'allowImport true' -default-ann 'allowExport true'
> -keep g -codegen c -stop o my_quot.c
> mlton -default-ann 'allowImport true' -default-ann 'allowExport true'
> -keep g -codegen c test_quot.sml my_quot.o
> ./test_quot
>   bad_z = 25
>       z = 0
>    my_z = 25
> your_z = 0

Thanks.  The fact that my_z returns 25 (the bad_z value) confirms the FFI
bug (for _import) on PPC.  I was worried about the FFI bug affecting
_export as well, but the fact that your_z is returning 0 seems to suggest
that it isn't a problem there.