diff options
Diffstat (limited to 'src/boot/fe/token.ml')
| -rw-r--r-- | src/boot/fe/token.ml | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index cd41ec2f..6c2282de 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -80,9 +80,15 @@ type token = | CLAIM | PROVE - (* Effect keywords *) - | IO + (* Opacity keywords *) + | ABS + + (* Stratum keywords *) | STATE + | GC + + (* Effect keywords *) + | IMPURE | UNSAFE (* Type qualifiers *) @@ -237,9 +243,15 @@ let rec string_of_tok t = | CLAIM -> "claim" | PROVE -> "prove" - (* Effect keywords *) - | IO -> "io" + (* Opacity keywords *) + | ABS -> "abs" + + (* Stratum keywords *) | STATE -> "state" + | GC -> "gc" + + (* Effect keywords *) + | IMPURE -> "impure" | UNSAFE -> "unsafe" (* Type qualifiers *) |