diff options
Diffstat (limited to 'lib/Parser.mly')
-rw-r--r-- | lib/Parser.mly | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Parser.mly b/lib/Parser.mly index db2a9e2..5c587b2 100644 --- a/lib/Parser.mly +++ b/lib/Parser.mly @@ -8,6 +8,7 @@ open Ast %token ARROW ASTERISK BACKSLASH COLON COMMA DOT FATARROW %token BOOL TRUE FALSE BOOL_ELIM AT %token FST SND +%token TYPE %token EOF %right ARROW ASTERISK @@ -60,6 +61,9 @@ raw_expr: | SND; p = expr { Snd p } + | TYPE + { Type } + %inline expr: e = locate(raw_expr) { e } |