From 370b129114d7b86f962fce6b2769e1c54ed4a115 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Wed, 30 Mar 2011 12:58:59 -0400 Subject: [PATCH] tests: add error_type_unk Signed-off-by: Jean Privat --- tests/error_type_unk.nit | 35 +++++++++++++++++++++++++++++++++++ tests/sav/error_type_unk.sav | 2 ++ tests/sav/error_type_unk_alt1.sav | 1 + tests/sav/error_type_unk_alt2.sav | 2 ++ tests/sav/error_type_unk_alt3.sav | 1 + tests/sav/error_type_unk_alt4.sav | 2 ++ tests/sav/error_type_unk_alt5.sav | 4 ++++ tests/sav/error_type_unk_alt6.sav | 3 +++ tests/sav/error_type_unk_alt7.sav | 3 +++ 9 files changed, 53 insertions(+) create mode 100644 tests/error_type_unk.nit create mode 100644 tests/sav/error_type_unk.sav create mode 100644 tests/sav/error_type_unk_alt1.sav create mode 100644 tests/sav/error_type_unk_alt2.sav create mode 100644 tests/sav/error_type_unk_alt3.sav create mode 100644 tests/sav/error_type_unk_alt4.sav create mode 100644 tests/sav/error_type_unk_alt5.sav create mode 100644 tests/sav/error_type_unk_alt6.sav create mode 100644 tests/sav/error_type_unk_alt7.sav 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. -- 1.7.9.5