[MLton] MinGW done

Wesley W. Terpstra terpstra@gkec.informatik.tu-darmstadt.de
Mon, 12 Jun 2006 19:49:49 +0200


On Jun 12, 2006, at 6:55 PM, Matthew Fluet wrote:
> I made a few minor changes to the commits that switch over to stdio  
> and that change MLton.world.save.

I would've used C_Errno_t(Bool_t) myself, but was too afraid to  
include c-types.h in gc.h. :-)

Incidentally, it seems to me that many of the primitive function  
calls are/will be broken when the next step for 64bit comes. The  
basis has been nicely abstracted, but the primitives use hard-coded  
prototypes in the compiler for Word32. I don't really understand why  
these aren't handled the same way as the FFI. I understand that some  
primitives are not transformed to a function call, but for those that  
are, shouldn't we be using autogenerated type information?

The checkPrimApp seems ok (as it's all on the level of SML types  
here), but the backend/ssa-to-rssa.fun needs some real reworking.

Also, am I correct that once the runtime in x86_64 is stabilized, it  
will be merged back to HEAD? Then a new branch proceeds to address  
the memory layout code in the compiler, followed by merge, then  
branch for c-codegen, merge, x86-codgen, merge?