diff options
| author | Tim Chevalier <[email protected]> | 2011-05-04 11:28:13 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:26:07 -0700 |
| commit | e3a68e235cd077c35654f79013ad54da46d72fee (patch) | |
| tree | 7838fc4a8937e2637cf7e3531d9c8e17feaff34b /src/comp/front/lexer.rs | |
| parent | Update docs to reflect assert vs. check (diff) | |
| download | rust-e3a68e235cd077c35654f79013ad54da46d72fee.tar.xz rust-e3a68e235cd077c35654f79013ad54da46d72fee.zip | |
Bring back "pred" syntax for writing predicates for check
This commit reinstates the requirement that the predicate in a
"check" must be a manifest call to a special kind of function
declared with the new "pred" keyword instead of "fn". Preds must
have a boolean return type and can only call other preds; they
can't have any effects (as enforced by the typechecker).
The arguments to a predicate in a check expression must be
slot variables or literals.
Diffstat (limited to 'src/comp/front/lexer.rs')
| -rw-r--r-- | src/comp/front/lexer.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/comp/front/lexer.rs b/src/comp/front/lexer.rs index 9ef6ea27..4153533a 100644 --- a/src/comp/front/lexer.rs +++ b/src/comp/front/lexer.rs @@ -141,6 +141,7 @@ fn keyword_table() -> std.map.hashmap[str, token.token] { keywords.insert("auto", token.AUTO); keywords.insert("fn", token.FN); + keywords.insert("pred", token.PRED); keywords.insert("iter", token.ITER); keywords.insert("import", token.IMPORT); |