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/Lexer.mll | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Lexer.mll')

diff --git a/lib/Lexer.mll b/lib/Lexer.mll
index 55a22c2..a8410d0 100644
--- a/lib/Lexer.mll
+++ b/lib/Lexer.mll
@@ -27,5 +27,6 @@ rule lex =
   | "at" { AT }
   | "fst" { FST }
   | "snd" { SND }
+  | "type" { TYPE }
   | ident { IDENT (Lexing.lexeme lexbuf) }
   | eof { EOF }
-- 
cgit 1.4.1