[MLton-devel] working with polyspace

[Henry Cejtin]

Excellent.  They are definitely getting a good deal.

Are  their  memory  space pressures caused by large or small things.  For the
latter I would think that a BBOP in older generations could  be  a  big  win,
although perhaps with MLton not as much as other worlds.

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.

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