squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

do not run regionck if there have been type errors

Browse source
This commit is contained in:
Niko Matsakis 2013-05-06 05:17:36 -04:00
parent 7b36e34c89
commit 4dc62dfcf3
1 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/librustc/middle/typeck/check/regionck.rs
View file

@ -138,15 +138,19 @@ pub impl Rcx {
pub fn regionck_expr(fcx: @mut FnCtxt, e: @ast::expr) {
let rcx = @mut Rcx { fcx: fcx, errors_reported: 0 };
let v = regionck_visitor();
(v.visit_expr)(e, rcx, v);
if !fcx.tcx().sess.has_errors() { // regionck assumes typeck succeeded
let v = regionck_visitor();
(v.visit_expr)(e, rcx, v);
}
fcx.infcx().resolve_regions();
}
pub fn regionck_fn(fcx: @mut FnCtxt, blk: &ast::blk) {
let rcx = @mut Rcx { fcx: fcx, errors_reported: 0 };
let v = regionck_visitor();
(v.visit_block)(blk, rcx, v);
if !fcx.tcx().sess.has_errors() { // regionck assumes typeck succeeded
let v = regionck_visitor();
(v.visit_block)(blk, rcx, v);
}
fcx.infcx().resolve_regions();
}