diff src/prim.sml @ 479:ffa18975e661

Broaden set of possible especializations
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 14:42:52 -0500
parents e89076c41c39
children 1901db85acb4
line wrap: on
line diff
--- a/src/prim.sml	Sat Nov 08 13:15:00 2008 -0500
+++ b/src/prim.sml	Sat Nov 08 14:42:52 2008 -0500
@@ -67,4 +67,16 @@
 
       | _ => false
 
+fun compare (p1, p2) =
+    case (p1, p2) of
+        (Int n1, Int n2) => Int64.compare (n1, n2)
+      | (Int _, _) => LESS
+      | (_, Int _) => GREATER
+
+      | (Float n1, Float n2) => Real64.compare (n1, n2)
+      | (Float _, _) => LESS
+      | (_, Float _) => GREATER
+
+      | (String n1, String n2) => String.compare (n1, n2)
+
 end