Mercurial > urweb
diff src/prim.sml @ 95:274116d1a4cd
Monoizing joins and tags
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 03 Jul 2008 17:53:28 -0400 |
parents | f1c36df29ed7 |
children | c0ea24dcb86f |
line wrap: on
line diff
--- a/src/prim.sml Thu Jul 03 17:39:17 2008 -0400 +++ b/src/prim.sml Thu Jul 03 17:53:28 2008 -0400 @@ -39,6 +39,6 @@ case t of Int n => string (Int64.toString n) | Float n => string (Real64.toString n) - | String s => box [string "\"", string s, string "\""] + | String s => box [string "\"", string (String.toString s), string "\""] end