From bed9f2f05813afec446a26e441e1df3d08d9c251 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Fri, 8 May 2020 13:37:25 +0100
Subject: Only check int kids when simplifying nexps

---
 src/monomorphise.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index 0e946f96..f4d0aa56 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -2108,7 +2108,9 @@ let simplify_size_nexp env typ_env (Nexp_aux (ne,l) as nexp) =
   | None ->
      let is_equal kid =
        try
-         prove __POS__ typ_env (NC_aux (NC_equal (Nexp_aux (Nexp_var kid,Unknown), nexp),Unknown))
+         if Env.get_typ_var kid typ_env = K_int then
+           prove __POS__ typ_env (NC_aux (NC_equal (Nexp_aux (Nexp_var kid,Unknown), nexp),Unknown))
+         else false
        with _ -> false
      in
      match ne with
-- 
cgit v1.2.3