diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-08 17:55:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-08 17:55:51 -0400 |
| commit | b9b67597324deb6e6dfc8ef33c60c110abc2af7b (patch) | |
| tree | 2ff5f7417692c2590916a6eeb55aa38bbb47516f /src/mono_util.sml | |
| parent | e2a9136ed7123cb8e5cac4a20cbce5467643ecd6 (diff) | |
Specialization of single-parameter datatypes
Diffstat (limited to 'src/mono_util.sml')
| -rw-r--r-- | src/mono_util.sml | 13 |
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 |