diff options
Diffstat (limited to 'src/lexer.l')
| -rw-r--r-- | src/lexer.l | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/src/lexer.l b/src/lexer.l index ed8d599..832db79 100644 --- a/src/lexer.l +++ b/src/lexer.l @@ -17,15 +17,16 @@ extern const char *current_file; %% -¬|! { return NOT; } -∧|&& { return AND; } -∨|\|\| { return OR; } -⊻|⊕|XOR { return XOR; } -⇒|=> { return IMPL; } -\<=>|⇔ { return EQUIV; } -\( { return OPAR; } -\) { return CPAR; } -\n { return EOL; } +¬|! { return NOT; } +∧|&& { return AND; } +∨|\|\| { return OR; } +⊻|⊕|~ { return XOR; } +⇒|=> { return IMPL; } +\<=>|⇔ { return EQUIV; } +\( { return OPAR; } +\) { return CPAR; } +\n { return EOL; } + [a-zA-Z] { yylval.ch = *yytext; return IDENT; |