[MLton] MLton HOL

Stephen Weeks MLton@mlton.org
Thu, 1 Jul 2004 08:10:48 -0700


> Go ahead. 

OK.

> I don't have a clean checkout lying around anywhere and I'm afraid
> I'll accidently check-in the mlb stuff if I fool around with my
> current source trees.

I often work with several checked-out copies of the sources when I'm
working on different projects.  That solves the accidental-checkin
problem, and lets me run tests on changes independently.