From bb6677f615b370815e9b0b758f953bd4e1bd45d4 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 7 May 2019 11:03:09 +0100
Subject: Preserve more pattern locations during type checking
 (monomorphisation uses them to decide where to case split)

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

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index ec5258d6..d44fd493 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -3163,7 +3163,7 @@ and bind_pat env (P_aux (pat_aux, (l, ())) as pat) (Typ_aux (typ_aux, _) as typ)
      
   | P_app (f, pats) when Env.is_union_constructor f env ->
      (* Treat Ctor(x, y) as Ctor((x, y)) *)
-     bind_pat env (mk_pat (P_app (f, [mk_pat (P_tup pats)]))) typ
+     bind_pat env (P_aux (P_app (f, [mk_pat (P_tup pats)]),(l,()))) typ
 
   | P_app (f, pats) when Env.is_mapping f env ->
      begin
-- 
cgit v1.2.3