diff src/prim.sml @ 183:c0ea24dcb86f

Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents 274116d1a4cd
children ed4af33681d8
line wrap: on
line diff
--- a/src/prim.sml	Sun Aug 03 12:43:20 2008 -0400
+++ b/src/prim.sml	Sun Aug 03 13:30:27 2008 -0400
@@ -41,4 +41,12 @@
       | Float n => string (Real64.toString n)
       | String s => box [string "\"", string (String.toString s), string "\""]
 
+fun equal x =
+    case x of
+        (Int n1, Int n2) => n1 = n2
+      | (Float n1, Float n2) => Real64.== (n1, n2)
+      | (String s1, String s2) => s1 = s2
+
+      | _ => false
+
 end