From 540959cc117c795d73f6a84673276316f82e92b0 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Fri, 24 Aug 2018 13:36:35 +0100
Subject: parser: emit actual unit for an ident() pattern, not wildcard which
 causes unnecessary problems with mappings/pat_to_exp

---
 src/parser.mly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser.mly')

diff --git a/src/parser.mly b/src/parser.mly
index 4d2b6230..4ebfe16e 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -713,7 +713,7 @@ atomic_pat:
     { mk_pat (P_var (mk_pat (P_id (id_of_kid $1)) $startpos $endpos,
 		     mk_typ (ATyp_var $1) $startpos $endpos)) $startpos $endpos }
   | id Unit
-    { mk_pat (P_app ($1, [mk_pat P_wild $startpos $endpos])) $startpos $endpos }
+    { mk_pat (P_app ($1, [mk_pat (P_lit (mk_lit L_unit $startpos $endpos)) $startpos $endpos])) $startpos $endpos }
   | id Lparen pat_list Rparen
     { mk_pat (P_app ($1, $3)) $startpos $endpos }
   | atomic_pat Colon typ
-- 
cgit v1.2.3