> After experimenting, I see now that a .mlb may use quoted strings. Yes. This is documented at http://mlton.org/MLBasisSyntaxAndSemantics I added a note about this closer to the grammar to make it more noticeable.