From e706c4bb9d2369d16d01d87a26acce6f5ab3ae39 Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Mon, 16 May 2022 23:25:49 +0200 Subject: [PATCH] Add comment --- lexer.mll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lexer.mll b/lexer.mll index 9d9cc64..d4bb46b 100644 --- a/lexer.mll +++ b/lexer.mll @@ -10,8 +10,8 @@ rule token = parse | ')' { RPAREN } | "->" { RARROW } | '~' { TILDE } - | "/\\" { LAND } - | "\\/" { LOR } + | "/\\" { LAND } (* logical and *) + | "\\/" { LOR } (* logical or *) | ',' { COMMA } | "intro" { INTRO } @@ -22,7 +22,7 @@ rule token = parse | "split" { SPLIT } | "left" { LEFT } | "right" { RIGHT } - + | "False" { FALSE } | "fun" { FUN }