rust/src/test/compile-fail/pattern-tyvar-2.rs

// -*- rust -*-

use std;
import option;
import option::some;

// error-pattern: mismatched types

enum bar { t1((), option::t<[int]>); t2; }

fn foo(t: bar) -> int { alt t { t1(_, some(x)) { ret x * 3; } _ { fail; } } }

fn main() { }
Two tests that the typechecker correctly unifies type arguments in patterns with their expected tag types 2011-05-14 19:03:08 -07:00			`// -- rust --`

			`use std;`
Copy first batch of material from libstd to libcore. 2011-12-13 16:25:51 -08:00			`import option;`
			`import option::some;`
Two tests that the typechecker correctly unifies type arguments in patterns with their expected tag types 2011-05-14 19:03:08 -07:00
			`// error-pattern: mismatched types`

test: "tag" -> "enum" in compile-fail 2012-01-19 16:01:47 -08:00			`enum bar { t1((), option::t<[int]>); t2; }`
Two tests that the typechecker correctly unifies type arguments in patterns with their expected tag types 2011-05-14 19:03:08 -07:00
Reformat for new syntax 2011-07-27 14:19:39 +02:00			`fn foo(t: bar) -> int { alt t { t1(_, some(x)) { ret x * 3; } _ { fail; } } }`
Two tests that the typechecker correctly unifies type arguments in patterns with their expected tag types 2011-05-14 19:03:08 -07:00
Port the tests to the typaram foo<T> syntax. 2011-08-10 09:27:22 -07:00			`fn main() { }`