From: Jean Privat Date: Wed, 30 Mar 2011 16:58:59 +0000 (-0400) Subject: tests: add error_type_unk X-Git-Tag: v0.5~47^3 X-Git-Url: http://nitlanguage.org tests: add error_type_unk Signed-off-by: Jean Privat --- diff --git a/tests/error_type_unk.nit b/tests/error_type_unk.nit new file mode 100644 index 0000000..a61fb0c --- /dev/null +++ b/tests/error_type_unk.nit @@ -0,0 +1,35 @@ +import kernel + +class G[E] +end + +#alt1# class H[E: Fail] end + +class A + #alt2#super Fail + #alt3#super G[Fail] + #alt2#super Fail[G] + + #alt4#var v: Fail + #alt4#fun f(f: Fail): Fail do return f + 1 + #alt5#var v: Fail + #alt5#fun f(f: Fail): Fail do return f + 1 + + fun f2 do + #alt6#var x: Fail + #alt7#var y = new Fail + var z = 1 + var b = z isa Fail + z = b + 1 + var c = z.as(Fail) + z = c + 1 + end +end + +class B + super A + #alt4# redef fun v do return super + 1 + #alt4# redef fun f(f) do return f + 1 + #alt5# redef fun v: Fail do return super + 1 + #alt5# redef fun f(f: Fail): Fail do return f + 1 +end diff --git a/tests/sav/error_type_unk.sav b/tests/sav/error_type_unk.sav new file mode 100644 index 0000000..feaa157 --- /dev/null +++ b/tests/sav/error_type_unk.sav @@ -0,0 +1,2 @@ +./error_type_unk.nit:22,17--20: Type error: class Fail not found in module error_type_unk. +./error_type_unk.nit:24,16--19: Type error: class Fail not found in module error_type_unk. diff --git a/tests/sav/error_type_unk_alt1.sav b/tests/sav/error_type_unk_alt1.sav new file mode 100644 index 0000000..ca88225 --- /dev/null +++ b/tests/sav/error_type_unk_alt1.sav @@ -0,0 +1 @@ +alt/error_type_unk_alt1.nit:6,13--16: Type error: class Fail not found in module error_type_unk_alt1. diff --git a/tests/sav/error_type_unk_alt2.sav b/tests/sav/error_type_unk_alt2.sav new file mode 100644 index 0000000..4ef79d3 --- /dev/null +++ b/tests/sav/error_type_unk_alt2.sav @@ -0,0 +1,2 @@ +alt/error_type_unk_alt2.nit:9,8--11: Type error: class Fail not found in module error_type_unk_alt2. +alt/error_type_unk_alt2.nit:11,8--11: Type error: class Fail not found in module error_type_unk_alt2. diff --git a/tests/sav/error_type_unk_alt3.sav b/tests/sav/error_type_unk_alt3.sav new file mode 100644 index 0000000..2519222 --- /dev/null +++ b/tests/sav/error_type_unk_alt3.sav @@ -0,0 +1 @@ +alt/error_type_unk_alt3.nit:10,10--13: Type error: class Fail not found in module error_type_unk_alt3. diff --git a/tests/sav/error_type_unk_alt4.sav b/tests/sav/error_type_unk_alt4.sav new file mode 100644 index 0000000..2be140c --- /dev/null +++ b/tests/sav/error_type_unk_alt4.sav @@ -0,0 +1,2 @@ +alt/error_type_unk_alt4.nit:13,9--12: Type error: class Fail not found in module error_type_unk_alt4. +alt/error_type_unk_alt4.nit:14,11--14: Type error: class Fail not found in module error_type_unk_alt4. diff --git a/tests/sav/error_type_unk_alt5.sav b/tests/sav/error_type_unk_alt5.sav new file mode 100644 index 0000000..2a376f4 --- /dev/null +++ b/tests/sav/error_type_unk_alt5.sav @@ -0,0 +1,4 @@ +alt/error_type_unk_alt5.nit:15,9--12: Type error: class Fail not found in module error_type_unk_alt5. +alt/error_type_unk_alt5.nit:16,11--14: Type error: class Fail not found in module error_type_unk_alt5. +alt/error_type_unk_alt5.nit:33,16--19: Type error: class Fail not found in module error_type_unk_alt5. +alt/error_type_unk_alt5.nit:34,18--21: Type error: class Fail not found in module error_type_unk_alt5. diff --git a/tests/sav/error_type_unk_alt6.sav b/tests/sav/error_type_unk_alt6.sav new file mode 100644 index 0000000..65d5de2 --- /dev/null +++ b/tests/sav/error_type_unk_alt6.sav @@ -0,0 +1,3 @@ +alt/error_type_unk_alt6.nit:19,10--13: Type error: class Fail not found in module error_type_unk_alt6. +alt/error_type_unk_alt6.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt6. +alt/error_type_unk_alt6.nit:24,16--19: Type error: class Fail not found in module error_type_unk_alt6. diff --git a/tests/sav/error_type_unk_alt7.sav b/tests/sav/error_type_unk_alt7.sav new file mode 100644 index 0000000..96675b4 --- /dev/null +++ b/tests/sav/error_type_unk_alt7.sav @@ -0,0 +1,3 @@ +alt/error_type_unk_alt7.nit:20,15--18: Type error: class Fail not found in module error_type_unk_alt7. +alt/error_type_unk_alt7.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt7. +alt/error_type_unk_alt7.nit:24,16--19: Type error: class Fail not found in module error_type_unk_alt7.