From: Jean Privat Date: Wed, 30 Mar 2011 16:53:55 +0000 (-0400) Subject: tests: add base_upcast X-Git-Tag: v0.5~47^3~1 X-Git-Url: http://nitlanguage.org tests: add base_upcast Signed-off-by: Jean Privat --- diff --git a/tests/base_upcast.nit b/tests/base_upcast.nit new file mode 100644 index 0000000..2e6f695 --- /dev/null +++ b/tests/base_upcast.nit @@ -0,0 +1,79 @@ +import kernel + +class A[E] +end + +class B[F] super A[F] +end + +class C[G] super B[Int] +end + +class D super C[Bool] +end + +fun maybe: Bool do return true + +var ai = new A[Int] +var ab = new A[Bool] +var bi = new B[Int] +var bb = new B[Bool] +var ci = new C[Int] +var cb = new C[Bool] +var d = new D + +if maybe then ai = ai +#alt1#if maybe then ai = ab +if maybe then ai = bi +#alt1#if maybe then ai = bb +if maybe then ai = ci +if maybe then ai = cb +if maybe then ai = d + +#alt1#if maybe then ab = ai +if maybe then ab = ab +#alt1#if maybe then ab = bi +if maybe then ab = bb +#alt1#if maybe then ab = ci +#alt1#if maybe then ab = cb +#alt1#if maybe then ab = d + +#alt1#if maybe then bi = ai +#alt1#if maybe then bi = ab +if maybe then bi = bi +#alt1#if maybe then bi = bb +if maybe then bi = ci +if maybe then bi = cb +if maybe then bi = d + +#alt1#if maybe then bb = ai +#alt1#if maybe then bb = ab +#alt1#if maybe then bb = bi +if maybe then bb = bb +#alt1#if maybe then bb = ci +#alt1#if maybe then bb = cb +#alt1#if maybe then bb = d + +#alt1#if maybe then cb = ai +#alt1#if maybe then ci = ab +#alt1#if maybe then ci = bi +#alt1#if maybe then ci = bb +if maybe then ci = ci +#alt1#if maybe then ci = cb +#alt1#if maybe then ci = d + +#alt1#if maybe then cb = ai +#alt1#if maybe then cb = ab +#alt1#if maybe then cb = bi +#alt1#if maybe then cb = bb +#alt1#if maybe then cb = ci +if maybe then cb = cb +if maybe then cb = d + +#alt1#if maybe then d = ai +#alt1#if maybe then d = ab +#alt1#if maybe then d = bi +#alt1#if maybe then d = bb +#alt1#if maybe then d = ci +#alt1#if maybe then d = cb +if maybe then d = d diff --git a/tests/base_upcast2.nit b/tests/base_upcast2.nit new file mode 100644 index 0000000..476c44b --- /dev/null +++ b/tests/base_upcast2.nit @@ -0,0 +1,41 @@ +import kernel + +class A[E] +end + +class B[G] super A[Int] +end + +class C super B[Bool] +end + +class X + #1alt1#type T: A[Int] + #1alt2#type T: A[Bool] + #1alt3#type T: B[Int] + #1alt4#type T: B[Bool] + #1alt5#type T: C + fun toto + do + var ai = new A[Int] + var ab = new A[Bool] + var bi = new B[Int] + var bb = new B[Bool] + var c = new C + + var t: T = c.as(T) + #alt1#if maybe then t = ai + #alt2#if maybe then t = ab + #alt3#if maybe then t = bi + #alt4#if maybe then t = bb + #alt5#if maybe then t = c + #alt6#if maybe then ai = t + #alt7#if maybe then ab = t + #alt8#if maybe then bi = t + #alt9#if maybe then bb = t + #alt10#if maybe then c = t + end +end + +fun maybe: Bool do return true + diff --git a/tests/sav/base_upcast.sav b/tests/sav/base_upcast.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2.sav b/tests/sav/base_upcast2.sav new file mode 100644 index 0000000..addae0d --- /dev/null +++ b/tests/sav/base_upcast2.sav @@ -0,0 +1,2 @@ +./base_upcast2.nit:26,10: Type error: class T not found in module base_upcast2. +./base_upcast2.nit:26,19: Type error: class T not found in module base_upcast2. diff --git a/tests/sav/base_upcast2_1alt1.sav b/tests/sav/base_upcast2_1alt1.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt1_alt1.sav b/tests/sav/base_upcast2_1alt1_alt1.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt1_alt10.sav b/tests/sav/base_upcast2_1alt1_alt10.sav new file mode 100644 index 0000000..99abb44 --- /dev/null +++ b/tests/sav/base_upcast2_1alt1_alt10.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T diff --git a/tests/sav/base_upcast2_1alt1_alt2.sav b/tests/sav/base_upcast2_1alt1_alt2.sav new file mode 100644 index 0000000..c5765b7 --- /dev/null +++ b/tests/sav/base_upcast2_1alt1_alt2.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt1_alt2.nit:28,21--22: Type error: expected T, got A[Bool] diff --git a/tests/sav/base_upcast2_1alt1_alt3.sav b/tests/sav/base_upcast2_1alt1_alt3.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt1_alt4.sav b/tests/sav/base_upcast2_1alt1_alt4.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt1_alt5.sav b/tests/sav/base_upcast2_1alt1_alt5.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt1_alt6.sav b/tests/sav/base_upcast2_1alt1_alt6.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt1_alt7.sav b/tests/sav/base_upcast2_1alt1_alt7.sav new file mode 100644 index 0000000..29fe46d --- /dev/null +++ b/tests/sav/base_upcast2_1alt1_alt7.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T diff --git a/tests/sav/base_upcast2_1alt1_alt8.sav b/tests/sav/base_upcast2_1alt1_alt8.sav new file mode 100644 index 0000000..4f33a48 --- /dev/null +++ b/tests/sav/base_upcast2_1alt1_alt8.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T diff --git a/tests/sav/base_upcast2_1alt1_alt9.sav b/tests/sav/base_upcast2_1alt1_alt9.sav new file mode 100644 index 0000000..3191dca --- /dev/null +++ b/tests/sav/base_upcast2_1alt1_alt9.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T diff --git a/tests/sav/base_upcast2_1alt2.sav b/tests/sav/base_upcast2_1alt2.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt2_alt1.sav b/tests/sav/base_upcast2_1alt2_alt1.sav new file mode 100644 index 0000000..63071d3 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt1.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt1.nit:27,21--22: Type error: expected T, got A[Int] diff --git a/tests/sav/base_upcast2_1alt2_alt10.sav b/tests/sav/base_upcast2_1alt2_alt10.sav new file mode 100644 index 0000000..8d013a7 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt10.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt10.nit:36,21: Type error: expected C, got T diff --git a/tests/sav/base_upcast2_1alt2_alt2.sav b/tests/sav/base_upcast2_1alt2_alt2.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt2_alt3.sav b/tests/sav/base_upcast2_1alt2_alt3.sav new file mode 100644 index 0000000..693f2b2 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt3.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt3.nit:29,21--22: Type error: expected T, got B[Int] diff --git a/tests/sav/base_upcast2_1alt2_alt4.sav b/tests/sav/base_upcast2_1alt2_alt4.sav new file mode 100644 index 0000000..c8dcf37 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt4.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt4.nit:30,21--22: Type error: expected T, got B[Bool] diff --git a/tests/sav/base_upcast2_1alt2_alt5.sav b/tests/sav/base_upcast2_1alt2_alt5.sav new file mode 100644 index 0000000..f314d20 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt5.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt5.nit:31,21: Type error: expected T, got C diff --git a/tests/sav/base_upcast2_1alt2_alt6.sav b/tests/sav/base_upcast2_1alt2_alt6.sav new file mode 100644 index 0000000..afb8ffe --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt6.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt6.nit:32,22: Type error: expected A[Int], got T diff --git a/tests/sav/base_upcast2_1alt2_alt7.sav b/tests/sav/base_upcast2_1alt2_alt7.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt2_alt8.sav b/tests/sav/base_upcast2_1alt2_alt8.sav new file mode 100644 index 0000000..ab7c7d3 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt8.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt8.nit:34,22: Type error: expected B[Int], got T diff --git a/tests/sav/base_upcast2_1alt2_alt9.sav b/tests/sav/base_upcast2_1alt2_alt9.sav new file mode 100644 index 0000000..c687866 --- /dev/null +++ b/tests/sav/base_upcast2_1alt2_alt9.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt2_alt9.nit:35,22: Type error: expected B[Bool], got T diff --git a/tests/sav/base_upcast2_1alt3.sav b/tests/sav/base_upcast2_1alt3.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt3_alt1.sav b/tests/sav/base_upcast2_1alt3_alt1.sav new file mode 100644 index 0000000..665bd2b --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt1.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt1.nit:27,21--22: Type error: expected T, got A[Int] diff --git a/tests/sav/base_upcast2_1alt3_alt10.sav b/tests/sav/base_upcast2_1alt3_alt10.sav new file mode 100644 index 0000000..b64929b --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt10.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt10.nit:36,21: Type error: expected C, got T diff --git a/tests/sav/base_upcast2_1alt3_alt2.sav b/tests/sav/base_upcast2_1alt3_alt2.sav new file mode 100644 index 0000000..bd148da --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt2.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt2.nit:28,21--22: Type error: expected T, got A[Bool] diff --git a/tests/sav/base_upcast2_1alt3_alt3.sav b/tests/sav/base_upcast2_1alt3_alt3.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt3_alt4.sav b/tests/sav/base_upcast2_1alt3_alt4.sav new file mode 100644 index 0000000..9ffa5b1 --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt4.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt4.nit:30,21--22: Type error: expected T, got B[Bool] diff --git a/tests/sav/base_upcast2_1alt3_alt5.sav b/tests/sav/base_upcast2_1alt3_alt5.sav new file mode 100644 index 0000000..7c1ab2b --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt5.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt5.nit:31,21: Type error: expected T, got C diff --git a/tests/sav/base_upcast2_1alt3_alt6.sav b/tests/sav/base_upcast2_1alt3_alt6.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt3_alt7.sav b/tests/sav/base_upcast2_1alt3_alt7.sav new file mode 100644 index 0000000..b2aeba1 --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt7.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt7.nit:33,22: Type error: expected A[Bool], got T diff --git a/tests/sav/base_upcast2_1alt3_alt8.sav b/tests/sav/base_upcast2_1alt3_alt8.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt3_alt9.sav b/tests/sav/base_upcast2_1alt3_alt9.sav new file mode 100644 index 0000000..f6151ca --- /dev/null +++ b/tests/sav/base_upcast2_1alt3_alt9.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt3_alt9.nit:35,22: Type error: expected B[Bool], got T diff --git a/tests/sav/base_upcast2_1alt4.sav b/tests/sav/base_upcast2_1alt4.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt4_alt1.sav b/tests/sav/base_upcast2_1alt4_alt1.sav new file mode 100644 index 0000000..b01c65b --- /dev/null +++ b/tests/sav/base_upcast2_1alt4_alt1.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt4_alt1.nit:27,21--22: Type error: expected T, got A[Int] diff --git a/tests/sav/base_upcast2_1alt4_alt10.sav b/tests/sav/base_upcast2_1alt4_alt10.sav new file mode 100644 index 0000000..7943796 --- /dev/null +++ b/tests/sav/base_upcast2_1alt4_alt10.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T diff --git a/tests/sav/base_upcast2_1alt4_alt2.sav b/tests/sav/base_upcast2_1alt4_alt2.sav new file mode 100644 index 0000000..b3e05c4 --- /dev/null +++ b/tests/sav/base_upcast2_1alt4_alt2.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt4_alt2.nit:28,21--22: Type error: expected T, got A[Bool] diff --git a/tests/sav/base_upcast2_1alt4_alt3.sav b/tests/sav/base_upcast2_1alt4_alt3.sav new file mode 100644 index 0000000..4b97161 --- /dev/null +++ b/tests/sav/base_upcast2_1alt4_alt3.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt4_alt3.nit:29,21--22: Type error: expected T, got B[Int] diff --git a/tests/sav/base_upcast2_1alt4_alt4.sav b/tests/sav/base_upcast2_1alt4_alt4.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt4_alt5.sav b/tests/sav/base_upcast2_1alt4_alt5.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt4_alt6.sav b/tests/sav/base_upcast2_1alt4_alt6.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt4_alt7.sav b/tests/sav/base_upcast2_1alt4_alt7.sav new file mode 100644 index 0000000..1ce4304 --- /dev/null +++ b/tests/sav/base_upcast2_1alt4_alt7.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T diff --git a/tests/sav/base_upcast2_1alt4_alt8.sav b/tests/sav/base_upcast2_1alt4_alt8.sav new file mode 100644 index 0000000..a636739 --- /dev/null +++ b/tests/sav/base_upcast2_1alt4_alt8.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T diff --git a/tests/sav/base_upcast2_1alt4_alt9.sav b/tests/sav/base_upcast2_1alt4_alt9.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt5.sav b/tests/sav/base_upcast2_1alt5.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt5_alt1.sav b/tests/sav/base_upcast2_1alt5_alt1.sav new file mode 100644 index 0000000..f831dac --- /dev/null +++ b/tests/sav/base_upcast2_1alt5_alt1.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt5_alt1.nit:27,21--22: Type error: expected T, got A[Int] diff --git a/tests/sav/base_upcast2_1alt5_alt10.sav b/tests/sav/base_upcast2_1alt5_alt10.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt5_alt2.sav b/tests/sav/base_upcast2_1alt5_alt2.sav new file mode 100644 index 0000000..d640cb1 --- /dev/null +++ b/tests/sav/base_upcast2_1alt5_alt2.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt5_alt2.nit:28,21--22: Type error: expected T, got A[Bool] diff --git a/tests/sav/base_upcast2_1alt5_alt3.sav b/tests/sav/base_upcast2_1alt5_alt3.sav new file mode 100644 index 0000000..3bbdd6e --- /dev/null +++ b/tests/sav/base_upcast2_1alt5_alt3.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt5_alt3.nit:29,21--22: Type error: expected T, got B[Int] diff --git a/tests/sav/base_upcast2_1alt5_alt4.sav b/tests/sav/base_upcast2_1alt5_alt4.sav new file mode 100644 index 0000000..b5701dd --- /dev/null +++ b/tests/sav/base_upcast2_1alt5_alt4.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt5_alt4.nit:30,21--22: Type error: expected T, got B[Bool] diff --git a/tests/sav/base_upcast2_1alt5_alt5.sav b/tests/sav/base_upcast2_1alt5_alt5.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt5_alt6.sav b/tests/sav/base_upcast2_1alt5_alt6.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_1alt5_alt7.sav b/tests/sav/base_upcast2_1alt5_alt7.sav new file mode 100644 index 0000000..a670740 --- /dev/null +++ b/tests/sav/base_upcast2_1alt5_alt7.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T diff --git a/tests/sav/base_upcast2_1alt5_alt8.sav b/tests/sav/base_upcast2_1alt5_alt8.sav new file mode 100644 index 0000000..ce4fd54 --- /dev/null +++ b/tests/sav/base_upcast2_1alt5_alt8.sav @@ -0,0 +1 @@ +alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T diff --git a/tests/sav/base_upcast2_1alt5_alt9.sav b/tests/sav/base_upcast2_1alt5_alt9.sav new file mode 100644 index 0000000..e69de29 diff --git a/tests/sav/base_upcast2_alt1.sav b/tests/sav/base_upcast2_alt1.sav new file mode 100644 index 0000000..45c4c2f --- /dev/null +++ b/tests/sav/base_upcast2_alt1.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt1.nit:26,10: Type error: class T not found in module base_upcast2_alt1. +alt/base_upcast2_alt1.nit:26,19: Type error: class T not found in module base_upcast2_alt1. diff --git a/tests/sav/base_upcast2_alt10.sav b/tests/sav/base_upcast2_alt10.sav new file mode 100644 index 0000000..34b5cef --- /dev/null +++ b/tests/sav/base_upcast2_alt10.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt10.nit:26,10: Type error: class T not found in module base_upcast2_alt10. +alt/base_upcast2_alt10.nit:26,19: Type error: class T not found in module base_upcast2_alt10. diff --git a/tests/sav/base_upcast2_alt2.sav b/tests/sav/base_upcast2_alt2.sav new file mode 100644 index 0000000..01d11bc --- /dev/null +++ b/tests/sav/base_upcast2_alt2.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt2.nit:26,10: Type error: class T not found in module base_upcast2_alt2. +alt/base_upcast2_alt2.nit:26,19: Type error: class T not found in module base_upcast2_alt2. diff --git a/tests/sav/base_upcast2_alt3.sav b/tests/sav/base_upcast2_alt3.sav new file mode 100644 index 0000000..2103603 --- /dev/null +++ b/tests/sav/base_upcast2_alt3.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt3.nit:26,10: Type error: class T not found in module base_upcast2_alt3. +alt/base_upcast2_alt3.nit:26,19: Type error: class T not found in module base_upcast2_alt3. diff --git a/tests/sav/base_upcast2_alt4.sav b/tests/sav/base_upcast2_alt4.sav new file mode 100644 index 0000000..2847390 --- /dev/null +++ b/tests/sav/base_upcast2_alt4.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt4.nit:26,10: Type error: class T not found in module base_upcast2_alt4. +alt/base_upcast2_alt4.nit:26,19: Type error: class T not found in module base_upcast2_alt4. diff --git a/tests/sav/base_upcast2_alt5.sav b/tests/sav/base_upcast2_alt5.sav new file mode 100644 index 0000000..16fcc2c --- /dev/null +++ b/tests/sav/base_upcast2_alt5.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt5.nit:26,10: Type error: class T not found in module base_upcast2_alt5. +alt/base_upcast2_alt5.nit:26,19: Type error: class T not found in module base_upcast2_alt5. diff --git a/tests/sav/base_upcast2_alt6.sav b/tests/sav/base_upcast2_alt6.sav new file mode 100644 index 0000000..0a0b06e --- /dev/null +++ b/tests/sav/base_upcast2_alt6.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt6.nit:26,10: Type error: class T not found in module base_upcast2_alt6. +alt/base_upcast2_alt6.nit:26,19: Type error: class T not found in module base_upcast2_alt6. diff --git a/tests/sav/base_upcast2_alt7.sav b/tests/sav/base_upcast2_alt7.sav new file mode 100644 index 0000000..98a8fa0 --- /dev/null +++ b/tests/sav/base_upcast2_alt7.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt7.nit:26,10: Type error: class T not found in module base_upcast2_alt7. +alt/base_upcast2_alt7.nit:26,19: Type error: class T not found in module base_upcast2_alt7. diff --git a/tests/sav/base_upcast2_alt8.sav b/tests/sav/base_upcast2_alt8.sav new file mode 100644 index 0000000..c727042 --- /dev/null +++ b/tests/sav/base_upcast2_alt8.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt8.nit:26,10: Type error: class T not found in module base_upcast2_alt8. +alt/base_upcast2_alt8.nit:26,19: Type error: class T not found in module base_upcast2_alt8. diff --git a/tests/sav/base_upcast2_alt9.sav b/tests/sav/base_upcast2_alt9.sav new file mode 100644 index 0000000..fae1658 --- /dev/null +++ b/tests/sav/base_upcast2_alt9.sav @@ -0,0 +1,2 @@ +alt/base_upcast2_alt9.nit:26,10: Type error: class T not found in module base_upcast2_alt9. +alt/base_upcast2_alt9.nit:26,19: Type error: class T not found in module base_upcast2_alt9. diff --git a/tests/sav/base_upcast_alt1.sav b/tests/sav/base_upcast_alt1.sav new file mode 100644 index 0000000..7a13355 --- /dev/null +++ b/tests/sav/base_upcast_alt1.sav @@ -0,0 +1,33 @@ +alt/base_upcast_alt1.nit:26,20--21: Type error: expected A[Int], got A[Bool] +alt/base_upcast_alt1.nit:28,20--21: Type error: expected A[Int], got B[Bool] +alt/base_upcast_alt1.nit:33,20--21: Type error: expected A[Bool], got A[Int] +alt/base_upcast_alt1.nit:35,20--21: Type error: expected A[Bool], got B[Int] +alt/base_upcast_alt1.nit:37,20--21: Type error: expected A[Bool], got C[Int] +alt/base_upcast_alt1.nit:38,20--21: Type error: expected A[Bool], got C[Bool] +alt/base_upcast_alt1.nit:39,20: Type error: expected A[Bool], got D +alt/base_upcast_alt1.nit:41,20--21: Type error: expected B[Int], got A[Int] +alt/base_upcast_alt1.nit:42,20--21: Type error: expected B[Int], got A[Bool] +alt/base_upcast_alt1.nit:44,20--21: Type error: expected B[Int], got B[Bool] +alt/base_upcast_alt1.nit:49,20--21: Type error: expected B[Bool], got A[Int] +alt/base_upcast_alt1.nit:50,20--21: Type error: expected B[Bool], got A[Bool] +alt/base_upcast_alt1.nit:51,20--21: Type error: expected B[Bool], got B[Int] +alt/base_upcast_alt1.nit:53,20--21: Type error: expected B[Bool], got C[Int] +alt/base_upcast_alt1.nit:54,20--21: Type error: expected B[Bool], got C[Bool] +alt/base_upcast_alt1.nit:55,20: Type error: expected B[Bool], got D +alt/base_upcast_alt1.nit:57,20--21: Type error: expected C[Bool], got A[Int] +alt/base_upcast_alt1.nit:58,20--21: Type error: expected C[Int], got A[Bool] +alt/base_upcast_alt1.nit:59,20--21: Type error: expected C[Int], got B[Int] +alt/base_upcast_alt1.nit:60,20--21: Type error: expected C[Int], got B[Bool] +alt/base_upcast_alt1.nit:62,20--21: Type error: expected C[Int], got C[Bool] +alt/base_upcast_alt1.nit:63,20: Type error: expected C[Int], got D +alt/base_upcast_alt1.nit:65,20--21: Type error: expected C[Bool], got A[Int] +alt/base_upcast_alt1.nit:66,20--21: Type error: expected C[Bool], got A[Bool] +alt/base_upcast_alt1.nit:67,20--21: Type error: expected C[Bool], got B[Int] +alt/base_upcast_alt1.nit:68,20--21: Type error: expected C[Bool], got B[Bool] +alt/base_upcast_alt1.nit:69,20--21: Type error: expected C[Bool], got C[Int] +alt/base_upcast_alt1.nit:73,19--20: Type error: expected D, got A[Int] +alt/base_upcast_alt1.nit:74,19--20: Type error: expected D, got A[Bool] +alt/base_upcast_alt1.nit:75,19--20: Type error: expected D, got B[Int] +alt/base_upcast_alt1.nit:76,19--20: Type error: expected D, got B[Bool] +alt/base_upcast_alt1.nit:77,19--20: Type error: expected D, got C[Int] +alt/base_upcast_alt1.nit:78,19--20: Type error: expected D, got C[Bool]