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/Lexer.mll | |
parent | 06d52c8ba30b1bd6e1174ebffbd6cc5ba668ecc2 (diff) | |
download | toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.tar.gz toytt-169ff6c0d196246e28c4413b43895ad5a377a2e5.zip |
add type universe to grammar
Diffstat (limited to 'lib/Lexer.mll')
-rw-r--r-- | lib/Lexer.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Lexer.mll b/lib/Lexer.mll index 55a22c2..a8410d0 100644 --- a/lib/Lexer.mll +++ b/lib/Lexer.mll @@ -27,5 +27,6 @@ rule lex = | "at" { AT } | "fst" { FST } | "snd" { SND } + | "type" { TYPE } | ident { IDENT (Lexing.lexeme lexbuf) } | eof { EOF } |