[MLton] dropping ckit and MLRISC libraries from MLton package

Matthew Fluet fluet at cs.cornell.edu
Wed Oct 25 17:42:10 PDT 2006


> I am currently building a MLton Debian package to fix bug #394981.  I
> am encountering problems with the MLRISC, ckit, and SML/NJ libraries.
> Lintian reports the warnings and errors below.  Separately from the
> question of fixing them, I wonder whether we should include the MLRISC
> and ckit libraries at all.  They are not widely used.  And, as we are
> moving along with the new library project, perhaps those should be
> moved to "org/smlnj/".  I think the SML/NJ library should go there
> too, although I would like to include it with MLton since it is more
> widely used.
>
> Thoughts?

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.





More information about the MLton mailing list