From 9cfd930ed3069ab78a3e447eb31d13273eee36dc Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 21 Sep 2017 11:10:19 +0100
Subject: Disable existential removal for now

---
 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 76c6a0bd..b4224f53 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -1298,5 +1298,5 @@ let split_defs splits defs =
     in
     Defs (List.concat (List.map map_def defs))
   in
-  deexist (map_locs splits defs')
+  (*deexist*) (map_locs splits defs')
 
-- 
cgit v1.2.3