From 99c421f01d85f3acf1047ae5bf6afa6f0d1253b4 Mon Sep 17 00:00:00 2001
From: Stefan Plantikow <stefan.plantikow@googlemail.com>
Date: Sun, 13 Nov 2011 22:47:11 +0100
Subject: Removed --no-typestate flag from rutsc

Fixes issue #1139
---
 src/comp/driver/rustc.rs   | 11 +++--------
 src/comp/driver/session.rs |  1 -
 2 files changed, 3 insertions(+), 9 deletions(-)

(limited to 'src')

diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs
index 2c287c15b4e..1937311a42a 100644
--- a/src/comp/driver/rustc.rs
+++ b/src/comp/driver/rustc.rs
@@ -142,10 +142,8 @@ fn compile_input(sess: session::session, cfg: ast::crate_cfg, input: str,
          bind fn_usage::check_crate_fn_usage(ty_cx, crate));
     time(time_passes, "alt checking",
          bind middle::check_alt::check_crate(ty_cx, crate));
-    if sess.get_opts().run_typestate {
-        time(time_passes, "typestate checking",
-             bind middle::tstate::ck::check_crate(ty_cx, crate));
-    }
+    time(time_passes, "typestate checking",
+         bind middle::tstate::ck::check_crate(ty_cx, crate));
     let mut_map =
         time(time_passes, "mutability checking",
              bind middle::mut::check_crate(ty_cx, crate));
@@ -273,7 +271,6 @@ options:
     --time-llvm-passes time the individual phases of the LLVM backend
     --sysroot <path>   override the system root
     --target <triple>  target to compile for (default: host triple)
-    --no-typestate     don't run the typestate pass (unsafe!)
     --test             build test harness
     --gc               garbage collect shared data (experimental/temporary)
     --stack-growth     perform stack checks (experimental)
@@ -363,7 +360,6 @@ fn build_session_options(match: getopts::match)
     let stats = opt_present(match, "stats");
     let time_passes = opt_present(match, "time-passes");
     let time_llvm_passes = opt_present(match, "time-llvm-passes");
-    let run_typestate = !opt_present(match, "no-typestate");
     let sysroot_opt = getopts::opt_maybe_str(match, "sysroot");
     let target_opt = getopts::opt_maybe_str(match, "target");
     let no_asm_comments = getopts::opt_present(match, "no-asm-comments");
@@ -407,7 +403,6 @@ fn build_session_options(match: getopts::match)
           optimize: opt_level,
           debuginfo: debuginfo,
           verify: verify,
-          run_typestate: run_typestate,
           save_temps: save_temps,
           stats: stats,
           time_passes: time_passes,
@@ -458,7 +453,7 @@ fn opts() -> [getopts::opt] {
          optflag("c"), optopt("o"), optflag("g"), optflag("save-temps"),
          optopt("sysroot"), optopt("target"), optflag("stats"),
          optflag("time-passes"), optflag("time-llvm-passes"),
-         optflag("no-typestate"), optflag("noverify"),
+         optflag("noverify"),
          optmulti("cfg"), optflag("test"),
          optflag("lib"), optflag("static"), optflag("gc"),
          optflag("stack-growth"), optflag("check-unsafe"),
diff --git a/src/comp/driver/session.rs b/src/comp/driver/session.rs
index 9793dae65d7..c5708551ad9 100644
--- a/src/comp/driver/session.rs
+++ b/src/comp/driver/session.rs
@@ -29,7 +29,6 @@ type options =
      optimize: uint,
      debuginfo: bool,
      verify: bool,
-     run_typestate: bool,
      save_temps: bool,
      stats: bool,
      time_passes: bool,
-- 
cgit 1.4.1-3-g733a5