From b6b21038c2f287a54a8bb29ec555cc42bb809100 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 9 May 2018 14:07:36 +0100
Subject: allow empty brackets to pass unit to sub-mpats

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

(limited to 'src')

diff --git a/src/parser.mly b/src/parser.mly
index 23516068..cccd4a4a 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -1241,6 +1241,8 @@ atomic_mpat:
     { mk_mpat (MP_lit $1) $startpos $endpos }
   | id
     { mk_mpat (MP_id $1) $startpos $endpos }
+  | id Unit
+    { mk_mpat (MP_app ($1, [mk_mpat (MP_lit (mk_lit L_unit $startpos($2) $endpos($2))) $startpos($2) $endpos($2)])) $startpos $endpos }
   | id Lparen mpat_list Rparen
     { mk_mpat (MP_app ($1, $3)) $startpos $endpos }
   | Lparen mpat Rparen
-- 
cgit v1.2.3