diff options
Diffstat (limited to 'Jennisys/Lexer.fsl')
| -rw-r--r-- | Jennisys/Lexer.fsl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Jennisys/Lexer.fsl b/Jennisys/Lexer.fsl index 26195484..a0e62109 100644 --- a/Jennisys/Lexer.fsl +++ b/Jennisys/Lexer.fsl @@ -32,6 +32,11 @@ rule tokenize = parse | "requires" { REQUIRES }
| "ensures" { ENSURES }
| "forall" { FORALL }
+// Types
+| "int" { INTTYPE }
+| "bool" { BOOLTYPE }
+| "seq" { SEQTYPE }
+| "set" { SETTYPE }
// Operators
| "." { DOT }
| "+" { PLUS }
|