diff options
| author | Kathy Gray | 2014-04-03 14:12:05 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-04-03 14:12:21 +0100 |
| commit | a4ed64a0a5da7867134472ca36a739c462dabf33 (patch) | |
| tree | c1f2692379faf65acfb5a400382d8b42112d2aef | |
| parent | cf99ac1175bd0bb754cdd776f18b109eced0ed03 (diff) | |
start solving more constraints
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 09fb5eae..0086979d 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -1061,6 +1061,8 @@ let rec simple_constraint_check cs = ^ string_of_int i1 ^ " to be less than or equal to " ^ string_of_int i2) | _,_ -> LtEq(co,n1',n2')::(simple_constraint_check cs)) | x::cs -> x::(simple_constraint_check cs) + +let rec resolve_in_constraints cs = cs let do_resolve_constraints = ref true |