diff options
| author | Tim Chevalier <[email protected]> | 2011-05-02 13:47:41 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-05-05 11:26:07 -0700 |
| commit | 4f892dd9d732f215192f94b28392f26e88f0861e (patch) | |
| tree | 080318c19494144be62617146984d7bb14478432 /src/comp/middle/fold.rs | |
| parent | Un-XFAILed not-a-pred in stage0 (it fails correctly) (diff) | |
| download | rust-4f892dd9d732f215192f94b28392f26e88f0861e.tar.xz rust-4f892dd9d732f215192f94b28392f26e88f0861e.zip | |
Check that the operand in a check is a call
In addition, fix bug in fold that was turning asserts into checks.
More typechecking still needs to be done.
Diffstat (limited to 'src/comp/middle/fold.rs')
| -rw-r--r-- | src/comp/middle/fold.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/comp/middle/fold.rs b/src/comp/middle/fold.rs index e932fd9a..49b6290c 100644 --- a/src/comp/middle/fold.rs +++ b/src/comp/middle/fold.rs @@ -1396,7 +1396,7 @@ fn identity_fold_expr_check[ENV](&ENV e, &span sp, @expr x, ann a) fn identity_fold_expr_assert[ENV](&ENV e, &span sp, @expr x, ann a) -> @expr { - ret @respan(sp, ast.expr_check(x, a)); + ret @respan(sp, ast.expr_assert(x, a)); } fn identity_fold_expr_port[ENV](&ENV e, &span sp, ann a) -> @expr { |