From c65aecd008d34102f4c95649113ed7f9afcc903b Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Wed, 12 Dec 2018 00:49:32 +0000
Subject: Fix various boolean type-variable related issues

Remove some dead code in Pretty_print_common

Start thinking a bit about Minisail-esque syntactic sugar in initial_check
---
 src/parser.mly | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/parser.mly')

diff --git a/src/parser.mly b/src/parser.mly
index 83e6936d..544438c0 100644
--- a/src/parser.mly
+++ b/src/parser.mly
@@ -555,6 +555,8 @@ atomic_typ:
     { mk_typ (ATyp_exist ($2, ATyp_aux (ATyp_lit (L_aux (L_true, loc $startpos $endpos)), loc $startpos $endpos), $4)) $startpos $endpos }
   | Lcurly kid_list Comma typ Dot typ Rcurly
     { mk_typ (ATyp_exist ($2, $4, $6)) $startpos $endpos }
+  | Lcurly id Colon typ Dot typ Rcurly
+    { mk_typ (ATyp_base ($2, $4, $6)) $startpos $endpos }
 
 typ_list:
   | typ
-- 
cgit v1.2.3