Mercurial > urweb

comparison src/prim.sml @ 95:274116d1a4cd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Monoizing joins and tags
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:53:28 -0400
parents f1c36df29ed7
children c0ea24dcb86f
comparison
equal deleted inserted replaced
94:40d146f467c5 95:274116d1a4cd
37 37
38 fun p_t t = 38 fun p_t t =
39 case t of 39 case t of
40 Int n => string (Int64.toString n) 40 Int n => string (Int64.toString n)
41 | Float n => string (Real64.toString n) 41 | Float n => string (Real64.toString n)
42 | String s => box [string "\"", string s, string "\""] 42 | String s => box [string "\"", string (String.toString s), string "\""]
43 43
44 end 44 end