[MLton] can mlbasis rename the top-level?

Stephen Weeks MLton@mlton.org
Tue, 6 Sep 2005 14:41:05 -0700


> Or take "}>}" as the closing delimiter.

:-).  Yes, that definitely is easiest, for all tools involved.  I'm
fine with that if others are.