mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Teach rustc lexer about changes to stratum, opacity and effect keywords.

Browse Source
This commit is contained in:
Graydon Hoare 2010-11-03 10:29:48 -07:00
parent 1e22a55ff2
commit dc299c9a19
2 changed files with 21 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/comp/front/lexer.rs
View File

@ -117,8 +117,12 @@ fn new_reader(stdio_reader rdr, str filename) -> reader
keywords.insert("claim", token.CLAIM);
keywords.insert("prove", token.PROVE);
keywords.insert("io", token.IO);
keywords.insert("abs", token.ABS);
keywords.insert("state", token.STATE);
keywords.insert("gc", token.GC);
keywords.insert("impure", token.IMPURE);
keywords.insert("unsafe", token.UNSAFE);
keywords.insert("native", token.NATIVE);

20
src/comp/front/token.rs
View File

@ -89,9 +89,15 @@ tag token {
CLAIM;
PROVE;
/* Effect keywords */
IO;
/* Opacity keywords */
ABS;
/* Stratum keywords */
STATE;
GC;
/* Effect keywords */
IMPURE;
UNSAFE;
/* Type qualifiers */
@ -249,9 +255,15 @@ fn to_str(token t) -> str {
case (CLAIM) { ret "claim"; }
case (PROVE) { ret "prove"; }
/* Effect keywords */
case (IO) { ret "io"; }
/* Opacity keywords */
case (ABS) { ret "abs"; }
/* Stratum keywords */
case (STATE) { ret "state"; }
case (GC) { ret "gc"; }
/* Effect keywords */
case (IMPURE) { ret "impure"; }
case (UNSAFE) { ret "unsafe"; }
/* Type qualifiers */