From 34455d887d773cbc551f40e0953337cda3179c9d Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Sun, 8 May 2022 18:29:54 +0200
Subject: [PATCH] False

---
 lexer.mll  | 1 +
 parser.mly | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/lexer.mll b/lexer.mll
index 82e5051..75dc89a 100644
--- a/lexer.mll
+++ b/lexer.mll
@@ -9,6 +9,7 @@ rule token = parse
   | ')'                         { RPAREN }
   | "->"                        { RARROW }
   | '~'                         { TILDE }
+  | "False"                     { FALSE }
   | ['a'-'z']+['0'-'9']* as s   { VAR_NAME s }
   | ['A'-'Z']+['0'-'9']* as s   { TYPE_NAME s }
   | eof                         { EOF }
diff --git a/parser.mly b/parser.mly
index 0c3eced..c4a1129 100644
--- a/parser.mly
+++ b/parser.mly
@@ -3,7 +3,7 @@
 %}
 
 /* Description des lexèmes définis dans lexer.mll */
-%token LPAREN RPAREN RARROW TILDE
+%token LPAREN RPAREN RARROW TILDE FALSE
 %token <string> VAR_NAME
 %token <string> TYPE_NAME
 %token ENDL EOF
@@ -26,3 +26,4 @@ ty:
   | ty RARROW ty                          { TImpl ($1, $3) }
   | TYPE_NAME                             { TSimple $1 }
   | TILDE ty                              { TImpl ($2, TFalse) }
+  | FALSE                                 { TFalse }