---

yaml
---
r: 13466
b: refs/heads/master
c: fcab11d
h: refs/heads/master
v: v3

Author: catamorphism

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 24f9f45ac68f4b29997a20b63de7997536f89dd1
+refs/heads/master: fcab11da47daa6461a3b5895a1dc16e582f7cae3
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/util/common.rs

@@ -33,36 +33,28 @@ fn field_exprs(fields: [ast::field]) -> [@ast::expr] {
     ret es;
 }
 
-fn has_nonlocal_exits(b: ast::blk) -> bool {
-    let has_exits = @mut false;
-    fn visit_expr(flag: @mut bool, e: @ast::expr) {
-        alt e.node {
-          ast::expr_break { *flag = true; }
-          ast::expr_cont { *flag = true; }
-          _ { }
-        }
-    }
+// Takes a predicate p, returns true iff p is true for any subexpressions
+// of b
+fn block_expr_query(b: ast::blk, p: fn@(ast::expr_) -> bool) -> bool {
+    let rs = @mut false;
+    let visit_expr = {|flag: @mut bool, e: @ast::expr| *flag |= p(e.node)};
     let v =
-        visit::mk_simple_visitor(@{visit_expr: bind visit_expr(has_exits, _)
+        visit::mk_simple_visitor(@{visit_expr: bind visit_expr(rs, _)
                                       with *visit::default_simple_visitor()});
     visit::visit_block(b, (), v);
-    ret *has_exits;
+    ret *rs;
+}
+
+fn has_nonlocal_exits(b: ast::blk) -> bool {
+    block_expr_query(b) {|e| alt e {
+      ast::expr_break | ast::expr_cont { true }
+      _ { false }}}
 }
 
-/* FIXME: copy/paste, yuck */
 fn may_break(b: ast::blk) -> bool {
-    let has_exits = @mut false;
-    fn visit_expr(flag: @mut bool, e: @ast::expr) {
-        alt e.node {
-          ast::expr_break { *flag = true; }
-          _ { }
-        }
-    }
-    let v =
-        visit::mk_simple_visitor(@{visit_expr: bind visit_expr(has_exits, _)
-                                      with *visit::default_simple_visitor()});
-    visit::visit_block(b, (), v);
-    ret *has_exits;
+    block_expr_query(b) {|e| alt e {
+      ast::expr_break { true }
+      _ { false }}}
 }
 
 fn local_rhs_span(l: @ast::local, def: span) -> span {
@@ -71,7 +63,7 @@ fn local_rhs_span(l: @ast::local, def: span) -> span {
 
 fn is_main_name(path: syntax::ast_map::path) -> bool {
     // FIXME: path should be a constrained type, so we know
-    // the call to last doesn't fail
+    // the call to last doesn't fail (#34)
     vec::last(path) == syntax::ast_map::path_name(@"main")
 }