Re-enable typestate_check in build, was lost during merge. Sorry.

This commit is contained in:
Graydon Hoare 2011-04-01 17:23:56 -07:00
parent 0397c05f42
commit 23f18a096f
3 changed files with 3 additions and 2 deletions

View File

@ -8,7 +8,7 @@ import middle.trans;
import middle.resolve;
import middle.ty;
import middle.typeck;
// import middle.typestate_check;
import middle.typestate_check;
import util.common;
import std.map.mk_hashmap;

View File

@ -341,7 +341,7 @@ impure fn find_pre_post_item(fn_info enclosing, &item i) -> item {
case (ast.item_ty(_,_,_,_,_)) {
ret i;
}
case (ast.item_tag(_,_,_,_)) {
case (ast.item_tag(_,_,_,_,_)) {
ret i;
}
case (ast.item_obj(?id, ?o, ?ps, ?di, ?a)) {

View File

@ -20,6 +20,7 @@ mod middle {
mod trans;
mod ty;
mod typeck;
mod typestate_check;
}
mod back {