Enable typestate_check
This was supposed to be in a previous commit. I don't know what happened.
This commit is contained in:
parent
26e177a97a
commit
2c3808b511
1 changed files with 1 additions and 2 deletions
|
@ -84,8 +84,7 @@ fn compile_input(session.session sess,
|
||||||
auto typeck_result = typeck.check_crate(ty_cx, crate);
|
auto typeck_result = typeck.check_crate(ty_cx, crate);
|
||||||
crate = typeck_result._0;
|
crate = typeck_result._0;
|
||||||
auto type_cache = typeck_result._1;
|
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,
|
trans.trans_crate(sess, crate, ty_cx, type_cache, output, shared,
|
||||||
optimize, verify, save_temps, ot);
|
optimize, verify, save_temps, ot);
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue