[MLton] cvs commit: mlb annotations quoted

[Stephen Weeks]

> anns ::= "string constant"
> 
> basdec ::= ... | ann <anns> in <basdec> end
> 
> and the derived form:
> 
> basdec ::= ... | ann <anns>+ in <basdec> end
> 
> ann <anns> <anns>+ in <basdec> end
> ==> ann <anns> in ann <anns>+ in <basdec> end end

Great.

I wonder if we should drop the special treatment of comma now.  It's
nice from the command line, but looks strange to me in the language,
since one could write "ann1" "ann2" in place of "ann1, ann2".