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