[MLton] dropping ckit and MLRISC libraries from MLton package

Stephen Weeks sweeks at sweeks.com
Wed Oct 25 17:46:27 PDT 2006


> I don't object to moving them.  I prefer to keep them in the form of
> pairs of a .tgz and a .patch file, since it helps to keep them in
> sync with SML/NJ.

OK.  I won't move them right away.  Also, I noticed that mlnlffi
depends on ckit, so I guess I can't move that away.  But I guess
dropping MLRISC is safe.




More information about the MLton mailing list