diff options
| author | Graydon Hoare <[email protected]> | 2010-11-02 11:11:58 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-11-02 11:11:58 -0700 |
| commit | da13c508d83032ca13679e1e122e96d25ac23283 (patch) | |
| tree | 51c3d466dfedf3ad8e21b56c4769325561b3d650 /src/boot/fe/token.ml | |
| parent | Un-XFAIL self tests on Darwin (diff) | |
| download | rust-da13c508d83032ca13679e1e122e96d25ac23283.tar.xz rust-da13c508d83032ca13679e1e122e96d25ac23283.zip | |
First pass on splitting stratum and opacity off of effects. WIP.
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 *) |