Mercurial > urweb

comparison src/prim.sml @ 183:c0ea24dcb86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents 274116d1a4cd
children ed4af33681d8
comparison
equal deleted inserted replaced
182:d11754ffe252 183:c0ea24dcb86f
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 (String.toString s), string "\""] 42 | String s => box [string "\"", string (String.toString s), string "\""]
43 43
44 fun equal x =
45 case x of
46 (Int n1, Int n2) => n1 = n2
47 | (Float n1, Float n2) => Real64.== (n1, n2)
48 | (String s1, String s2) => s1 = s2
49
50 | _ => false
51
44 end 52 end