aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBrian Anderson <[email protected]>2011-03-15 18:45:56 -0400
committerGraydon Hoare <[email protected]>2011-03-22 08:11:34 -0700
commit92a716d862d92d3cc52a400457d2c3900d0c57a2 (patch)
tree4d861a4ee4790723593e3be26d73902aa1f35d02
parentAdd a cleanup to trans_send. Express further confusion about cleanups in tran... (diff)
downloadrust-92a716d862d92d3cc52a400457d2c3900d0c57a2.tar.xz
rust-92a716d862d92d3cc52a400457d2c3900d0c57a2.zip
Remove usages of case(_) { fail; } since the compiler does this automatically
-rw-r--r--src/comp/middle/trans.rs3
-rw-r--r--src/comp/middle/typeck.rs6
-rw-r--r--src/lib/deque.rs1
-rw-r--r--src/lib/map.rs1
4 files changed, 0 insertions, 11 deletions
diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs
index bc43185a..aede3110 100644
--- a/src/comp/middle/trans.rs
+++ b/src/comp/middle/trans.rs
@@ -1789,7 +1789,6 @@ fn variant_types(@crate_ctxt cx, &ast.variant v) -> vec[@ty.t] {
}
}
case (ty.ty_tag(_, _)) { /* nothing */ }
- case (_) { fail; }
}
ret tys;
}
@@ -2002,7 +2001,6 @@ fn iter_structural_ty_full(@block_ctxt cx,
j += 1;
}
}
- case (_) { fail; }
}
variant_cx.build.Br(next_cx.llbb);
@@ -2169,7 +2167,6 @@ fn iter_sequence(@block_ctxt cx,
auto et = plain_ty(ty.ty_machine(common.ty_u8));
ret iter_sequence_body(cx, v, et, f, true);
}
- case (_) { fail; }
}
cx.fcx.ccx.sess.bug("bad type in trans.iter_sequence");
fail;
diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index c849483e..75d6a8ff 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -1861,9 +1861,6 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
case (ty.ty_chan(?it)) {
item_t = it;
}
- case (_) {
- fail;
- }
}
auto rhs_1 = demand_expr(fcx, item_t, rhs_0);
@@ -1884,9 +1881,6 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
case (ty.ty_port(?it)) {
item_t = it;
}
- case (_) {
- fail;
- }
}
auto lhs_1 = demand_expr(fcx, item_t, lhs_0);
diff --git a/src/lib/deque.rs b/src/lib/deque.rs
index 776f82e9..704e6749 100644
--- a/src/lib/deque.rs
+++ b/src/lib/deque.rs
@@ -47,7 +47,6 @@ fn create[T]() -> t[T] {
fn get[T](vec[cell[T]] elts, uint i) -> T {
alt (elts.(i)) {
case (option.some[T](?t)) { ret t; }
- case (_) { fail; }
}
fail; // FIXME: remove me when exhaustiveness checking works
}
diff --git a/src/lib/map.rs b/src/lib/map.rs
index f22faaca..d8e24314 100644
--- a/src/lib/map.rs
+++ b/src/lib/map.rs
@@ -176,7 +176,6 @@ fn mk_hashmap[K, V](&hashfn[K] hasher, &eqfn[K] eqer) -> hashmap[K, V] {
fn get(&K key) -> V {
alt (find_common[K, V](hasher, eqer, bkts, nbkts, key)) {
case (option.some[V](?val)) { ret val; }
- case (_) { fail; }
}
fail; // FIXME: remove me when exhaustiveness checking works
}