[MLton-devel] working with polyspace

[Stephen Weeks]

> Are their memory space pressures caused by large or small things.

Dunno.  I have never actually seen their code.  They have just sent me
some small test cases to run before I ship 'em the rpms.

> I don't know if they would be interested, but I see that the x86-64-bit stuff
> for Linux seems to be progressing nicely.   Still  a  bit  longer  term,  but
> definitely something that would be nice to keep an eye on.

Yeah.  It's in their sights.  We discussed that, as well as a native
SPARC codegen, but decided that the other stuff was better bang for
the buck in the short term.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel