diff options
author | Malte Voos <git@mal.tc> | 2024-02-16 16:18:32 +0100 |
---|---|---|
committer | Malte Voos <git@mal.tc> | 2024-02-16 16:18:32 +0100 |
commit | 169ff6c0d196246e28c4413b43895ad5a377a2e5 (patch) | |
tree | 0cce07444293e70377b5fcfa43c82195bc2fd032 /lib/Parser.mly | |
parent | 06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 (diff) | |
download | toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.tar.gz toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.zip |
add type universe to grammar
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 } |