user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add pass to check that unsafe fns cannot be used as values

Browse source
This commit is contained in:
Niko Matsakis 2011-10-11 17:31:23 -07:00 • committed by Brian Anderson
parent e39db5a100
commit 81533ff737
4 changed files with 85 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/comp/driver/rustc.rs
View file

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