diff options
| author | Brian Campbell | 2017-10-24 11:10:23 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-10-24 11:10:23 +0100 |
| commit | 50dfbeaf7a8b388eb9fa5d36521dc14a5d118d41 (patch) | |
| tree | 953ccc82f5c73a5a18bb67fb8aec3a1e5de82e37 | |
| parent | 8247d49d993777d0721c1aebeec0909dacd1a2cb (diff) | |
Produce debug message when an expression can't be converted to a constraint
| -rw-r--r-- | src/type_check.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/type_check.ml b/src/type_check.ml index d90e8d35..270b2cf4 100644 --- a/src/type_check.ml +++ b/src/type_check.ml @@ -1695,7 +1695,11 @@ let rec assert_constraint env (E_aux (exp_aux, _) as exp) = nc_eq (assert_nexp env x) (assert_nexp env y) | E_app (op, [x; y]) when string_of_id op = "neq_atom" -> nc_neq (assert_nexp env x) (assert_nexp env y) - | _ -> nc_true + | _ -> + begin + typ_debug ("Unable to construct a constraint for expression " ^ string_of_exp exp); + nc_true + end type flow_constraint = | Flow_lteq of big_int * nexp |