cmcat

[Stephen Weeks]

> I was trying to port cmcat.sml to SML/NJ 110.36 (I want to add 
> make mlton.cm  to my remote make sml because I usually just make sure that
> a make nj-mlton succeeds and don't always remember to update mlton.cm).
> Anyways, I don't think CM exports enough functionality anymore.

It doesn't.  I sent mail to Matthias about this.  Here is his reply.

> From: Matthias Blume <blume@research.bell-labs.com>
> Sender: blume@research.bell-labs.com
> To: Stephen Weeks <sweeks@intertrust.com>
> Subject: Re: CM.names
> Date: Wed, 29 Aug 2001 15:30:03 -0400
> 
> Stephen Weeks wrote:
> > 
> > >     http://cm.bell-labs.com/cm/cs/what/smlnj/doc/CM/New/node32.html
> > >
> > > Hope this helps... :)
> > 
> > Thanks.  I took a look, but it doesn't look like CM.sources returns things in
> > def-before-use order like CM.names did.  I need stuff in order so I can generate
> > a whole program for MLton.  Any other ideas?
> 
> Well, I guess you are right.
> 
> Dan Wang has -- fairly persistently -- been asking me for the Right(tm)
> functionality: generating a whole program so that CM's namespace
> handling is preserved.  Once I get around to it, it should be fairly easy.
> (The basic algorithm is in the TOPLAS paper.)
> 
> I'll think about what to do in the short term, but don't hold your breath because I
> am about to leave for ICFP, and I am still busy preparing my talk....
> 
> Matthias

Anyways, I'm just using a cmcat built from 110.9.1, which works fine.