---

catamorphism · catamorphism · commit 9c5cfe91f2d4 · 2011-08-05T15:47:17.000-07:00
yaml --- r: 4454 b: refs/heads/master c: c35bf9c h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b62e80c1f022131da963da84ef6768f300c2c5c3
+refs/heads/master: c35bf9ca04c9cfb441646db00a8b826b274c0b25
diff --git a/trunk/src/test/compile-fail/occurs-check-3.rs b/trunk/src/test/compile-fail/occurs-check-3.rs
@@ -0,0 +1,4 @@
+// error-pattern:mismatched types
+// From Issue #778
+tag clam[T] { a(T); }
+fn main() { let c = a(c); alt c { a[int](_) { } } }

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: b62e80c1f022131da963da84ef6768f300c2c5c3`
	`2`	`+refs/heads/master: c35bf9ca04c9cfb441646db00a8b826b274c0b25`