aboutsummaryrefslogtreecommitdiff
path: root/src/comp/driver
diff options
context:
space:
mode:
Diffstat (limited to 'src/comp/driver')
-rw-r--r--src/comp/driver/rustc.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/comp/driver/rustc.rs b/src/comp/driver/rustc.rs
index 9ab21622..a1fdb387 100644
--- a/src/comp/driver/rustc.rs
+++ b/src/comp/driver/rustc.rs
@@ -8,6 +8,7 @@ import middle.trans;
import middle.resolve;
import middle.ty;
import middle.typeck;
+import middle.typestate_check;
import util.common;
import std.map.mk_hashmap;
@@ -63,11 +64,11 @@ impure fn compile_input(session.session sess,
auto crate = parse_input(sess, p, input);
crate = creader.read_crates(sess, crate, library_search_paths);
crate = resolve.resolve_crate(sess, crate);
-
auto typeck_result = typeck.check_crate(sess, crate);
crate = typeck_result._0;
auto type_cache = typeck_result._1;
-
+ // FIXME: uncomment once typestate_check works
+ // crate = typestate_check.check_crate(crate);
trans.trans_crate(sess, crate, type_cache, output, shared);
}