> I guess I weakly vote for quoting, because otherwise you can't even > pipe the output of mlton -f into another mlb. Yes, double quoting makes sense. Also, appropriate SML escape sequences should be inserted, so the string reads back correctly (to an SML string lexer). You could take the effort to quote only when necessary, but I don't see the point.