From 8d40541003736d5319ec981278338e8c8c66daf6 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Sun, 23 Jun 2024 01:36:48 +0200
Subject: keep track of bound names everywhere to be able to output names
 instead of de bruijn indices

---
 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 c33acae..98d1d6b 100644
--- a/lib/Lexer.mll
+++ b/lib/Lexer.mll
@@ -21,6 +21,7 @@ rule lex =
   | "," { COMMA }
   | "." { DOT }
   | "=>" { FATARROW }
+  | "_" { UNDERSCORE }
   | "at" { AT }
   | "fst" { FST }
   | "snd" { SND }
-- 
cgit 1.4.1