From 686b65f279db1c37ec4e72e4b76b3ce43d1138f5 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 2 Oct 2017 13:19:28 +0100
Subject: Make undefined constant propagation stop at ex_int

---
 src/monomorphise.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index 27abed6c..89648d1f 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -694,7 +694,7 @@ let try_app (l,ann) (Id_aux (id,_),args) =
     | _ -> None
   else if id = Id "ex_int" then
     match args with
-    | [E_aux (E_lit _,_) as exp] -> Some exp
+    | [E_aux (E_lit (L_aux (L_num _,_)),_) as exp] -> Some exp
     | _ -> None
   else if id = Id "vector_access" then
     match args with
-- 
cgit v1.2.3