tests: improve error tests on --keep-going by adding usage of broken things

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

diff --git a/tests/error_array_ambig.nit b/tests/error_array_ambig.nit
index 8ef8529..ef4beb6 100644 (file)
--- a/tests/error_array_ambig.nit
+++ b/tests/error_array_ambig.nit
@@ -15,3 +15,4 @@
 # limitations under the License.
 
 var i = [4, '4']
+i.first.output

diff --git a/tests/error_attr_2def.nit b/tests/error_attr_2def.nit
index e10ed39..d7d7122 100644 (file)
--- a/tests/error_attr_2def.nit
+++ b/tests/error_attr_2def.nit
@@ -18,3 +18,6 @@ class A
        var toto: Int
        var toto: Object
 end
+
+var a = new A
+a.toto.output

diff --git a/tests/error_attr_assign.nit b/tests/error_attr_assign.nit
index 173d9b5..8265b99 100644 (file)
--- a/tests/error_attr_assign.nit
+++ b/tests/error_attr_assign.nit
@@ -21,3 +21,6 @@ class A
                _toto = 't'
        end
 end
+
+var a = new A(1)
+a.m

diff --git a/tests/error_cons_arity.nit b/tests/error_cons_arity.nit
index 6c6ee71..3f1cede 100644 (file)
--- a/tests/error_cons_arity.nit
+++ b/tests/error_cons_arity.nit
@@ -18,3 +18,6 @@ class C[E]
 end
 class C[E: Object, F: Object]
 end
+
+var c = new C
+c.output

diff --git a/tests/error_cons_arity2.nit b/tests/error_cons_arity2.nit
index b1f4c5d..9dd4ccd 100644 (file)
--- a/tests/error_cons_arity2.nit
+++ b/tests/error_cons_arity2.nit
@@ -19,3 +19,6 @@ end
 
 class A[E: Object]
 end
+
+var a = new A
+a.output

diff --git a/tests/error_constraint.nit b/tests/error_constraint.nit
index 8ed9abf..61c1fa7 100644 (file)
--- a/tests/error_constraint.nit
+++ b/tests/error_constraint.nit
@@ -19,3 +19,6 @@ class A
 end
 class A[E: Object]
 end
+
+var a = new A
+a.output

diff --git a/tests/error_decl_type_var.nit b/tests/error_decl_type_var.nit
index 89d8bfe..0d31269 100644 (file)
--- a/tests/error_decl_type_var.nit
+++ b/tests/error_decl_type_var.nit
@@ -15,3 +15,4 @@
 # limitations under the License.
 
 var i: Int = '4'
+i.output

diff --git a/tests/error_for_coll.nit b/tests/error_for_coll.nit
index 42380aa..008d626 100644 (file)
--- a/tests/error_for_coll.nit
+++ b/tests/error_for_coll.nit
@@ -15,4 +15,5 @@
 # limitations under the License.
 
 for i in 5 do
+       i.output
 end

diff --git a/tests/error_formal.nit b/tests/error_formal.nit
index 13a16b5..a45a57a 100644 (file)
--- a/tests/error_formal.nit
+++ b/tests/error_formal.nit
@@ -17,3 +17,6 @@
 class A[T]
        var k: T[Int]
 end
+
+var a = new A[Object]
+a.output

diff --git a/tests/error_formal_name.nit b/tests/error_formal_name.nit
index be27718..9ebbb23 100644 (file)
--- a/tests/error_formal_name.nit
+++ b/tests/error_formal_name.nit
@@ -17,3 +17,5 @@ import kernel
 class G[Foo]
        type Bar: Object
 end
+
+var g = new G[Object]

diff --git a/tests/error_fun_ret.nit b/tests/error_fun_ret.nit
index 8744a8e..6cb6330 100644 (file)
--- a/tests/error_fun_ret.nit
+++ b/tests/error_fun_ret.nit
@@ -17,3 +17,5 @@
 fun toto: Int
 do
 end
+
+toto.output

diff --git a/tests/error_fun_ret2.nit b/tests/error_fun_ret2.nit
index 7f09bfc..d9beb18 100644 (file)
--- a/tests/error_fun_ret2.nit
+++ b/tests/error_fun_ret2.nit
@@ -20,3 +20,5 @@ do
                return 0
        end
 end
+
+toto.output

diff --git a/tests/error_fun_ret3.nit b/tests/error_fun_ret3.nit
index 0825cb5..bba3eaf 100644 (file)
--- a/tests/error_fun_ret3.nit
+++ b/tests/error_fun_ret3.nit
@@ -21,3 +21,5 @@ do
                return 1
        end
 end
+
+toto.output

diff --git a/tests/error_fun_ret4.nit b/tests/error_fun_ret4.nit
index 9d74ff0..bccb2e8 100644 (file)
--- a/tests/error_fun_ret4.nit
+++ b/tests/error_fun_ret4.nit
@@ -21,3 +21,5 @@ do
                return 1
        end
 end
+
+toto.output

diff --git a/tests/error_fun_ret5.nit b/tests/error_fun_ret5.nit
index b4173ec..065533e 100644 (file)
--- a/tests/error_fun_ret5.nit
+++ b/tests/error_fun_ret5.nit
@@ -20,3 +20,5 @@ do
                return 1
        end
 end
+
+toto.output

diff --git a/tests/error_gen_f_inh_clash.nit b/tests/error_gen_f_inh_clash.nit
index 6ea638d..12d8a0a 100644 (file)
--- a/tests/error_gen_f_inh_clash.nit
+++ b/tests/error_gen_f_inh_clash.nit
@@ -20,3 +20,6 @@ class G3
        super G1
        super G2
 end
+
+var g = new G3
+g.output

diff --git a/tests/error_if_bool.nit b/tests/error_if_bool.nit
index 17b0bf8..8380fa6 100644 (file)
--- a/tests/error_if_bool.nit
+++ b/tests/error_if_bool.nit
@@ -15,4 +15,5 @@
 # limitations under the License.
 
 if 5 then
+       1.output
 end

diff --git a/tests/error_inh_clash.nit b/tests/error_inh_clash.nit
index f9e31b5..bc04cd4 100644 (file)
--- a/tests/error_inh_clash.nit
+++ b/tests/error_inh_clash.nit
@@ -18,3 +18,6 @@ class A
        super Array[Int]
        super Array[Char]
 end
+
+var a = new A
+a.output

diff --git a/tests/error_inh_clash2.nit b/tests/error_inh_clash2.nit
index a66d081..2c1cb4a 100644 (file)
--- a/tests/error_inh_clash2.nit
+++ b/tests/error_inh_clash2.nit
@@ -24,3 +24,6 @@ class C
        super A
        super B
 end
+
+var c = new C
+c.output

diff --git a/tests/error_inh_clash3.nit b/tests/error_inh_clash3.nit
index f205c7a..8c720d8 100644 (file)
--- a/tests/error_inh_clash3.nit
+++ b/tests/error_inh_clash3.nit
@@ -24,3 +24,6 @@ class C
        super A[Int]
        super B[Char]
 end
+
+var c = new C
+c.output

diff --git a/tests/error_inh_clash4.nit b/tests/error_inh_clash4.nit
index 8f9928f..63d05e7 100644 (file)
--- a/tests/error_inh_clash4.nit
+++ b/tests/error_inh_clash4.nit
@@ -16,3 +16,6 @@ class A[E, F]
        super Array[E]
        super List[F]
 end
+
+var a = new A[Int, Int]
+a.output

diff --git a/tests/error_inh_loop.nit b/tests/error_inh_loop.nit
index 0e778f9..0f639a8 100644 (file)
--- a/tests/error_inh_loop.nit
+++ b/tests/error_inh_loop.nit
@@ -27,3 +27,6 @@ end
 class C
        super A
 end
+
+var a = new A
+a.output

diff --git a/tests/error_kern_attr_any.nit b/tests/error_kern_attr_any.nit
index e45209c..76d3763 100644 (file)
--- a/tests/error_kern_attr_any.nit
+++ b/tests/error_kern_attr_any.nit
@@ -17,3 +17,5 @@
 redef class Object
        var toto: Bool
 end
+
+toto.output

diff --git a/tests/error_kern_attr_int.nit b/tests/error_kern_attr_int.nit
index 5a0ea55..7056d6d 100644 (file)
--- a/tests/error_kern_attr_int.nit
+++ b/tests/error_kern_attr_int.nit
@@ -17,3 +17,5 @@
 redef class Int
        var toto: Object
 end
+
+1.toto.output

diff --git a/tests/error_left_bool.nit b/tests/error_left_bool.nit
index 0a2690a..dc9bcd8 100644 (file)
--- a/tests/error_left_bool.nit
+++ b/tests/error_left_bool.nit
@@ -15,4 +15,5 @@
 # limitations under the License.
 
 if 5 and true then
+       1.output
 end

diff --git a/tests/error_loop_bool_while.nit b/tests/error_loop_bool_while.nit
index d53eb60..74394dd 100644 (file)
--- a/tests/error_loop_bool_while.nit
+++ b/tests/error_loop_bool_while.nit
@@ -15,4 +15,5 @@
 # limitations under the License.
 
 while 5 do
+       1.output
 end

diff --git a/tests/error_meth_2def.nit b/tests/error_meth_2def.nit
index 140089c..7f41160 100644 (file)
--- a/tests/error_meth_2def.nit
+++ b/tests/error_meth_2def.nit
@@ -18,3 +18,6 @@ class A
        fun toto(a: Int) do end
        fun toto(a: Char) do end
 end
+
+var a = new A
+a.toto(1)

diff --git a/tests/error_meth_2def2.nit b/tests/error_meth_2def2.nit
index 8e10ea6..48c63a4 100644 (file)
--- a/tests/error_meth_2def2.nit
+++ b/tests/error_meth_2def2.nit
@@ -18,3 +18,6 @@ class A
        fun toto(a: Int) do end
        fun toto(a: Int): Int do return 0 end
 end
+
+var a = new A
+a.toto(1).output

diff --git a/tests/error_redef3.nit b/tests/error_redef3.nit
index b7075d6..eeeda92 100644 (file)
--- a/tests/error_redef3.nit
+++ b/tests/error_redef3.nit
@@ -15,3 +15,5 @@
 class A end
 class A end
 
+var a = new A
+a.output

diff --git a/tests/error_redef4.nit b/tests/error_redef4.nit
index cf2d3c9..8b2f3f1 100644 (file)
--- a/tests/error_redef4.nit
+++ b/tests/error_redef4.nit
@@ -17,3 +17,5 @@ import error_redef4_base
 redef class A end
 redef class A end
 
+var a = new A
+a.output

diff --git a/tests/error_redef_class.nit b/tests/error_redef_class.nit
index 87277d0..05363db 100644 (file)
--- a/tests/error_redef_class.nit
+++ b/tests/error_redef_class.nit
@@ -15,3 +15,6 @@
 import kernel
 
 redef class Fail end
+
+var f = new Fail
+f.output

diff --git a/tests/error_ref_attr.nit b/tests/error_ref_attr.nit
index 3022e6d..a0a2d27 100644 (file)
--- a/tests/error_ref_attr.nit
+++ b/tests/error_ref_attr.nit
@@ -19,3 +19,6 @@ import module_simple
 redef class C
        redef var a: Int
 end
+
+var c = new C(new B)
+c.a.output

diff --git a/tests/error_ref_fun.nit b/tests/error_ref_fun.nit
index 8267289..5a9a1e7 100644 (file)
--- a/tests/error_ref_fun.nit
+++ b/tests/error_ref_fun.nit
@@ -19,3 +19,6 @@ import module_simple
 redef class C
        redef fun s do end
 end
+
+var c = new C(new B)
+c.s.output

diff --git a/tests/error_ref_param.nit b/tests/error_ref_param.nit
index 4a9f644..e4f1b72 100644 (file)
--- a/tests/error_ref_param.nit
+++ b/tests/error_ref_param.nit
@@ -19,3 +19,6 @@ import module_simple
 redef class C
        redef fun r(x: C) do end
 end
+
+var c = new C(new B)
+c.r

diff --git a/tests/error_ref_proc.nit b/tests/error_ref_proc.nit
index 18f5452..02cd0f1 100644 (file)
--- a/tests/error_ref_proc.nit
+++ b/tests/error_ref_proc.nit
@@ -19,3 +19,6 @@ import module_simple
 redef class C
        redef fun r(x: B): B do return self end
 end
+
+var c = new C(new B)
+c.r

diff --git a/tests/error_ref_ret.nit b/tests/error_ref_ret.nit
index 1aedf5a..040de3e 100644 (file)
--- a/tests/error_ref_ret.nit
+++ b/tests/error_ref_ret.nit
@@ -19,3 +19,6 @@ import module_simple
 redef class C
        redef fun s: Int do return 1 end
 end
+
+var c = new C(new B)
+c.s.output

diff --git a/tests/error_ret_fun.nit b/tests/error_ret_fun.nit
index 3505137..9f737ac 100644 (file)
--- a/tests/error_ret_fun.nit
+++ b/tests/error_ret_fun.nit
@@ -18,3 +18,5 @@ fun toto: Int
 do
        return
 end
+
+toto.output

diff --git a/tests/error_ret_type.nit b/tests/error_ret_type.nit
index 41dc4b4..18f7808 100644 (file)
--- a/tests/error_ret_type.nit
+++ b/tests/error_ret_type.nit
@@ -18,3 +18,5 @@ fun toto: Int
 do
        return '4'
 end
+
+(toto+1).output

diff --git a/tests/error_right_bool.nit b/tests/error_right_bool.nit
index 188448b..7653555 100644 (file)
--- a/tests/error_right_bool.nit
+++ b/tests/error_right_bool.nit
@@ -15,4 +15,5 @@
 # limitations under the License.
 
 if true or 6 then
+       1.output
 end

diff --git a/tests/error_signature.nit b/tests/error_signature.nit
index 7da246a..47f3160 100644 (file)
--- a/tests/error_signature.nit
+++ b/tests/error_signature.nit
@@ -27,3 +27,12 @@ class C
        super A
        redef fun foo: Int do return 3
 end
+
+var a = new A
+a.foo.output
+
+var b = new B
+b.foo
+
+var c = new C
+c.foo

diff --git a/tests/error_spe_attr.nit b/tests/error_spe_attr.nit
index 5570921..00e43b6 100644 (file)
--- a/tests/error_spe_attr.nit
+++ b/tests/error_spe_attr.nit
@@ -21,3 +21,6 @@ class B
        super A
        redef var a: Object = 2
 end
+
+var b = new B
+b.a.output

diff --git a/tests/error_spe_fun.nit b/tests/error_spe_fun.nit
index 7a3ae87..669e139 100644 (file)
--- a/tests/error_spe_fun.nit
+++ b/tests/error_spe_fun.nit
@@ -22,3 +22,6 @@ class B
        super A
 redef fun toto do end
 end
+
+var b = new B
+b.toto.output

diff --git a/tests/error_spe_param.nit b/tests/error_spe_param.nit
index a3615ea..ac2b294 100644 (file)
--- a/tests/error_spe_param.nit
+++ b/tests/error_spe_param.nit
@@ -23,3 +23,6 @@ class B
        super A
 redef fun toto(c: Object) do end
 end
+
+var b = new B
+b.toto(true)

diff --git a/tests/error_spe_param2.nit b/tests/error_spe_param2.nit
index b0d63ac..35680b2 100644 (file)
--- a/tests/error_spe_param2.nit
+++ b/tests/error_spe_param2.nit
@@ -23,3 +23,6 @@ class B
        super A
 redef fun toto(c: Char) do end
 end
+
+var b = new B
+b.toto(true)

diff --git a/tests/error_spe_proc.nit b/tests/error_spe_proc.nit
index 0b23aef..17949f3 100644 (file)
--- a/tests/error_spe_proc.nit
+++ b/tests/error_spe_proc.nit
@@ -20,5 +20,8 @@ end
 
 class B
        super A
-redef fun toto: Int do return 2end
+redef fun toto: Int do return 2 end
 end
+
+var b = new B
+b.toto.output

diff --git a/tests/error_spe_ret.nit b/tests/error_spe_ret.nit
index 42c1848..e4330ff 100644 (file)
--- a/tests/error_spe_ret.nit
+++ b/tests/error_spe_ret.nit
@@ -22,3 +22,6 @@ class B
        super A
 redef fun toto: Char do return 'a' end
 end
+
+var b = new B
+b.toto.output

diff --git a/tests/error_super_none.nit b/tests/error_super_none.nit
index aeddbd9..605adfd 100644 (file)
--- a/tests/error_super_none.nit
+++ b/tests/error_super_none.nit
@@ -21,3 +21,6 @@ class A
                super
        end
 end
+
+var a = new A
+a.foo

diff --git a/tests/error_type_not_ok.nit b/tests/error_type_not_ok.nit
index cfe5302..10fd302 100644 (file)
--- a/tests/error_type_not_ok.nit
+++ b/tests/error_type_not_ok.nit
@@ -21,3 +21,5 @@ class A
        super Fail
 end
 
+var a = new A
+a.output

diff --git a/tests/error_type_not_ok2.nit b/tests/error_type_not_ok2.nit
index 4e49e03..b259d44 100644 (file)
--- a/tests/error_type_not_ok2.nit
+++ b/tests/error_type_not_ok2.nit
@@ -21,3 +21,5 @@ class B
        super Array[Fail]
 end
 
+var b = new B
+b.output

diff --git a/tests/error_type_not_ok3.nit b/tests/error_type_not_ok3.nit
index 7828cf6..77cab7c 100644 (file)
--- a/tests/error_type_not_ok3.nit
+++ b/tests/error_type_not_ok3.nit
@@ -22,3 +22,8 @@ end
 
 class D[T: Array[Fail]]
 end
+
+var c = new C[Int]
+c.output
+var d = new D[Int]
+d.output

diff --git a/tests/error_type_not_ok4.nit b/tests/error_type_not_ok4.nit
index 2862a61..d4f7b94 100644 (file)
--- a/tests/error_type_not_ok4.nit
+++ b/tests/error_type_not_ok4.nit
@@ -33,3 +33,13 @@ class G
        fun md: Array[Fail] do return 0
 end
 
+var e = new E
+e.output
+var f = new F
+f.output
+var g = new G
+g.a.output
+g.ma(1)
+g.mb(1)
+g.mc(1).output
+g.md(1).output

diff --git a/tests/error_unk_class.nit b/tests/error_unk_class.nit
index 8620254..4d9517f 100644 (file)
--- a/tests/error_unk_class.nit
+++ b/tests/error_unk_class.nit
@@ -15,3 +15,4 @@
 # limitations under the License.
 
 var i = new Canard
+i.output