tests: add error_type_unk

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/tests/error_type_unk.nit b/tests/error_type_unk.nit
new file mode 100644 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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 (file)
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.