diff options
Diffstat (limited to 'source/mod_student/lexer.mll')
| -rw-r--r-- | source/mod_student/lexer.mll | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/source/mod_student/lexer.mll b/source/mod_student/lexer.mll index 4cd656c..f785e52 100644 --- a/source/mod_student/lexer.mll +++ b/source/mod_student/lexer.mll @@ -54,9 +54,12 @@ (* vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv * Miejsce na twoje reguĊy *) - + | "(" + { LPAREN } + | ")" + { RPAREN } | identifier as id - { failwith id } + { IDENTIFIER id } (* ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ----------------------------------------------------------------------------- *) |