From 4e4420f00984c11782445210709e665370e99358 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Mon, 29 Jan 2018 09:00:26 +0000
Subject: Avoid generating (_ as n) in mono, broke atom type rewriting

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

(limited to 'src')

diff --git a/src/monomorphise.ml b/src/monomorphise.ml
index 745b40e4..d911e537 100644
--- a/src/monomorphise.ml
+++ b/src/monomorphise.ml
@@ -1509,7 +1509,11 @@ let split_defs continue_anyway splits defs =
                    p,[id,E_aux (E_lit lit,(Generated pl,pannot))],[l,(i,[])]
                 | _ ->
                    let p',subst = freshen_pat_bindings p in
-                   P_aux (P_as (p',id),(l,annot)),[],[l,(i,subst)])
+                   match p' with
+                   | P_aux (P_wild,_) ->
+                      P_aux (P_id id,(l,annot)),[],[l,(i,subst)]
+                   | _ ->
+                      P_aux (P_as (p',id),(l,annot)),[],[l,(i,subst)])
                       pats)
            )
         | P_app (id,ps) ->
-- 
cgit v1.2.3