diff options
| author | Tim Chevalier <[email protected]> | 2011-04-27 19:04:46 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-04-28 13:26:19 -0700 |
| commit | 2c3808b5111edfd73fddc2b55bf1dbc55a58ee7d (patch) | |
| tree | 8e5f7a7478ac3402798d4f6158458aea37ca8777 | |
| parent | Enable typestate_check (diff) | |
| download | rust-2c3808b5111edfd73fddc2b55bf1dbc55a58ee7d.tar.xz rust-2c3808b5111edfd73fddc2b55bf1dbc55a58ee7d.zip | |
Enable typestate_check
This was supposed to be in a previous commit. I don't know what happened.
| -rw-r--r-- | src/comp/driver/rustc.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs index 584d81ad..99c73602 100644 --- a/src/comp/driver/rustc.rs +++ b/src/comp/driver/rustc.rs @@ -84,8 +84,7 @@ fn compile_input(session.session sess, auto typeck_result = typeck.check_crate(ty_cx, crate); crate = typeck_result._0; auto type_cache = typeck_result._1; - // FIXME: uncomment once typestate_check works - // crate = typestate_check.check_crate(crate); + crate = typestate_check.check_crate(crate); trans.trans_crate(sess, crate, ty_cx, type_cache, output, shared, optimize, verify, save_temps, ot); } |