summaryrefslogtreecommitdiff
path: root/src/mono_util.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/mono_util.sml')
-rw-r--r--src/mono_util.sml13
1 files changed, 1 insertions, 12 deletions
diff --git a/src/mono_util.sml b/src/mono_util.sml
index 68cbda08..f00db1fd 100644
--- a/src/mono_util.sml
+++ b/src/mono_util.sml
@@ -39,18 +39,7 @@ structure S = Search
structure Typ = struct
-fun join (o1, o2) =
- case o1 of
- EQUAL => o2 ()
- | v => v
-
-fun joinL f (os1, os2) =
- case (os1, os2) of
- (nil, nil) => EQUAL
- | (nil, _) => LESS
- | (h1 :: t1, h2 :: t2) =>
- join (f (h1, h2), fn () => joinL f (t1, t2))
- | (_ :: _, nil) => GREATER
+open Order
fun compare ((t1, _), (t2, _)) =
case (t1, t2) of