From 169ff6c0d196246e28c4413b43895ad5a377a2e5 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Fri, 16 Feb 2024 16:18:32 +0100
Subject: add type universe to grammar

---
 lib/Parser.mly | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/Parser.mly')

diff --git a/lib/Parser.mly b/lib/Parser.mly
index db2a9e2..5c587b2 100644
--- a/lib/Parser.mly
+++ b/lib/Parser.mly
@@ -8,6 +8,7 @@ open Ast
 %token ARROW ASTERISK BACKSLASH COLON COMMA DOT FATARROW
 %token BOOL TRUE FALSE BOOL_ELIM AT
 %token FST SND
+%token TYPE
 %token EOF
 
 %right ARROW ASTERISK
@@ -60,6 +61,9 @@ raw_expr:
   | SND; p = expr
 	{ Snd p }
 
+  | TYPE
+	{ Type }
+
 %inline
 expr: e = locate(raw_expr) { e }
 
-- 
cgit 1.4.1