---

catamorphism · catamorphism · commit ccdd41140d48 · 2011-06-01T18:15:12.000-07:00
yaml --- r: 2899 b: refs/heads/master c: 24c9d7e h: refs/heads/master i: 2897: 5dd1594 2895: ef2adb1 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1402cd101bfd2b0235900dfd07593572f34f4844
+refs/heads/master: 24c9d7e5f85aa9324dbb2313101cf4c0d9826dc3
diff --git a/trunk/src/comp/middle/typeck.rs b/trunk/src/comp/middle/typeck.rs
@@ -1128,8 +1128,8 @@ mod pushdown {
                 alt (struct(scx.fcx.ccx.tcx, expected)) {
                     case (ty::ty_tag(_, ?tps)) { tag_tps = tps; }
                     case (_) {
-                        log_err "tag pattern type not actually a tag?!";
-                        fail;
+                        scx.fcx.ccx.tcx.sess.span_err(pat.span,
+                          "Non-constructor used in a pattern");
                     }
                 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 1402cd101bfd2b0235900dfd07593572f34f4844`
	`2`	`+refs/heads/master: 24c9d7e5f85aa9324dbb2313101cf4c0d9826dc3`
Original file line number	Diff line number	Diff line change
`@@ -1128,8 +1128,8 @@ mod pushdown {`
`1128`	`1128`	`alt (struct(scx.fcx.ccx.tcx, expected)) {`
`1129`	`1129`	`case (ty::ty_tag(_, ?tps)) { tag_tps = tps; }`
`1130`	`1130`	`case (_) {`
`1131`		`- log_err "tag pattern type not actually a tag?!";`
`1132`		`- fail;`
	`1131`	`+ scx.fcx.ccx.tcx.sess.span_err(pat.span,`
	`1132`	`+ "Non-constructor used in a pattern");`
`1133`	`1133`	`}`
`1134`	`1134`	`}`
`1135`	`1135`