---

brson · brson · commit a097b4cef84d · 2011-04-02T20:35:50.000-04:00
yaml --- r: 1983 b: refs/heads/master c: 6e6acaa h: refs/heads/master i: 1981: 4f1a038 1979: f1dfddd 1975: 2aeeb93 1967: 0a27f31 1951: 4c138ff 1919: 9086a67 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 9d0a505d61e77d6186631552065438aa04944b12
+refs/heads/master: 6e6acaa39a2d6e7491ef282e6ca0f6b4db808321
diff --git a/trunk/src/comp/middle/trans.rs b/trunk/src/comp/middle/trans.rs
@@ -3581,9 +3581,9 @@ fn trans_alt(@block_ctxt cx, @ast.expr expr, vec[ast.arm] arms)
         this_cx = next_cx;
     }
 
-    // FIXME: This is executed when none of the patterns match; it should fail
-    // instead!
-    this_cx.build.Br(last_cx.llbb);
+    auto default_cx = this_cx;
+    auto default_res = trans_fail(default_cx, expr.span,
+                                  "non-exhaustive match failure");
 
     // FIXME: This is very wrong; we should phi together all the arm blocks,
     // since this is an expression.

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 9d0a505d61e77d6186631552065438aa04944b12`
	`2`	`+refs/heads/master: 6e6acaa39a2d6e7491ef282e6ca0f6b4db808321`