Revert "Revert "Use typestate constraints for trans_be""

This reverts commit b0db13956f.

(Should work now that we have a new snapshot)
This commit is contained in:
Tim Chevalier 2011-08-26 10:14:58 -07:00
parent 5472d2238a
commit c02f346e2c
2 changed files with 13 additions and 6 deletions

View file

@ -167,8 +167,8 @@ fn is_exported(i: ident, m: _mod) -> bool {
ret count == 0u && !nonlocal;
}
fn is_call_expr(e: @expr) -> bool {
alt e.node { expr_call(_, _) { ret true; } _ { ret false; } }
pure fn is_call_expr(e: @expr) -> bool {
alt e.node { expr_call(_, _) { true } _ { false } }
}
fn is_constraint_arg(e: @expr) -> bool {