author wenzelm Thu, 02 Aug 2007 22:16:49 +0200 changeset 24134 6e69e0031f34 parent 24133 75063f96618f child 24135 e7fb7ef2a85e
added int type constraints to accomodate hacked SML/NJ;
```--- a/src/Tools/Compute_Oracle/am_ghc.ML	Thu Aug 02 21:45:07 2007 +0200
+++ b/src/Tools/Compute_Oracle/am_ghc.ML	Thu Aug 02 22:16:49 2007 +0200
@@ -24,7 +24,7 @@
fun update_arity arity code a =
(case Inttab.lookup arity code of
NONE => Inttab.update_new (code, a) arity
-       | SOME a' => if a > a' then Inttab.update (code, a) arity else arity)
+       | SOME (a': int) => if a > a' then Inttab.update (code, a) arity else arity)

(* We have to find out the maximal arity of each constant *)
fun collect_pattern_arity PVar arity = arity```
```--- a/src/Tools/Compute_Oracle/am_sml.ML	Thu Aug 02 21:45:07 2007 +0200
+++ b/src/Tools/Compute_Oracle/am_sml.ML	Thu Aug 02 22:16:49 2007 +0200
@@ -53,7 +53,7 @@
fun update_arity arity code a =
(case Inttab.lookup arity code of
NONE => Inttab.update_new (code, a) arity
-       | SOME a' => if a > a' then Inttab.update (code, a) arity else arity)
+       | SOME (a': int) => if a > a' then Inttab.update (code, a) arity else arity)

(* We have to find out the maximal arity of each constant *)
fun collect_pattern_arity PVar arity = arity```