Merge branch 'killclosures' into killnitc

Conflicts:
	tests/sav/base_covar_int_alt1.res
	tests/sav/base_covar_int_alt3.res

diff --git a/src/abstract_compiler.nit b/src/abstract_compiler.nit
index 857cb37..df82067 100644 (file)
--- a/src/abstract_compiler.nit
+++ b/src/abstract_compiler.nit
@@ -894,14 +894,31 @@ abstract class AbstractCompilerVisitor
        # used by aborts, asserts, casts, etc.
        fun add_abort(message: String)
        do
+               self.add("fprintf(stderr, \"Runtime error: %s\", \"{message.escape_to_c}\");")
+               add_raw_abort
+       end
+
+       fun add_raw_abort
+       do
                if self.current_node != null and self.current_node.location.file != null then
-                       self.add("fprintf(stderr, \"Runtime error: %s (%s:%d)\\n\", \"{message.escape_to_c}\", \"{self.current_node.location.file.filename.escape_to_c}\", {current_node.location.line_start});")
+                       self.add("fprintf(stderr, \" (%s:%d)\\n\", \"{self.current_node.location.file.filename.escape_to_c}\", {current_node.location.line_start});")
                else
-                       self.add("fprintf(stderr, \"Runtime error: %s\\n\", \"{message.escape_to_c}\");")
+                       self.add("fprintf(stderr, \"\\n\");")
                end
                self.add("exit(1);")
        end
 
+       # Add a dynamic cast
+       fun add_cast(value: RuntimeVariable, mtype: MType, tag: String)
+       do
+               var res = self.type_test(value, mtype, tag)
+               self.add("if (!{res}) \{")
+               var cn = self.class_name_string(value)
+               self.add("fprintf(stderr, \"Runtime error: Cast failed. Expected `%s`, got `%s`\", \"{mtype.to_s.escape_to_c}\", {cn});")
+               self.add_raw_abort
+               self.add("\}")
+       end
+
        # Generate a return with the value `s`
        fun ret(s: RuntimeVariable)
        do
@@ -933,10 +950,7 @@ abstract class AbstractCompilerVisitor
                res = autoadapt(res, nexpr.mtype.as(not null))
                var implicit_cast_to = nexpr.implicit_cast_to
                if implicit_cast_to != null and not self.compiler.modelbuilder.toolcontext.opt_no_check_autocast.value then
-                       var castres = self.type_test(res, implicit_cast_to, "auto")
-                       self.add("if (!{castres}) \{")
-                       self.add_abort("Cast failed")
-                       self.add("\}")
+                       add_cast(res, implicit_cast_to, "auto")
                        res = autoadapt(res, implicit_cast_to)
                end
                self.current_node = old
@@ -1284,10 +1298,7 @@ redef class MMethodDef
                        # generate the cast
                        # note that v decides if and how to implements the cast
                        v.add("/* Covariant cast for argument {i} ({self.msignature.mparameters[i].name}) {arguments[i+1].inspect} isa {mtype} */")
-                       var cond = v.type_test(arguments[i+1], mtype, "covariance")
-                       v.add("if (!{cond}) \{")
-                       v.add_abort("Cast failed")
-                       v.add("\}")
+                       v.add_cast(arguments[i+1], mtype, "covariance")
                end
        end
 end
@@ -1712,7 +1723,11 @@ redef class AClassdef
 end
 
 redef class ADeferredMethPropdef
-       redef fun compile_to_c(v, mpropdef, arguments) do v.add_abort("Deferred method called")
+       redef fun compile_to_c(v, mpropdef, arguments) do
+               var cn = v.class_name_string(arguments.first)
+               v.add("fprintf(stderr, \"Runtime error: Abstract method `%s` called on `%s`\", \"{mpropdef.mproperty.name.escape_to_c}\", {cn});")
+               v.add_raw_abort
+       end
        redef fun can_inline do return true
 end
 
@@ -2169,10 +2184,7 @@ redef class AAsCastExpr
                var i = v.expr(self.n_expr, null)
                if v.compiler.modelbuilder.toolcontext.opt_no_check_assert.value then return i
 
-               var cond = v.type_test(i, self.mtype.as(not null), "as")
-               v.add("if (!{cond}) \{")
-               v.add_abort("Cast failed")
-               v.add("\}")
+               v.add_cast(i, self.mtype.as(not null), "as")
                return i
        end
 end

diff --git a/src/modelize_class.nit b/src/modelize_class.nit
index 688ee7a..e8a207b 100644 (file)
--- a/src/modelize_class.nit
+++ b/src/modelize_class.nit
@@ -76,6 +76,10 @@ redef class ModelBuilder
 
                var mclass = try_get_mclass_by_name(nclassdef, mmodule, name)
                if mclass == null then
+                       if nclassdef isa AStdClassdef and nclassdef.n_kwredef != null then
+                               error(nclassdef, "Redef error: No imported class {name} to refine.")
+                               return
+                       end
                        mclass = new MClass(mmodule, name, arity, mkind, mvisibility)
                        #print "new class {mclass}"
                else if nclassdef isa AStdClassdef and nmodule.mclass2nclassdef.has_key(mclass) then

diff --git a/src/naive_interpreter.nit b/src/naive_interpreter.nit
index 0c6c5ed..d2ccbce 100644 (file)
--- a/src/naive_interpreter.nit
+++ b/src/naive_interpreter.nit
@@ -170,7 +170,7 @@ private class NaiveInterpreter
                var implicit_cast_to = n.implicit_cast_to
                if implicit_cast_to != null then
                        var mtype = self.unanchor_type(implicit_cast_to)
-                       if not self.is_subtype(i.mtype, mtype) then n.fatal(self, "Cast failed")
+                       if not self.is_subtype(i.mtype, mtype) then n.fatal(self, "Cast failed. Expected `{implicit_cast_to}`, got `{i.mtype}`")
                end
 
                #n.debug("OUT Execute expr: value is {i}")
@@ -376,9 +376,9 @@ private class NaiveInterpreter
                        # get the parameter type
                        var mtype = msignature.mparameters[i].mtype
                        var anchor = args.first.mtype.as(MClassType)
-                       mtype = mtype.anchor_to(self.mainmodule, anchor)
-                       if not args[i+1].mtype.is_subtype(self.mainmodule, anchor, mtype) then
-                               node.fatal(self, "Cast failed")
+                       var amtype = mtype.anchor_to(self.mainmodule, anchor)
+                       if not args[i+1].mtype.is_subtype(self.mainmodule, anchor, amtype) then
+                               node.fatal(self, "Cast failed. Expected `{mtype}`, got `{args[i+1].mtype}`")
                        end
                end
        end
@@ -986,7 +986,7 @@ end
 redef class ADeferredMethPropdef
        redef fun call(v, mpropdef, args)
        do
-               fatal(v, "Deferred method called")
+               fatal(v, "Abstract method `{mpropdef.mproperty.name}` called on `{args.first.mtype}`")
                abort
        end
 end
@@ -1467,10 +1467,10 @@ redef class AAsCastExpr
        do
                var i = v.expr(self.n_expr)
                if i == null then return null
-               var mtype = v.unanchor_type(self.mtype.as(not null))
-               if not v.is_subtype(i.mtype, mtype) then
-                       #fatal(v, "Cast failed expected {mtype}, got {i}")
-                       fatal(v, "Cast failed")
+               var mtype = self.mtype.as(not null)
+               var amtype = v.unanchor_type(mtype)
+               if not v.is_subtype(i.mtype, amtype) then
+                       fatal(v, "Cast failed. Expected `{amtype}`, got `{i.mtype}`")
                end
                return i
        end

diff --git a/src/nc2 b/src/nc2
deleted file mode 120000 (symlink)
index decddd6..0000000
--- a/src/nc2
+++ /dev/null
@@ -1 +0,0 @@
-nc
\ No newline at end of file

diff --git a/src/nc3 b/src/nc3
deleted file mode 120000 (symlink)
index decddd6..0000000
--- a/src/nc3
+++ /dev/null
@@ -1 +0,0 @@
-nc
\ No newline at end of file

diff --git a/src/nc4 b/src/nc4
deleted file mode 120000 (symlink)
index decddd6..0000000
--- a/src/nc4
+++ /dev/null
@@ -1 +0,0 @@
-nc
\ No newline at end of file

diff --git a/tests/error_redef_class.nit b/tests/error_redef_class.nit
new file mode 100644 (file)
index 0000000..87277d0
--- /dev/null
+++ b/tests/error_redef_class.nit
@@ -0,0 +1,17 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import kernel
+
+redef class Fail end

diff --git a/tests/sav/base_abstract_fun_alt1.res b/tests/sav/base_abstract_fun_alt1.res
index ec6936c..77290ae 100644 (file)
--- a/tests/sav/base_abstract_fun_alt1.res
+++ b/tests/sav/base_abstract_fun_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Deferred method called (alt/base_abstract_fun_alt1.nit:18)
+Runtime error: Abstract method `foo` called on `A` (alt/base_abstract_fun_alt1.nit:18)
 1

diff --git a/tests/sav/base_as_cast_alt1.res b/tests/sav/base_as_cast_alt1.res
index b8bd435..608a97e 100644 (file)
--- a/tests/sav/base_as_cast_alt1.res
+++ b/tests/sav/base_as_cast_alt1.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
+Runtime error: Cast failed. Expected `U`, got `A` (alt/base_as_cast_alt1.nit:45)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt2.res b/tests/sav/base_as_cast_alt2.res
index 4222067..0a574f3 100644 (file)
--- a/tests/sav/base_as_cast_alt2.res
+++ b/tests/sav/base_as_cast_alt2.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
+Runtime error: Cast failed. Expected `B`, got `A` (alt/base_as_cast_alt2.nit:46)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt3.res b/tests/sav/base_as_cast_alt3.res
index 4dcc2ef..f469755 100644 (file)
--- a/tests/sav/base_as_cast_alt3.res
+++ b/tests/sav/base_as_cast_alt3.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
+Runtime error: Cast failed. Expected `Int`, got `A` (alt/base_as_cast_alt3.nit:47)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt4.res b/tests/sav/base_as_cast_alt4.res
index 685be2d..2f864de 100644 (file)
--- a/tests/sav/base_as_cast_alt4.res
+++ b/tests/sav/base_as_cast_alt4.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
+Runtime error: Cast failed. Expected `Comparable`, got `A` (alt/base_as_cast_alt4.nit:48)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt5.res b/tests/sav/base_as_cast_alt5.res
index 802a10c..c5e662d 100644 (file)
--- a/tests/sav/base_as_cast_alt5.res
+++ b/tests/sav/base_as_cast_alt5.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
+Runtime error: Cast failed. Expected `Int`, got `B` (alt/base_as_cast_alt5.nit:57)
 0
 0
 0

diff --git a/tests/sav/base_as_cast_alt6.res b/tests/sav/base_as_cast_alt6.res
index 597f534..16abdb8 100644 (file)
--- a/tests/sav/base_as_cast_alt6.res
+++ b/tests/sav/base_as_cast_alt6.res
@@ -1,6 +1,6 @@
 alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
 alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
+Runtime error: Cast failed. Expected `Comparable`, got `B` (alt/base_as_cast_alt6.nit:58)
 0
 0
 0

diff --git a/tests/sav/base_autocast_alt1.res b/tests/sav/base_autocast_alt1.res
index 1295fbb..64e8ec9 100644 (file)
--- a/tests/sav/base_autocast_alt1.res
+++ b/tests/sav/base_autocast_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (alt/base_autocast_alt1.nit:22)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_autocast_alt1.nit:22)
 1
 2

diff --git a/tests/sav/base_autocast_alt2.res b/tests/sav/base_autocast_alt2.res
index 0c023ba..8788ee7 100644 (file)
--- a/tests/sav/base_autocast_alt2.res
+++ b/tests/sav/base_autocast_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_autocast_alt2.nit:23)
+Runtime error: Cast failed. Expected `V`, got `Int` (alt/base_autocast_alt2.nit:23)
 1
 2
 1

diff --git a/tests/sav/base_conflict_class_name_alt1.res b/tests/sav/base_conflict_class_name_alt1.res
index 461bf28..1a3d5a2 100644 (file)
--- a/tests/sav/base_conflict_class_name_alt1.res
+++ b/tests/sav/base_conflict_class_name_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_class_name_submodule1.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_class_name_submodule1.nit:22)
 1
 2

diff --git a/tests/sav/base_conflict_class_name_alt2.res b/tests/sav/base_conflict_class_name_alt2.res
index a158579..73d0a8a 100644 (file)
--- a/tests/sav/base_conflict_class_name_alt2.res
+++ b/tests/sav/base_conflict_class_name_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_class_name_submodule2.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_class_name_submodule2.nit:22)
 1
 2

diff --git a/tests/sav/base_conflict_submodule_name_alt1.res b/tests/sav/base_conflict_submodule_name_alt1.res
index 720c5a6..c2024f9 100644 (file)
--- a/tests/sav/base_conflict_submodule_name_alt1.res
+++ b/tests/sav/base_conflict_submodule_name_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_submodule_name_submodule1/submodule.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_submodule_name_submodule1/submodule.nit:22)
 1
 2

diff --git a/tests/sav/base_conflict_submodule_name_alt2.res b/tests/sav/base_conflict_submodule_name_alt2.res
index 56cdd15..d848e6e 100644 (file)
--- a/tests/sav/base_conflict_submodule_name_alt2.res
+++ b/tests/sav/base_conflict_submodule_name_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (base_conflict_submodule_name_submodule2/submodule.nit:22)
+Runtime error: Cast failed. Expected `A`, got `A` (base_conflict_submodule_name_submodule2/submodule.nit:22)
 1
 2

diff --git a/tests/sav/base_covar_gen_1alt1_alt1.res b/tests/sav/base_covar_gen_1alt1_alt1.res
index 1387e09..5a6459b 100644 (file)
--- a/tests/sav/base_covar_gen_1alt1_alt1.res
+++ b/tests/sav/base_covar_gen_1alt1_alt1.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_1alt1_alt1.nit:19)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_covar_gen_1alt1_alt1.nit:19)

diff --git a/tests/sav/base_covar_gen_1alt1_alt2.res b/tests/sav/base_covar_gen_1alt1_alt2.res
index 22ec588..1533602 100644 (file)
--- a/tests/sav/base_covar_gen_1alt1_alt2.res
+++ b/tests/sav/base_covar_gen_1alt1_alt2.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_1alt1_alt2.nit:18)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_covar_gen_1alt1_alt2.nit:18)

diff --git a/tests/sav/base_covar_gen_alt3.res b/tests/sav/base_covar_gen_alt3.res
index 74374bf..3c2c470 100644 (file)
--- a/tests/sav/base_covar_gen_alt3.res
+++ b/tests/sav/base_covar_gen_alt3.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_alt3.nit:19)
+Runtime error: Cast failed. Expected `G#0`, got `G[Object]` (alt/base_covar_gen_alt3.nit:19)

diff --git a/tests/sav/base_covar_gen_alt4.res b/tests/sav/base_covar_gen_alt4.res
index b89e885..31237a8 100644 (file)
--- a/tests/sav/base_covar_gen_alt4.res
+++ b/tests/sav/base_covar_gen_alt4.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/base_covar_gen_alt4.nit:18)
+Runtime error: Cast failed. Expected `G#0`, got `G[Object]` (alt/base_covar_gen_alt4.nit:18)

diff --git a/tests/sav/base_covar_int2_alt1.res b/tests/sav/base_covar_int2_alt1.res
index 082b9bb..c2ac479 100644 (file)
--- a/tests/sav/base_covar_int2_alt1.res
+++ b/tests/sav/base_covar_int2_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt1.nit:31)
+Runtime error: Cast failed. Expected `V`, got `Int` (alt/base_covar_int2_alt1.nit:31)
 1
 1

diff --git a/tests/sav/base_covar_int2_alt3.res b/tests/sav/base_covar_int2_alt3.res
index 8ef66ae..3c70f09 100644 (file)
--- a/tests/sav/base_covar_int2_alt3.res
+++ b/tests/sav/base_covar_int2_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt3.nit:31)
+Runtime error: Cast failed. Expected `V`, got `Int` (alt/base_covar_int2_alt3.nit:31)
 1
 1
 1

diff --git a/tests/sav/base_covar_int2_alt5.res b/tests/sav/base_covar_int2_alt5.res
index 37bc196..ad59d12 100644 (file)
--- a/tests/sav/base_covar_int2_alt5.res
+++ b/tests/sav/base_covar_int2_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt5.nit:25)
+Runtime error: Cast failed. Expected `V`, got `Char` (alt/base_covar_int2_alt5.nit:25)
 1
 1
 1

diff --git a/tests/sav/base_covar_int_alt1.res b/tests/sav/base_covar_int_alt1.res
index 26a6daf..19eee4c 100644 (file)
--- a/tests/sav/base_covar_int_alt1.res
+++ b/tests/sav/base_covar_int_alt1.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:433)
+Runtime error: Cast failed. Expected `OTHER`, got `Int` (../lib/standard/kernel.nit:433)
 true
 true

diff --git a/tests/sav/base_covar_int_alt3.res b/tests/sav/base_covar_int_alt3.res
index 15f4701..cf10fad 100644 (file)
--- a/tests/sav/base_covar_int_alt3.res
+++ b/tests/sav/base_covar_int_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:433)
+Runtime error: Cast failed. Expected `OTHER`, got `Int` (../lib/standard/kernel.nit:433)
 true
 true
 true

diff --git a/tests/sav/base_covar_int_alt5.res b/tests/sav/base_covar_int_alt5.res
index eaf44f6..02e4d88 100644 (file)
--- a/tests/sav/base_covar_int_alt5.res
+++ b/tests/sav/base_covar_int_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:257)
+Runtime error: Cast failed. Expected `OTHER`, got `Char` (../lib/standard/kernel.nit:257)
 true
 true
 true

diff --git a/tests/sav/base_gen_reassign_alt1.res b/tests/sav/base_gen_reassign_alt1.res
index e41e8af..e789485 100644 (file)
--- a/tests/sav/base_gen_reassign_alt1.res
+++ b/tests/sav/base_gen_reassign_alt1.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt1.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt1.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt2.res b/tests/sav/base_gen_reassign_alt2.res
index 37bc710..b8b97b2 100644 (file)
--- a/tests/sav/base_gen_reassign_alt2.res
+++ b/tests/sav/base_gen_reassign_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt2.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt2.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt4.res b/tests/sav/base_gen_reassign_alt4.res
index 75b5a77..2e6e40b 100644 (file)
--- a/tests/sav/base_gen_reassign_alt4.res
+++ b/tests/sav/base_gen_reassign_alt4.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt4.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt4.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt5.res b/tests/sav/base_gen_reassign_alt5.res
index 26d0b6a..3c233b9 100644 (file)
--- a/tests/sav/base_gen_reassign_alt5.res
+++ b/tests/sav/base_gen_reassign_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt5.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt5.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_reassign_alt6.res b/tests/sav/base_gen_reassign_alt6.res
index a23dbe8..dd598d3 100644 (file)
--- a/tests/sav/base_gen_reassign_alt6.res
+++ b/tests/sav/base_gen_reassign_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_reassign_alt6.nit:23)
+Runtime error: Cast failed. Expected `G#0`, got `Int` (alt/base_gen_reassign_alt6.nit:23)
 11
 21
 31

diff --git a/tests/sav/base_gen_variance2_alt1.res b/tests/sav/base_gen_variance2_alt1.res
index 402daaf..1ad479a 100644 (file)
--- a/tests/sav/base_gen_variance2_alt1.res
+++ b/tests/sav/base_gen_variance2_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed (alt/base_gen_variance2_alt1.nit:27)
+Runtime error: Cast failed. Expected `G#0`, got `B` (alt/base_gen_variance2_alt1.nit:27)
 3

diff --git a/tests/sav/base_gen_variance2_alt2.res b/tests/sav/base_gen_variance2_alt2.res
index 7a12258..2528c5e 100644 (file)
--- a/tests/sav/base_gen_variance2_alt2.res
+++ b/tests/sav/base_gen_variance2_alt2.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed (alt/base_gen_variance2_alt2.nit:27)
+Runtime error: Cast failed. Expected `G#0`, got `D` (alt/base_gen_variance2_alt2.nit:27)
 3

diff --git a/tests/sav/base_gen_variance3_alt1.res b/tests/sav/base_gen_variance3_alt1.res
index 263544e..26d887d 100644 (file)
--- a/tests/sav/base_gen_variance3_alt1.res
+++ b/tests/sav/base_gen_variance3_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed (alt/base_gen_variance3_alt1.nit:27)
+Runtime error: Cast failed. Expected `G#0`, got `D` (alt/base_gen_variance3_alt1.nit:27)
 2

diff --git a/tests/sav/base_gen_variance_alt2.res b/tests/sav/base_gen_variance_alt2.res
index 827d055..db3b9c2 100644 (file)
--- a/tests/sav/base_gen_variance_alt2.res
+++ b/tests/sav/base_gen_variance_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt2.nit:60)
+Runtime error: Cast failed. Expected `B`, got `C` (alt/base_gen_variance_alt2.nit:60)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt3.res b/tests/sav/base_gen_variance_alt3.res
index 5637463..a81c369 100644 (file)
--- a/tests/sav/base_gen_variance_alt3.res
+++ b/tests/sav/base_gen_variance_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt3.nit:18)
+Runtime error: Cast failed. Expected `nullable G#0`, got `C` (alt/base_gen_variance_alt3.nit:18)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt5.res b/tests/sav/base_gen_variance_alt5.res
index fb8381e..0652137 100644 (file)
--- a/tests/sav/base_gen_variance_alt5.res
+++ b/tests/sav/base_gen_variance_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt5.nit:97)
+Runtime error: Cast failed. Expected `G[B]`, got `G[C]` (alt/base_gen_variance_alt5.nit:97)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt6.res b/tests/sav/base_gen_variance_alt6.res
index 3bf0896..8b857dc 100644 (file)
--- a/tests/sav/base_gen_variance_alt6.res
+++ b/tests/sav/base_gen_variance_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt6.nit:18)
+Runtime error: Cast failed. Expected `nullable G#0`, got `G[C]` (alt/base_gen_variance_alt6.nit:18)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt7.res b/tests/sav/base_gen_variance_alt7.res
index 662501c..4fb270c 100644 (file)
--- a/tests/sav/base_gen_variance_alt7.res
+++ b/tests/sav/base_gen_variance_alt7.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt7.nit:112)
+Runtime error: Cast failed. Expected `G[B]`, got `G[A]` (alt/base_gen_variance_alt7.nit:112)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_alt8.res b/tests/sav/base_gen_variance_alt8.res
index 02f0620..89e8b84 100644 (file)
--- a/tests/sav/base_gen_variance_alt8.res
+++ b/tests/sav/base_gen_variance_alt8.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_gen_variance_alt8.nit:18)
+Runtime error: Cast failed. Expected `nullable G#0`, got `G[A]` (alt/base_gen_variance_alt8.nit:18)
 2
 20
 2

diff --git a/tests/sav/base_gen_variance_int_alt1.res b/tests/sav/base_gen_variance_int_alt1.res
index d686605..3057795 100644 (file)
--- a/tests/sav/base_gen_variance_int_alt1.res
+++ b/tests/sav/base_gen_variance_int_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed (alt/base_gen_variance_int_alt1.nit:27)
+Runtime error: Cast failed. Expected `G#0`, got `Char` (alt/base_gen_variance_int_alt1.nit:27)
 2

diff --git a/tests/sav/base_virtual_int2_alt2.res b/tests/sav/base_virtual_int2_alt2.res
index 2dbe41a..f7665f5 100644 (file)
--- a/tests/sav/base_virtual_int2_alt2.res
+++ b/tests/sav/base_virtual_int2_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (alt/base_virtual_int2_alt2.nit:25)
+Runtime error: Cast failed. Expected `V`, got `Char` (alt/base_virtual_int2_alt2.nit:25)
 4
 4

diff --git a/tests/sav/base_virtual_int_alt2.res b/tests/sav/base_virtual_int_alt2.res
index 5b7dc29..7d83297 100644 (file)
--- a/tests/sav/base_virtual_int_alt2.res
+++ b/tests/sav/base_virtual_int_alt2.res
@@ -1,3 +1,3 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit:256)
+Runtime error: Cast failed. Expected `OTHER`, got `Char` (../lib/standard/kernel.nit:256)
 true
 true

diff --git a/tests/sav/base_virtual_type_check_alt10.res b/tests/sav/base_virtual_type_check_alt10.res
index 727b8b4..ccbaa86 100644 (file)
--- a/tests/sav/base_virtual_type_check_alt10.res
+++ b/tests/sav/base_virtual_type_check_alt10.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_check_alt10.nit:37)
+Runtime error: Cast failed. Expected `U`, got `K` (alt/base_virtual_type_check_alt10.nit:37)
 J<Tfalse
 J<Ufalse
 K<Ttrue

diff --git a/tests/sav/base_virtual_type_check_alt8.res b/tests/sav/base_virtual_type_check_alt8.res
index 9f2fb2d..4012fcb 100644 (file)
--- a/tests/sav/base_virtual_type_check_alt8.res
+++ b/tests/sav/base_virtual_type_check_alt8.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_check_alt8.nit:30)
+Runtime error: Cast failed. Expected `T`, got `K` (alt/base_virtual_type_check_alt8.nit:30)
 J<Tfalse
 J<Ufalse
 K<Ttrue

diff --git a/tests/sav/base_virtual_type_variance_alt2.res b/tests/sav/base_virtual_type_variance_alt2.res
index 1f934c0..55f2a76 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt2.res
+++ b/tests/sav/base_virtual_type_variance_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt2.nit:83)
+Runtime error: Cast failed. Expected `B`, got `C` (alt/base_virtual_type_variance_alt2.nit:83)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt3.res b/tests/sav/base_virtual_type_variance_alt3.res
index 52a7d99..fe0835a 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt3.res
+++ b/tests/sav/base_virtual_type_variance_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt3.nit:19)
+Runtime error: Cast failed. Expected `nullable E`, got `C` (alt/base_virtual_type_variance_alt3.nit:19)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt5.res b/tests/sav/base_virtual_type_variance_alt5.res
index 68bcfaa..7e4af65 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt5.res
+++ b/tests/sav/base_virtual_type_variance_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt5.nit:120)
+Runtime error: Cast failed. Expected `GB`, got `GC` (alt/base_virtual_type_variance_alt5.nit:120)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt6.res b/tests/sav/base_virtual_type_variance_alt6.res
index 9ad8c1d..3f037ef 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt6.res
+++ b/tests/sav/base_virtual_type_variance_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt6.nit:19)
+Runtime error: Cast failed. Expected `nullable E`, got `GC` (alt/base_virtual_type_variance_alt6.nit:19)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt7.res b/tests/sav/base_virtual_type_variance_alt7.res
index b4aba7a..4cf450f 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt7.res
+++ b/tests/sav/base_virtual_type_variance_alt7.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt7.nit:135)
+Runtime error: Cast failed. Expected `GB`, got `GA` (alt/base_virtual_type_variance_alt7.nit:135)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_alt8.res b/tests/sav/base_virtual_type_variance_alt8.res
index 83c7350..42666db 100644 (file)
--- a/tests/sav/base_virtual_type_variance_alt8.res
+++ b/tests/sav/base_virtual_type_variance_alt8.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_alt8.nit:19)
+Runtime error: Cast failed. Expected `nullable E`, got `GA` (alt/base_virtual_type_variance_alt8.nit:19)
 2
 20
 2

diff --git a/tests/sav/base_virtual_type_variance_int_alt1.res b/tests/sav/base_virtual_type_variance_int_alt1.res
index 0dfe9a6..c99b400 100644 (file)
--- a/tests/sav/base_virtual_type_variance_int_alt1.res
+++ b/tests/sav/base_virtual_type_variance_int_alt1.res
@@ -1,2 +1,2 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_int_alt1.nit:29)
+Runtime error: Cast failed. Expected `E`, got `Char` (alt/base_virtual_type_variance_int_alt1.nit:29)
 2

diff --git a/tests/sav/error_redef_class.res b/tests/sav/error_redef_class.res
new file mode 100644 (file)
index 0000000..92458a1
--- /dev/null
+++ b/tests/sav/error_redef_class.res
@@ -0,0 +1 @@
+error_redef_class.nit:17,13--16: Redef error: No imported class Fail to refine.

diff --git a/tests/sav/nitg-e/base_class_name.res b/tests/sav/nitg-e/base_class_name.res
new file mode 100644 (file)
index 0000000..84e61ef
--- /dev/null
+++ b/tests/sav/nitg-e/base_class_name.res
@@ -0,0 +1,6 @@
+String
+Int
+Test
+Test
+MyArray
+TotoToto

diff --git a/tests/sav/nitg-e/base_gen_variance2_alt2.res b/tests/sav/nitg-e/base_gen_variance2_alt2.res
new file mode 100644 (file)
index 0000000..8e5730c
--- /dev/null
+++ b/tests/sav/nitg-e/base_gen_variance2_alt2.res
@@ -0,0 +1,5 @@
+3
+100
+!3
+!2
+!100

diff --git a/tests/sav/nitg-e/base_iterator1.res b/tests/sav/nitg-e/base_iterator1.res
deleted file mode 100644 (file)
index 4c16bf2..0000000
--- a/tests/sav/nitg-e/base_iterator1.res
+++ /dev/null
@@ -1,6 +0,0 @@
-Riri
-Fidi
-Loulou
-Riri: R,i,r,i
-Fifi: F,i,f,i
-Loulou: L,o,u,l,o,u

diff --git a/tests/sav/nitg-e/base_iterator2.res b/tests/sav/nitg-e/base_iterator2.res
deleted file mode 100644 (file)
index 1321151..0000000
--- a/tests/sav/nitg-e/base_iterator2.res
+++ /dev/null
@@ -1,6 +0,0 @@
-Item0
-Item1
-Item2
-Key0:Item0
-Key1:Item1
-Key2:Item2

diff --git a/tests/sav/nitg-e/base_iterator3.res b/tests/sav/nitg-e/base_iterator3.res
deleted file mode 100644 (file)
index 61a23fc..0000000
--- a/tests/sav/nitg-e/base_iterator3.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_iterator3.nit:37,1--25: Type Error: Expected method 'iterator' to return an Iterator of MapIterator type
-base_iterator3.nit:41,1--25: Type Error: Expected method 'iterator' to return an Iterator or MapIterator type
-base_iterator3.nit:45,1--25: Type Error: Expected method 'iterator' in type Test3
-base_iterator3.nit:48,1--48: Type Error: Expected one variable
-base_iterator3.nit:49,1--47: Type Error: Expected two variables

diff --git a/tests/sav/nitg-e/base_output_class_name.res b/tests/sav/nitg-e/base_output_class_name.res
new file mode 100644 (file)
index 0000000..e4b4d77
--- /dev/null
+++ b/tests/sav/nitg-e/base_output_class_name.res
@@ -0,0 +1,6 @@
+Char
+Int
+Test
+Test
+MyArray
+0
\ No newline at end of file

diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt4.res b/tests/sav/nitg-e/error_expr_not_ok_alt4.res
deleted file mode 100644 (file)
index 544d47c..0000000
--- a/tests/sav/nitg-e/error_expr_not_ok_alt4.res
+++ /dev/null
@@ -1,109 +0,0 @@
-alt/error_expr_not_ok_alt4.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt4.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt4.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt4.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt4.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt4.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:41,16--19: Type error: expected Int, got Object
-alt/error_expr_not_ok_alt4.nit:42,7--9: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:45,7--10: Type error: expected A, got Object
-alt/error_expr_not_ok_alt4.nit:46,1--9: Error: Method 'fail' doesn't exists in Object.
-alt/error_expr_not_ok_alt4.nit:49,7--10: Type error: expected A, got Object
-alt/error_expr_not_ok_alt4.nit:50,1--10: Error: Incorrect number of parameters. Got 0, expected 1. Signature is (x: A)
-alt/error_expr_not_ok_alt4.nit:60,4--7: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:60,20: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:62,10--13: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:62,7--27: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:63,7--30: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:64,7--33: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:66,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:66,21: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
-alt/error_expr_not_ok_alt4.nit:69,24: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
-alt/error_expr_not_ok_alt4.nit:71,8--11: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:72,7--15: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:73,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:73,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:74,15--18: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:74,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:75,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:75,15--18: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:75,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:76,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:76,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:77,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:77,16--19: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:77,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:78,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:78,16--19: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:78,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:79,11--14: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt4.nit:79,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:80,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:81,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:82,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:83,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:84,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:85,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:86,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:87,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:88,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:89,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:90,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:91,7--17: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:92,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:93,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:94,7--17: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:95,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:96,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:97,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:98,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:99,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:100,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt4.nit:101,7--16: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:102,7--16: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:103,7--19: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:104,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:105,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:106,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:107,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:108,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:109,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:110,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:111,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:112,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:113,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:114,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:115,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:116,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:117,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:118,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:119,7--11: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt4.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt4.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt4.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:131,7--15: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
-alt/error_expr_not_ok_alt4.nit:139,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt4.nit:140,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt4.nit:141,7--18: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt4.nit:142,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt4.nit:143,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt4.nit:144,7--18: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt4.nit:145,7--15: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt4.nit:146,7--15: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt4.nit:147,7--18: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt4.nit:149,7--24: Type error: expected A, got String
-alt/error_expr_not_ok_alt4.nit:150,7--18: Warning: Expression is already a Int.
-alt/error_expr_not_ok_alt4.nit:150,7--18: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:151,7--23: Type error: expected A, got Int
-alt/error_expr_not_ok_alt4.nit:152,7--18: Warning: Expression is already a Int.
-alt/error_expr_not_ok_alt4.nit:152,7--18: Type error: expected A, got Bool

diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt5.res b/tests/sav/nitg-e/error_expr_not_ok_alt5.res
deleted file mode 100644 (file)
index ead84b9..0000000
--- a/tests/sav/nitg-e/error_expr_not_ok_alt5.res
+++ /dev/null
@@ -1,105 +0,0 @@
-alt/error_expr_not_ok_alt5.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt5.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt5.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt5.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt5.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt5.nit:37,8--15: Error: Method or variable 'fail2' unknown in Sys.
-alt/error_expr_not_ok_alt5.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:42,7--9: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:60,4--7: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:60,20: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:62,10--13: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:62,7--27: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:63,7--30: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:64,7--33: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:66,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:66,21: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
-alt/error_expr_not_ok_alt5.nit:69,24: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
-alt/error_expr_not_ok_alt5.nit:71,8--11: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:72,7--15: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:73,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:73,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:74,15--18: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:74,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:75,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:75,15--18: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:75,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:76,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:76,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:77,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:77,16--19: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:77,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:78,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:78,16--19: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:78,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:79,11--14: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt5.nit:79,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:80,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:81,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:82,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:83,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:84,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:85,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:86,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:87,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:88,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:89,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:90,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:91,7--17: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:92,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:93,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:94,7--17: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:95,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:96,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:97,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:98,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:99,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:100,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt5.nit:101,7--16: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:102,7--16: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:103,7--19: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:104,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:105,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:106,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:107,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:108,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:109,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:110,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:111,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:112,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:113,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:114,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:115,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:116,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:117,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:118,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:119,7--11: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt5.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt5.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt5.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:131,7--15: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
-alt/error_expr_not_ok_alt5.nit:139,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt5.nit:140,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt5.nit:141,7--18: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt5.nit:142,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt5.nit:143,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt5.nit:144,7--18: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt5.nit:145,7--15: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt5.nit:146,7--15: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt5.nit:147,7--18: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt5.nit:149,7--24: Type error: expected A, got String
-alt/error_expr_not_ok_alt5.nit:150,7--18: Warning: Expression is already a Int.
-alt/error_expr_not_ok_alt5.nit:150,7--18: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:151,7--23: Type error: expected A, got Int
-alt/error_expr_not_ok_alt5.nit:152,7--18: Warning: Expression is already a Int.
-alt/error_expr_not_ok_alt5.nit:152,7--18: Type error: expected A, got Bool

diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt6.res b/tests/sav/nitg-e/error_expr_not_ok_alt6.res
deleted file mode 100644 (file)
index afbbbd8..0000000
--- a/tests/sav/nitg-e/error_expr_not_ok_alt6.res
+++ /dev/null
@@ -1,109 +0,0 @@
-alt/error_expr_not_ok_alt6.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt6.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt6.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt6.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt6.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
-alt/error_expr_not_ok_alt6.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:41,16--19: Type error: expected Int, got null
-alt/error_expr_not_ok_alt6.nit:42,7--9: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:45,7--10: Type error: expected A, got null
-alt/error_expr_not_ok_alt6.nit:46,1--9: Error: Method 'fail' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:49,7--10: Type error: expected A, got null
-alt/error_expr_not_ok_alt6.nit:50,1--10: Error: Method 'trash' call on 'null'.
-alt/error_expr_not_ok_alt6.nit:60,4--7: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:60,20: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:62,10--13: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:62,7--27: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:63,7--30: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:64,7--33: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:66,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:66,21: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
-alt/error_expr_not_ok_alt6.nit:69,24: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
-alt/error_expr_not_ok_alt6.nit:71,8--11: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:72,7--15: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:73,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:73,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:74,15--18: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:74,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:75,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:75,15--18: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:75,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:76,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:76,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:77,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:77,16--19: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:77,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:78,7--10: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:78,16--19: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:78,7--19: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:79,11--14: Type error: expected Bool, got Int
-alt/error_expr_not_ok_alt6.nit:79,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:80,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:81,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:82,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:83,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:84,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:85,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:86,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:87,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:88,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:89,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:90,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:91,7--17: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:92,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:93,7--14: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:94,7--17: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:95,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:96,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:97,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:98,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:99,7--15: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:100,7--18: Type error: expected A, got Bool
-alt/error_expr_not_ok_alt6.nit:101,7--16: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:102,7--16: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:103,7--19: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:104,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:105,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:106,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:107,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:108,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:109,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:110,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:111,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:112,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:113,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:114,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:115,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:116,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:117,7--14: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:118,7--17: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:119,7--11: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt6.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt6.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
-alt/error_expr_not_ok_alt6.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:131,7--15: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
-alt/error_expr_not_ok_alt6.nit:139,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt6.nit:140,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt6.nit:141,7--18: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt6.nit:142,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt6.nit:143,7--15: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt6.nit:144,7--18: Type error: expected A, got Range[Int]
-alt/error_expr_not_ok_alt6.nit:145,7--15: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt6.nit:146,7--15: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt6.nit:147,7--18: Type error: expected A, got Array[Int]
-alt/error_expr_not_ok_alt6.nit:149,7--24: Type error: expected A, got String
-alt/error_expr_not_ok_alt6.nit:150,7--18: Warning: Expression is already a Int.
-alt/error_expr_not_ok_alt6.nit:150,7--18: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:151,7--23: Type error: expected A, got Int
-alt/error_expr_not_ok_alt6.nit:152,7--18: Warning: Expression is already a Int.
-alt/error_expr_not_ok_alt6.nit:152,7--18: Type error: expected A, got Bool

diff --git a/tests/sav/nitg-e/error_needed_method_alt2.res b/tests/sav/nitg-e/error_needed_method_alt2.res
deleted file mode 100644 (file)
index 557ff19..0000000
--- a/tests/sav/nitg-e/error_needed_method_alt2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_needed_method_alt2.nit:47,10--27: Error: Method 'init' doesn't exists in Collection[Int].
-alt/error_needed_method_alt2.nit:47,1--40: Type Error: Expected method 'iterator' in type Collection[Int]

diff --git a/tests/sav/nitg-e/error_needed_types_alt8.res b/tests/sav/nitg-e/error_needed_types_alt8.res
deleted file mode 100644 (file)
index e0c62db..0000000
--- a/tests/sav/nitg-e/error_needed_types_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt8.nit:21,1--22,3: Type Error: Expected method 'iterator' in type L

diff --git a/tests/sav/nitg-e/fixme/base_virtual_type_check.res b/tests/sav/nitg-e/fixme/base_virtual_type_check.res
deleted file mode 100644 (file)
index b0af044..0000000
--- a/tests/sav/nitg-e/fixme/base_virtual_type_check.res
+++ /dev/null
@@ -1,26 +0,0 @@
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-K<U
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U

diff --git a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt10.res b/tests/sav/nitg-e/fixme/base_virtual_type_check_alt10.res
deleted file mode 100644 (file)
index fb736c7..0000000
--- a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt10.res
+++ /dev/null
@@ -1,27 +0,0 @@
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-K<U
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-K<U
-L<U

diff --git a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt8.res b/tests/sav/nitg-e/fixme/base_virtual_type_check_alt8.res
deleted file mode 100644 (file)
index 2c6e47e..0000000
--- a/tests/sav/nitg-e/fixme/base_virtual_type_check_alt8.res
+++ /dev/null
@@ -1,27 +0,0 @@
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-K<U
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Ttrue
-K<Utrue
-L<Ttrue
-L<Utrue
-K<T
-L<T
-L<U

diff --git a/tests/sav/rterror_attr_def_alt4.res b/tests/sav/rterror_attr_def_alt4.res
index 2aaedf3..b543aee 100644 (file)
--- a/tests/sav/rterror_attr_def_alt4.res
+++ b/tests/sav/rterror_attr_def_alt4.res
@@ -1 +1 @@
-Runtime error: Cast failed (alt/rterror_attr_def_alt4.nit:28)
+Runtime error: Cast failed. Expected `I`, got `Char` (alt/rterror_attr_def_alt4.nit:28)

diff --git a/tests/sav/test_variance_param_alt1.res b/tests/sav/test_variance_param_alt1.res
index a74fbad..7cba780 100644 (file)
--- a/tests/sav/test_variance_param_alt1.res
+++ b/tests/sav/test_variance_param_alt1.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt1.nit:32)
+Runtime error: Cast failed. Expected `T`, got `A` (alt/test_variance_param_alt1.nit:32)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt2.res b/tests/sav/test_variance_param_alt2.res
index 7b413dc..1b12a7b 100644 (file)
--- a/tests/sav/test_variance_param_alt2.res
+++ b/tests/sav/test_variance_param_alt2.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt2.nit:33)
+Runtime error: Cast failed. Expected `U`, got `B` (alt/test_variance_param_alt2.nit:33)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt3.res b/tests/sav/test_variance_param_alt3.res
index ff011a1..002d4fe 100644 (file)
--- a/tests/sav/test_variance_param_alt3.res
+++ b/tests/sav/test_variance_param_alt3.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt3.nit:43)
+Runtime error: Cast failed. Expected `T`, got `A` (alt/test_variance_param_alt3.nit:43)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt4.res b/tests/sav/test_variance_param_alt4.res
index 31712f0..dbe4257 100644 (file)
--- a/tests/sav/test_variance_param_alt4.res
+++ b/tests/sav/test_variance_param_alt4.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt4.nit:43)
+Runtime error: Cast failed. Expected `T`, got `B` (alt/test_variance_param_alt4.nit:43)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt5.res b/tests/sav/test_variance_param_alt5.res
index 919856b..94ea11b 100644 (file)
--- a/tests/sav/test_variance_param_alt5.res
+++ b/tests/sav/test_variance_param_alt5.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt5.nit:44)
+Runtime error: Cast failed. Expected `U`, got `B` (alt/test_variance_param_alt5.nit:44)
 AB5
 B5
 5

diff --git a/tests/sav/test_variance_param_alt6.res b/tests/sav/test_variance_param_alt6.res
index d54a249..49151db 100644 (file)
--- a/tests/sav/test_variance_param_alt6.res
+++ b/tests/sav/test_variance_param_alt6.res
@@ -1,4 +1,4 @@
-Runtime error: Cast failed (alt/test_variance_param_alt6.nit:43)
+Runtime error: Cast failed. Expected `T`, got `B` (alt/test_variance_param_alt6.nit:43)
 AB5
 B5
 5

diff --git a/tests/tests.sh b/tests/tests.sh
index e9870ab..57f0a37 100755 (executable)
--- a/tests/tests.sh
+++ b/tests/tests.sh
@@ -299,6 +299,14 @@ case $engine in
                enginebinname=nit
                savdirs="sav/$engine/fixme/ sav/$engine/ sav/fixme/ sav/"
                ;;
+       nitc)
+               echo "disabled engine $engine"
+               exit 0
+               ;;
+       *)
+               echo "unknown engine $engine"
+               exit 1
+               ;;
 esac
 
 # The default nitc compiler