@@ -5,7 +5,7 @@ import metadata::{creader, cstore};
5
5
import syntax:: parse:: { parser, token} ;
6
6
import syntax :: { ast, codemap} ;
7
7
import front:: attr;
8
- import middle :: { trans, resolve, freevars, kind, ty, typeck, unsafeck } ;
8
+ import middle :: { trans, resolve, freevars, kind, ty, typeck, fn_usage } ;
9
9
import middle:: tstate:: ck;
10
10
import syntax:: print:: { pp, pprust} ;
11
11
import util :: { ppaux, common, filesearch} ;
@@ -129,8 +129,8 @@ fn compile_input(sess: session::session, cfg: ast::crate_cfg, input: str,
129
129
bind freevars:: annotate_freevars ( def_map, crate ) ) ;
130
130
let ty_cx = ty:: mk_ctxt ( sess, def_map, ext_map, ast_map, freevars) ;
131
131
time ( time_passes, "typechecking" , bind typeck:: check_crate ( ty_cx, crate ) ) ;
132
- time ( time_passes, "unsafechecking " ,
133
- bind unsafeck :: unsafeck_crate ( ty_cx, crate ) ) ;
132
+ time ( time_passes, "function usage " ,
133
+ bind fn_usage :: check_crate_fn_usage ( ty_cx, crate ) ) ;
134
134
time ( time_passes, "alt checking" ,
135
135
bind middle:: check_alt:: check_crate ( ty_cx, crate ) ) ;
136
136
if sess. get_opts ( ) . run_typestate {
0 commit comments