From b4fbebde89c6ed5eeae8653004417ac6000cdf07 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 8 Nov 2008 14:42:52 -0500
Subject: Broaden set of possible especializations

---
 src/prim.sml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/prim.sml')

diff --git a/src/prim.sml b/src/prim.sml
index 2c24fa0a..daf666e8 100644
--- a/src/prim.sml
+++ b/src/prim.sml
@@ -67,4 +67,16 @@ fun equal x =
 
       | _ => 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
-- 
cgit v1.2.3