From 2479401c4c40eefb58e5c49c716bb4f391736b3b Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 14 Nov 2017 15:07:20 +0000
Subject: Fix existential union typing problem in monomorphisation

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

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index bc3624a7..ab6e10d5 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -392,6 +392,9 @@ let reduce_nexp subst ne =
 
 let typ_of_args args =
   match args with
+  | [E_aux (E_tuple args,(_,Some (_,Typ_aux (Typ_exist _,_),_)))] ->
+     let tys = List.map (fun (E_aux (_,(l,annot))) -> snd (env_typ_expected l annot)) args in
+     Typ_aux (Typ_tup tys,Unknown)
   | [E_aux (_,(l,annot))] ->
      snd (env_typ_expected l annot)
   | _ ->
-- 
cgit v1.2.3