diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-05-04 11:28:13 -0700 |
|---|---|---|
| committer | Graydon Hoare <graydon@mozilla.com> | 2011-05-05 11:26:07 -0700 |
| commit | e3a68e235cd077c35654f79013ad54da46d72fee (patch) | |
| tree | 7838fc4a8937e2637cf7e3531d9c8e17feaff34b /src/rustllvm/RustWrapper.cpp | |
| parent | d9c9982f0aeb9e6e176007ef5c0490dd18834814 (diff) | |
| download | rust-e3a68e235cd077c35654f79013ad54da46d72fee.tar.gz 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/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions