diff options
| author | Graydon Hoare <[email protected]> | 2011-04-19 13:35:49 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-04-19 13:35:49 -0700 |
| commit | d2bd07dcb02783063375b6c8532fceaf9fa9d50f (patch) | |
| tree | a253b5eadb140d14bc99d1456e316ce1e210a6be /src/boot/fe/token.ml | |
| parent | rustc: Allow glue to be emitted even for scalar types; this is necessary to s... (diff) | |
| download | rust-d2bd07dcb02783063375b6c8532fceaf9fa9d50f.tar.xz rust-d2bd07dcb02783063375b6c8532fceaf9fa9d50f.zip | |
Remove effect system from src.
Diffstat (limited to 'src/boot/fe/token.ml')
| -rw-r--r-- | src/boot/fe/token.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index 7b4f04b2..7f4665c2 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -87,8 +87,7 @@ type token = | STATE | GC - (* Effect keywords *) - | IMPURE + (* Unsafe-block keyword *) | UNSAFE (* Type qualifiers *) @@ -251,8 +250,7 @@ let rec string_of_tok t = | STATE -> "state" | GC -> "gc" - (* Effect keywords *) - | IMPURE -> "impure" + (* Unsafe-block keyword *) | UNSAFE -> "unsafe" (* Type qualifiers *) |