[MLton] mlb annotations

Stephen Weeks MLton@mlton.org
Tue, 2 Nov 2004 13:34:58 -0800

> When I added support for quoted (") filenames in mlbs, it occured to
> me that it might be useful to make annotations be quoted as well.

Seems like the pros outweigh the cons to me.

I'm not sure whether this should before or after the release, which I
hope to be in a week or two.