From 50dfbeaf7a8b388eb9fa5d36521dc14a5d118d41 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 24 Oct 2017 11:10:23 +0100
Subject: Produce debug message when an expression can't be converted to a
 constraint

---
 src/type_check.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3