tests: remove old nitc

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

diff --git a/tests/Makefile b/tests/Makefile
index 42c6c72..bf9d576 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -1,19 +1,13 @@
 
-PROGS=*.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/shoot_logic.nit ../lib/*.nit ../src/nitdoc.nit ../src/nits.nit ../src/nitc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit
+PROGS=*.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/shoot_logic.nit ../lib/*.nit ../src/nitdoc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit
 
-all: separate niti nitg-g nitg-s
+all: niti nitg-g nitg-s
 
-alot: separate global niti nitg-g nitg-s nitg-s-bm nitg-s-phmod nitg-s-phand nitg-e nitg-e-bm nitg-e-phmod nitg-e-phand icode
-
-separate:
-       ./testfull.sh
+alot: niti nitg-g nitg-s nitg-s-bm nitg-s-phmod nitg-s-phand nitg-e nitg-e-bm nitg-e-phmod nitg-e-phand icode
 
 some:
        ./tests.sh base_compile.nit base_attr.nit base_gen.nit test_gen_inh.nit bench_fib.nit example_objet.nit
 
-global:
-       ./testfull.sh -o --global
-
 niti:
        ./testfull.sh --engine niti
 
@@ -44,9 +38,6 @@ nitg-e-phmod:
 nitg-e-phand:
        ./testfull.sh --engine nitg-e -o --phand-typing
 
-icode:
-       ./tests_icode.sh icode*.nit
-
 failed:
        @[ ! -s errlist ] && echo 'No failed tests to execute' ; true
        @[ -s errlist ] && ./tests.sh `cat errlist | sort -u` ; true

diff --git a/tests/nitc.args b/tests/nitc.args
deleted file mode 100644 (file)
index 40e2a1e..0000000
--- a/tests/nitc.args
+++ /dev/null
@@ -1,2 +0,0 @@
---log --log-dir out/test_nitc_logs ../examples/hello_world.nit -o out/nitc-hello_world ; out/nitc-hello_world
-base_simple3.nit -o out/nitc-base_simple3 ; out/nitc-base_simple3

diff --git a/tests/nitc.skip b/tests/nitc.skip
deleted file mode 100644 (file)
index 50ba553..0000000
--- a/tests/nitc.skip
+++ /dev/null
@@ -1 +0,0 @@
-test_ffi_c_casts

diff --git a/tests/sav/nitc.res b/tests/sav/nitc.res
deleted file mode 100644 (file)
index bc659d0..0000000
--- a/tests/sav/nitc.res
+++ /dev/null
@@ -1,32 +0,0 @@
-usage: nitc [options] file...
-  -W, --warn                      Show warnings
-  -q, --quiet                     Do not show warnings
-  --stop-on-first-error           Stop on first error
-  --no-color                      Do not use color to display errors and warnings
-  --log                           Generate various log files
-  --log-dir                       Directory where to generate log files
-  -h, -?, --help                  Show Help (This screen)
-  --version                       Show version and exit
-  -v, --verbose                   Verbose
-  -I, --path                      Set include path for loaders (may be used more than once)
-  --only-parse                    Only proceed to parse step of loaders
-  --only-metamodel                Stop after meta-model processing
-  --global                        Use global compilation
-  --no-global-SFT-optimization    Do not use SFT optimization
-  --no-global-DMR-optimization    Do not use dead method removal optimization
-  --global-callgraph              The algorithm to use to build the callgraph <none, cha, rta>
-  --no-global-get-set-inlining    Do not automatically inline getters/setters
-  --no-global-RFIM-analysis       Do not use a specialized algorithm to find reachable methods from initializers
-  --no-global-OOIT-optimization   Do not remove get tests outside object initialization
-  -o, --output                    Output file
-  -O, --boost                     Optimize compilation
-  --no-cc                         Do not invoke C compiler
-  --cc-no-link                    Do not invoke C linker
-  --cc-lib-name                   Name of library to use for C compiler
-  --cc-lib-path                   Path to libraries for C compiler
-  --cc-header-path                Path to .h files for C compiler
-  --clibdir                       NIT C library directory
-  --bindir                        NIT tools directory
-  --compdir                       Intermediate compilation directory
-  -p, --extension-prefix          Append prefix to file extension
-  --output-format                 The type of code we want to be generated <none, C, icode>

diff --git a/tests/sav/nitc/base_array_alt1.res b/tests/sav/nitc/base_array_alt1.res
deleted file mode 100644 (file)
index 594b678..0000000
--- a/tests/sav/nitc/base_array_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_array_alt1.nit:27,14--17: Type error: no most general type. Got Bool and Int at 27,10--11.

diff --git a/tests/sav/nitc/base_as_notnull.res b/tests/sav/nitc/base_as_notnull.res
deleted file mode 100644 (file)
index f19582e..0000000
--- a/tests/sav/nitc/base_as_notnull.res
+++ /dev/null
@@ -1,14 +0,0 @@
-base_as_notnull.nit:41,6: Warning: 'as(not null)' on non nullable type.
-base_as_notnull.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-base_as_notnull.nit:43,6: Warning: 'as(not null)' on non nullable type.
-base_as_notnull.nit:52,6: Warning: 'as(not null)' on non nullable type.
-1
-2
-3
-4
-5
-6
-
-3
-6
-

diff --git a/tests/sav/nitc/base_as_notnull_alt1.res b/tests/sav/nitc/base_as_notnull_alt1.res
deleted file mode 100644 (file)
index bfed027..0000000
--- a/tests/sav/nitc/base_as_notnull_alt1.res
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/base_as_notnull_alt1.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt1.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt1.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt1.nit:50,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt1.nit:50,6--19: Type error: expected B, got A
-alt/base_as_notnull_alt1.nit:52,6: Warning: 'as(not null)' on non nullable type.

diff --git a/tests/sav/nitc/base_as_notnull_alt2.res b/tests/sav/nitc/base_as_notnull_alt2.res
deleted file mode 100644 (file)
index 74ca258..0000000
--- a/tests/sav/nitc/base_as_notnull_alt2.res
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/base_as_notnull_alt2.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt2.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt2.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt2.nit:51,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt2.nit:51,6--20: Type error: expected B, got A
-alt/base_as_notnull_alt2.nit:52,6: Warning: 'as(not null)' on non nullable type.

diff --git a/tests/sav/nitc/base_as_notnull_alt3.res b/tests/sav/nitc/base_as_notnull_alt3.res
deleted file mode 100644 (file)
index 3c376b1..0000000
--- a/tests/sav/nitc/base_as_notnull_alt3.res
+++ /dev/null
@@ -1,5 +0,0 @@
-alt/base_as_notnull_alt3.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt3.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt3.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt3.nit:52,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt3.nit:53,6--20: Type error: expected B, got A

diff --git a/tests/sav/nitc/base_as_notnull_alt4.res b/tests/sav/nitc/base_as_notnull_alt4.res
deleted file mode 100644 (file)
index bc2fd16..0000000
--- a/tests/sav/nitc/base_as_notnull_alt4.res
+++ /dev/null
@@ -1,5 +0,0 @@
-alt/base_as_notnull_alt4.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt4.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt4.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt4.nit:52,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt4.nit:54,6--21: Type error: expected B, got A

diff --git a/tests/sav/nitc/base_as_notnull_alt5.res b/tests/sav/nitc/base_as_notnull_alt5.res
deleted file mode 100644 (file)
index 8fd3cb1..0000000
--- a/tests/sav/nitc/base_as_notnull_alt5.res
+++ /dev/null
@@ -1,15 +0,0 @@
-alt/base_as_notnull_alt5.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt5.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt5.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt5.nit:52,6: Warning: 'as(not null)' on non nullable type.
-Runtime error: Cast failed (alt/base_as_notnull_alt5.nit:59)
-1
-2
-3
-4
-5
-6
-
-3
-6
-

diff --git a/tests/sav/nitc/base_as_notnull_alt6.res b/tests/sav/nitc/base_as_notnull_alt6.res
deleted file mode 100644 (file)
index 219d174..0000000
--- a/tests/sav/nitc/base_as_notnull_alt6.res
+++ /dev/null
@@ -1,15 +0,0 @@
-alt/base_as_notnull_alt6.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt6.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt6.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt6.nit:52,6: Warning: 'as(not null)' on non nullable type.
-Runtime error: Cast failed (alt/base_as_notnull_alt6.nit:60)
-1
-2
-3
-4
-5
-6
-
-3
-6
-

diff --git a/tests/sav/nitc/base_as_notnull_alt7.res b/tests/sav/nitc/base_as_notnull_alt7.res
deleted file mode 100644 (file)
index 198847b..0000000
--- a/tests/sav/nitc/base_as_notnull_alt7.res
+++ /dev/null
@@ -1,5 +0,0 @@
-alt/base_as_notnull_alt7.nit:41,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt7.nit:42,6--7: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt7.nit:43,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt7.nit:52,6: Warning: 'as(not null)' on non nullable type.
-alt/base_as_notnull_alt7.nit:61,1--4: Type error: 'as(not null)' on 'null' value.

diff --git a/tests/sav/nitc/base_attr3_alt1.res b/tests/sav/nitc/base_attr3_alt1.res
deleted file mode 100644 (file)
index bc181e7..0000000
--- a/tests/sav/nitc/base_attr3_alt1.res
+++ /dev/null
@@ -1,10 +0,0 @@
-alt/base_attr3_alt1.nit:22,3--8: Visibility error: Property base_attr2::A::a1= is private.
-alt/base_attr3_alt1.nit:24,3--8: Visibility error: Property base_attr2::A::a2= is private.
-alt/base_attr3_alt1.nit:25,3--4: Visibility error: Property base_attr2::A::a3 is private.
-alt/base_attr3_alt1.nit:26,3--8: Visibility error: Property base_attr2::A::a3= is private.
-alt/base_attr3_alt1.nit:31,3--4: Visibility error: Property base_attr2::A::a6 is private.
-alt/base_attr3_alt1.nit:37,3--4: Visibility error: Property base_attr2::A::a9 is private.
-alt/base_attr3_alt1.nit:40,3--9: Visibility error: Property base_attr2::A::a10= is private.
-alt/base_attr3_alt1.nit:42,3--9: Visibility error: Property base_attr2::A::a11= is private.
-alt/base_attr3_alt1.nit:43,3--5: Visibility error: Property base_attr2::A::a12 is private.
-alt/base_attr3_alt1.nit:44,3--9: Visibility error: Property base_attr2::A::a12= is private.

diff --git a/tests/sav/nitc/base_attr3_alt2.res b/tests/sav/nitc/base_attr3_alt2.res
deleted file mode 100644 (file)
index 0e3677f..0000000
--- a/tests/sav/nitc/base_attr3_alt2.res
+++ /dev/null
@@ -1,17 +0,0 @@
-alt/base_attr3_alt2.nit:49,3--10: Visibility error: Property base_attr2::A::a1= is private.
-alt/base_attr3_alt2.nit:50,3--6: Visibility error: Property base_attr2::A::a2 is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:51,3--10: Visibility error: Property base_attr2::A::a2= is private.
-alt/base_attr3_alt2.nit:52,3--6: Visibility error: Property base_attr2::A::a3 is private.
-alt/base_attr3_alt2.nit:53,3--10: Visibility error: Property base_attr2::A::a3= is private.
-alt/base_attr3_alt2.nit:56,3--6: Visibility error: Property base_attr2::A::a5 is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:58,3--6: Visibility error: Property base_attr2::A::a6 is private.
-alt/base_attr3_alt2.nit:61,3--10: Visibility error: Property base_attr2::A::a7= is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:62,3--6: Visibility error: Property base_attr2::A::a8 is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:63,3--10: Visibility error: Property base_attr2::A::a8= is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:64,3--6: Visibility error: Property base_attr2::A::a9 is private.
-alt/base_attr3_alt2.nit:65,3--10: Visibility error: Property base_attr2::A::a9= is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:67,3--11: Visibility error: Property base_attr2::A::a10= is private.
-alt/base_attr3_alt2.nit:68,3--7: Visibility error: Property base_attr2::A::a11 is protected and can only acceded by self.
-alt/base_attr3_alt2.nit:69,3--11: Visibility error: Property base_attr2::A::a11= is private.
-alt/base_attr3_alt2.nit:70,3--7: Visibility error: Property base_attr2::A::a12 is private.
-alt/base_attr3_alt2.nit:71,3--11: Visibility error: Property base_attr2::A::a12= is private.

diff --git a/tests/sav/nitc/base_attr3_alt3.res b/tests/sav/nitc/base_attr3_alt3.res
deleted file mode 100644 (file)
index 7ad1598..0000000
--- a/tests/sav/nitc/base_attr3_alt3.res
+++ /dev/null
@@ -1,17 +0,0 @@
-alt/base_attr3_alt3.nit:80,2--9: Visibility error: Property base_attr2::A::a1= is private.
-alt/base_attr3_alt3.nit:81,2--5: Visibility error: Property base_attr2::A::a2 is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:82,2--9: Visibility error: Property base_attr2::A::a2= is private.
-alt/base_attr3_alt3.nit:83,2--5: Visibility error: Property base_attr2::A::a3 is private.
-alt/base_attr3_alt3.nit:84,2--9: Visibility error: Property base_attr2::A::a3= is private.
-alt/base_attr3_alt3.nit:87,2--5: Visibility error: Property base_attr2::A::a5 is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:89,2--5: Visibility error: Property base_attr2::A::a6 is private.
-alt/base_attr3_alt3.nit:92,2--9: Visibility error: Property base_attr2::A::a7= is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:93,2--5: Visibility error: Property base_attr2::A::a8 is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:94,2--9: Visibility error: Property base_attr2::A::a8= is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:95,2--5: Visibility error: Property base_attr2::A::a9 is private.
-alt/base_attr3_alt3.nit:96,2--9: Visibility error: Property base_attr2::A::a9= is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:98,2--10: Visibility error: Property base_attr2::A::a10= is private.
-alt/base_attr3_alt3.nit:99,2--6: Visibility error: Property base_attr2::A::a11 is protected and can only acceded by self.
-alt/base_attr3_alt3.nit:100,2--10: Visibility error: Property base_attr2::A::a11= is private.
-alt/base_attr3_alt3.nit:101,2--6: Visibility error: Property base_attr2::A::a12 is private.
-alt/base_attr3_alt3.nit:102,2--10: Visibility error: Property base_attr2::A::a12= is private.

diff --git a/tests/sav/nitc/base_attr3_alt4.res b/tests/sav/nitc/base_attr3_alt4.res
deleted file mode 100644 (file)
index 4b52598..0000000
--- a/tests/sav/nitc/base_attr3_alt4.res
+++ /dev/null
@@ -1,17 +0,0 @@
-alt/base_attr3_alt4.nit:110,2--9: Visibility error: Property base_attr2::A::a1= is private.
-alt/base_attr3_alt4.nit:111,2--5: Visibility error: Property base_attr2::A::a2 is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:112,2--9: Visibility error: Property base_attr2::A::a2= is private.
-alt/base_attr3_alt4.nit:113,2--5: Visibility error: Property base_attr2::A::a3 is private.
-alt/base_attr3_alt4.nit:114,2--9: Visibility error: Property base_attr2::A::a3= is private.
-alt/base_attr3_alt4.nit:117,2--5: Visibility error: Property base_attr2::A::a5 is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:119,2--5: Visibility error: Property base_attr2::A::a6 is private.
-alt/base_attr3_alt4.nit:122,2--9: Visibility error: Property base_attr2::A::a7= is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:123,2--5: Visibility error: Property base_attr2::A::a8 is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:124,2--9: Visibility error: Property base_attr2::A::a8= is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:125,2--5: Visibility error: Property base_attr2::A::a9 is private.
-alt/base_attr3_alt4.nit:126,2--9: Visibility error: Property base_attr2::A::a9= is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:128,2--10: Visibility error: Property base_attr2::A::a10= is private.
-alt/base_attr3_alt4.nit:129,2--6: Visibility error: Property base_attr2::A::a11 is protected and can only acceded by self.
-alt/base_attr3_alt4.nit:130,2--10: Visibility error: Property base_attr2::A::a11= is private.
-alt/base_attr3_alt4.nit:131,2--6: Visibility error: Property base_attr2::A::a12 is private.
-alt/base_attr3_alt4.nit:132,2--10: Visibility error: Property base_attr2::A::a12= is private.

diff --git a/tests/sav/nitc/base_attr5_alt12.res b/tests/sav/nitc/base_attr5_alt12.res
deleted file mode 100644 (file)
index 94161cb..0000000
--- a/tests/sav/nitc/base_attr5_alt12.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_attr5_alt12.nit:42,12--14: Error: No property B::bar is inherited. Remove the redef keyword to define a new property.
-alt/base_attr5_alt12.nit:42,12--14: Redef error: B::bar= is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/nitc/base_attr5_alt14.res b/tests/sav/nitc/base_attr5_alt14.res
deleted file mode 100644 (file)
index 1da576a..0000000
--- a/tests/sav/nitc/base_attr5_alt14.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_attr5_alt14.nit:44,12--14: Error: No property B::bar is inherited. Remove the redef keyword to define a new property.
-alt/base_attr5_alt14.nit:44,12--14: Redef error: B::bar= is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/nitc/base_attr5_alt21.res b/tests/sav/nitc/base_attr5_alt21.res
deleted file mode 100644 (file)
index c3a66cf..0000000
--- a/tests/sav/nitc/base_attr5_alt21.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_attr5_alt21.nit:48,6--8: Redef error: B::baz is an inherited property. To redefine it, add the redef keyword.
-alt/base_attr5_alt21.nit:48,6--8: Redef error: B::baz= is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/nitc/base_attr5_alt23.res b/tests/sav/nitc/base_attr5_alt23.res
deleted file mode 100644 (file)
index a6b02f7..0000000
--- a/tests/sav/nitc/base_attr5_alt23.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_attr5_alt23.nit:50,6--8: Redef error: B::baz is an inherited property. To redefine it, add the redef keyword.
-alt/base_attr5_alt23.nit:50,6--8: Redef error: B::baz= is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/nitc/base_attr5_alt5.res b/tests/sav/nitc/base_attr5_alt5.res
deleted file mode 100644 (file)
index 5803835..0000000
--- a/tests/sav/nitc/base_attr5_alt5.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_attr5_alt5.nit:38,6--8: Redef error: B::foo is an inherited property. To redefine it, add the redef keyword.
-alt/base_attr5_alt5.nit:38,6--8: Error: No property B::foo= is inherited. Remove the redef keyword to define a new property.

diff --git a/tests/sav/nitc/base_attr7_alt1.res b/tests/sav/nitc/base_attr7_alt1.res
deleted file mode 100644 (file)
index 24902c1..0000000
--- a/tests/sav/nitc/base_attr7_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_attr7_alt1.nit:34,17--20: Redef error: Expected Int, as in A::foo.

diff --git a/tests/sav/nitc/base_attr7_alt2.res b/tests/sav/nitc/base_attr7_alt2.res
deleted file mode 100644 (file)
index 2253530..0000000
--- a/tests/sav/nitc/base_attr7_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_attr7_alt2.nit:35,11--14: Redef error: Expected Int, as in the parameter of A::bar=.

diff --git a/tests/sav/nitc/base_attr7_alt3.res b/tests/sav/nitc/base_attr7_alt3.res
deleted file mode 100644 (file)
index ac94207..0000000
--- a/tests/sav/nitc/base_attr7_alt3.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_attr7_alt3.nit:36,17--20: Redef error: Expected Int, as in A::baz.
-alt/base_attr7_alt3.nit:36,17--20: Redef error: Expected Int, as in the parameter of A::baz=.

diff --git a/tests/sav/nitc/base_attr_init_val_raf_alt1.res b/tests/sav/nitc/base_attr_init_val_raf_alt1.res
deleted file mode 100644 (file)
index c23ed39..0000000
--- a/tests/sav/nitc/base_attr_init_val_raf_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Uninitialized attribute @j (alt/base_attr_init_val_raf_alt1.nit)

diff --git a/tests/sav/nitc/base_attr_isset_alt3.res b/tests/sav/nitc/base_attr_isset_alt3.res
deleted file mode 100644 (file)
index 47eff56..0000000
--- a/tests/sav/nitc/base_attr_isset_alt3.res
+++ /dev/null
@@ -1,10 +0,0 @@
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt3.nit)
-1
-false
-false
-2
-true
-false
-3
-true
-false

diff --git a/tests/sav/nitc/base_attr_isset_alt4.res b/tests/sav/nitc/base_attr_isset_alt4.res
deleted file mode 100644 (file)
index 7ae8195..0000000
--- a/tests/sav/nitc/base_attr_isset_alt4.res
+++ /dev/null
@@ -1,10 +0,0 @@
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt4.nit)
-1
-false
-false
-2
-true
-false
-3
-true
-false

diff --git a/tests/sav/nitc/base_attr_nullable_int_alt2.res b/tests/sav/nitc/base_attr_nullable_int_alt2.res
deleted file mode 100644 (file)
index 52f9df3..0000000
--- a/tests/sav/nitc/base_attr_nullable_int_alt2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt2.nit:29)
-1

diff --git a/tests/sav/nitc/base_autocast_alt1.res b/tests/sav/nitc/base_autocast_alt1.res
deleted file mode 100644 (file)
index 099b7d9..0000000
--- a/tests/sav/nitc/base_autocast_alt1.res
+++ /dev/null
@@ -1,4 +0,0 @@
-1
-2
-1
-2

diff --git a/tests/sav/nitc/base_autocast_alt2.res b/tests/sav/nitc/base_autocast_alt2.res
deleted file mode 100644 (file)
index c8e0425..0000000
--- a/tests/sav/nitc/base_autocast_alt2.res
+++ /dev/null
@@ -1,4 +0,0 @@
-Runtime error: Cast failed (alt/base_autocast_alt2.nit)
-1
-2
-1

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

diff --git a/tests/sav/nitc/base_classid.res b/tests/sav/nitc/base_classid.res
deleted file mode 100644 (file)
index cbb8328..0000000
--- a/tests/sav/nitc/base_classid.res
+++ /dev/null
@@ -1,12 +0,0 @@
-base_classid.nit:47,2--8: Warning: Expression is already a A.
-base_classid.nit:48,2--9: Warning: Expression is already a A.
-base_classid.nit:49,2--8: Warning: Expression is already a A since it is a B.
-base_classid.nit:52,2--8: Warning: Expression is already a B.
-true
-true
-true
-true
-true
-true
-true
-true

diff --git a/tests/sav/nitc/base_covar_int2_alt1.res b/tests/sav/nitc/base_covar_int2_alt1.res
deleted file mode 100644 (file)
index a068496..0000000
--- a/tests/sav/nitc/base_covar_int2_alt1.res
+++ /dev/null
@@ -1,3 +0,0 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt1.nit)
-1
-1

diff --git a/tests/sav/nitc/base_covar_int2_alt3.res b/tests/sav/nitc/base_covar_int2_alt3.res
deleted file mode 100644 (file)
index c1ad514..0000000
--- a/tests/sav/nitc/base_covar_int2_alt3.res
+++ /dev/null
@@ -1,4 +0,0 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt3.nit)
-1
-1
-1

diff --git a/tests/sav/nitc/base_covar_int2_alt5.res b/tests/sav/nitc/base_covar_int2_alt5.res
deleted file mode 100644 (file)
index 74caff9..0000000
--- a/tests/sav/nitc/base_covar_int2_alt5.res
+++ /dev/null
@@ -1,4 +0,0 @@
-Runtime error: Cast failed (alt/base_covar_int2_alt5.nit)
-1
-1
-1

diff --git a/tests/sav/nitc/base_covar_int_alt1.res b/tests/sav/nitc/base_covar_int_alt1.res
deleted file mode 100644 (file)
index a9013d7..0000000
--- a/tests/sav/nitc/base_covar_int_alt1.res
+++ /dev/null
@@ -1,3 +0,0 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit)
-true
-true

diff --git a/tests/sav/nitc/base_covar_int_alt3.res b/tests/sav/nitc/base_covar_int_alt3.res
deleted file mode 100644 (file)
index 76c1229..0000000
--- a/tests/sav/nitc/base_covar_int_alt3.res
+++ /dev/null
@@ -1,4 +0,0 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit)
-true
-true
-true

diff --git a/tests/sav/nitc/base_covar_int_alt5.res b/tests/sav/nitc/base_covar_int_alt5.res
deleted file mode 100644 (file)
index 76c1229..0000000
--- a/tests/sav/nitc/base_covar_int_alt5.res
+++ /dev/null
@@ -1,4 +0,0 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit)
-true
-true
-true

diff --git a/tests/sav/nitc/base_div_by_zero.res b/tests/sav/nitc/base_div_by_zero.res
deleted file mode 100644 (file)
index da9cb9a..0000000
--- a/tests/sav/nitc/base_div_by_zero.res
+++ /dev/null
@@ -1,4 +0,0 @@
-0
-5
-inf
-0

diff --git a/tests/sav/nitc/base_eq_null_notnull.res b/tests/sav/nitc/base_eq_null_notnull.res
deleted file mode 100644 (file)
index 7f9ea13..0000000
--- a/tests/sav/nitc/base_eq_null_notnull.res
+++ /dev/null
@@ -1,14 +0,0 @@
-base_eq_null_notnull.nit:36,6--14: Warning: comparaison between null and a non nullable value.
-base_eq_null_notnull.nit:43,2--10: Warning: comparaison between null and a non nullable value.
-true
-true
-true
-true
-true
-true
-true
-true
-true
-true
-true
-true

diff --git a/tests/sav/nitc/base_gen_bound_alt1.res b/tests/sav/nitc/base_gen_bound_alt1.res
deleted file mode 100644 (file)
index c7948e5..0000000
--- a/tests/sav/nitc/base_gen_bound_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_gen_bound_alt1.nit:31,10: Type error: expected B, got F

diff --git a/tests/sav/nitc/base_gen_bound_alt2.res b/tests/sav/nitc/base_gen_bound_alt2.res
deleted file mode 100644 (file)
index 4a85ac7..0000000
--- a/tests/sav/nitc/base_gen_bound_alt2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_bound_alt2.nit:32,11: Type error: expected B, got F
-alt/base_gen_bound_alt2.nit:32,11: Type error: expected B, got F

diff --git a/tests/sav/nitc/base_gen_bound_alt3.res b/tests/sav/nitc/base_gen_bound_alt3.res
deleted file mode 100644 (file)
index 386030f..0000000
--- a/tests/sav/nitc/base_gen_bound_alt3.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_bound_alt3.nit:33,11: Type error: expected B, got F
-alt/base_gen_bound_alt3.nit:33,11: Type error: expected B, got F

diff --git a/tests/sav/nitc/base_gen_bound_alt4.res b/tests/sav/nitc/base_gen_bound_alt4.res
deleted file mode 100644 (file)
index 53b7e1c..0000000
--- a/tests/sav/nitc/base_gen_bound_alt4.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_bound_alt4.nit:34,13: Type error: expected B, got F
-alt/base_gen_bound_alt4.nit:34,13: Type error: expected B, got F

diff --git a/tests/sav/nitc/base_gen_bound_alt5.res b/tests/sav/nitc/base_gen_bound_alt5.res
deleted file mode 100644 (file)
index 476afef..0000000
--- a/tests/sav/nitc/base_gen_bound_alt5.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_bound_alt5.nit:39,11: Type error: expected B, got V
-alt/base_gen_bound_alt5.nit:39,11: Type error: expected B, got V

diff --git a/tests/sav/nitc/base_gen_bound_alt6.res b/tests/sav/nitc/base_gen_bound_alt6.res
deleted file mode 100644 (file)
index 95a9168..0000000
--- a/tests/sav/nitc/base_gen_bound_alt6.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_bound_alt6.nit:40,11: Type error: expected B, got V
-alt/base_gen_bound_alt6.nit:40,11: Type error: expected B, got V

diff --git a/tests/sav/nitc/base_gen_bound_alt7.res b/tests/sav/nitc/base_gen_bound_alt7.res
deleted file mode 100644 (file)
index acb2b8d..0000000
--- a/tests/sav/nitc/base_gen_bound_alt7.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_bound_alt7.nit:41,13: Type error: expected B, got V
-alt/base_gen_bound_alt7.nit:41,13: Type error: expected B, got V

diff --git a/tests/sav/nitc/base_gen_f.res b/tests/sav/nitc/base_gen_f.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/base_gen_variance2_alt1.res b/tests/sav/nitc/base_gen_variance2_alt1.res
deleted file mode 100644 (file)
index a208171..0000000
--- a/tests/sav/nitc/base_gen_variance2_alt1.res
+++ /dev/null
@@ -1,5 +0,0 @@
-3
-2
-!3
-!2
-!100

diff --git a/tests/sav/nitc/base_gen_variance_alt7.res b/tests/sav/nitc/base_gen_variance_alt7.res
deleted file mode 100644 (file)
index 7dcbcf0..0000000
--- a/tests/sav/nitc/base_gen_variance_alt7.res
+++ /dev/null
@@ -1,10 +0,0 @@
-2
-20
-2
-20
-2
-20
-2
-20
-2
-20

diff --git a/tests/sav/nitc/base_gen_variance_alt8.res b/tests/sav/nitc/base_gen_variance_alt8.res
deleted file mode 100644 (file)
index 7dcbcf0..0000000
--- a/tests/sav/nitc/base_gen_variance_alt8.res
+++ /dev/null
@@ -1,10 +0,0 @@
-2
-20
-2
-20
-2
-20
-2
-20
-2
-20

diff --git a/tests/sav/nitc/base_if_expr_alt1.res b/tests/sav/nitc/base_if_expr_alt1.res
deleted file mode 100644 (file)
index 29c3f3d..0000000
--- a/tests/sav/nitc/base_if_expr_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_if_expr_alt1.nit:39,34: Type error: no most general type. Got Int and A at 39,23--27.

diff --git a/tests/sav/nitc/base_init_simple_alt1.res b/tests/sav/nitc/base_init_simple_alt1.res
deleted file mode 100644 (file)
index aff1e07..0000000
--- a/tests/sav/nitc/base_init_simple_alt1.res
+++ /dev/null
@@ -1,3 +0,0 @@
-alt/base_init_simple_alt1.nit:11,8--11: Error: No property B::init is inherited. Remove the redef keyword to define a new property.
-alt/base_init_simple_alt1.nit:13,8--11: Error: No property B::init2 is inherited. Remove the redef keyword to define a new property.
-alt/base_init_simple_alt1.nit:15,8--11: Error: No property B::init3 is inherited. Remove the redef keyword to define a new property.

diff --git a/tests/sav/nitc/base_isa1.res b/tests/sav/nitc/base_isa1.res
deleted file mode 100644 (file)
index 48301ef..0000000
--- a/tests/sav/nitc/base_isa1.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:56,8--16: Warning: superfluous parentheses.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-base_isa1.nit:58,8--16: Warning: superfluous parentheses.
-true

diff --git a/tests/sav/nitc/base_isa_cast4_alt5.res b/tests/sav/nitc/base_isa_cast4_alt5.res
deleted file mode 100644 (file)
index 292de6b..0000000
--- a/tests/sav/nitc/base_isa_cast4_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_isa_cast4_alt5.nit:87,6--10: Type error: expected B, got A

diff --git a/tests/sav/nitc/base_isa_nil.res b/tests/sav/nitc/base_isa_nil.res
deleted file mode 100644 (file)
index 5ced267..0000000
--- a/tests/sav/nitc/base_isa_nil.res
+++ /dev/null
@@ -1,16 +0,0 @@
-base_isa_nil.nit:33,2--13: Warning: Expression is already a Object.
-base_isa_nil.nit:36,2--22: Warning: Expression is already a nullable Object since it is a Object.
-base_isa_nil.nit:40,2--13: Warning: Prefer '!= null'.
-base_isa_nil.nit:43,2--22: Warning: Expression is already a nullable Object.
-true
-true
-true
-true
-true
-true
-false
-false
-false
-true
-true
-true

diff --git a/tests/sav/nitc/base_isa_vt_gen1.res b/tests/sav/nitc/base_isa_vt_gen1.res
deleted file mode 100644 (file)
index e7508ca..0000000
--- a/tests/sav/nitc/base_isa_vt_gen1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[T, U, V].
-true

diff --git a/tests/sav/nitc/base_label_do_alt4.res b/tests/sav/nitc/base_label_do_alt4.res
deleted file mode 100644 (file)
index cf87778..0000000
--- a/tests/sav/nitc/base_label_do_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_label_do_alt4.nit:31,3--7: Syntax Error: 'break' statment outside block.

diff --git a/tests/sav/nitc/base_label_do_alt6.res b/tests/sav/nitc/base_label_do_alt6.res
deleted file mode 100644 (file)
index 65ff71a..0000000
--- a/tests/sav/nitc/base_label_do_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_label_do_alt6.nit:37,6--13: Syntax error: label l1 already defined at 39,5--12.

diff --git a/tests/sav/nitc/base_label_do_alt8.res b/tests/sav/nitc/base_label_do_alt8.res
deleted file mode 100644 (file)
index 027d35e..0000000
--- a/tests/sav/nitc/base_label_do_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_label_do_alt8.nit:33,3--10: Syntax Error: 'continue' statment outside block.

diff --git a/tests/sav/nitc/base_label_for_alt6.res b/tests/sav/nitc/base_label_for_alt6.res
deleted file mode 100644 (file)
index 5d34aea..0000000
--- a/tests/sav/nitc/base_label_for_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_label_for_alt6.nit:38,6--13: Syntax error: label l1 already defined at 40,5--12.

diff --git a/tests/sav/nitc/base_label_loop_alt6.res b/tests/sav/nitc/base_label_loop_alt6.res
deleted file mode 100644 (file)
index 71d4361..0000000
--- a/tests/sav/nitc/base_label_loop_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_label_loop_alt6.nit:43,6--13: Syntax error: label l1 already defined at 45,5--12.

diff --git a/tests/sav/nitc/base_label_while_alt6.res b/tests/sav/nitc/base_label_while_alt6.res
deleted file mode 100644 (file)
index 0a227dd..0000000
--- a/tests/sav/nitc/base_label_while_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_label_while_alt6.nit:40,6--13: Syntax error: label l1 already defined at 42,5--12.

diff --git a/tests/sav/nitc/base_ni_alt5.res b/tests/sav/nitc/base_ni_alt5.res
deleted file mode 100644 (file)
index 4fcee91..0000000
--- a/tests/sav/nitc/base_ni_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_ni_alt5.nit:35,6: Error: Attempt to define attribute @x in the extern class EC.

diff --git a/tests/sav/nitc/base_no_object.res b/tests/sav/nitc/base_no_object.res
deleted file mode 100644 (file)
index d00491f..0000000
--- a/tests/sav/nitc/base_no_object.res
+++ /dev/null
@@ -1 +0,0 @@
-1

diff --git a/tests/sav/nitc/base_no_object_alt1.res b/tests/sav/nitc/base_no_object_alt1.res
deleted file mode 100644 (file)
index 1191247..0000000
--- a/tests/sav/nitc/base_no_object_alt1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-1
-2

diff --git a/tests/sav/nitc/base_orelse2.res b/tests/sav/nitc/base_orelse2.res
deleted file mode 100644 (file)
index 35055b1..0000000
--- a/tests/sav/nitc/base_orelse2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-base_orelse2.nit:30,21: Type error: no most general type. Got B and A.
-base_orelse2.nit:36,21--22: Type error: no most general type. Got nullable B and nullable A.

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

diff --git a/tests/sav/nitc/base_prot2_alt1.res b/tests/sav/nitc/base_prot2_alt1.res
deleted file mode 100644 (file)
index 2e15f3a..0000000
--- a/tests/sav/nitc/base_prot2_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_prot2_alt1.nit:25,3--5: Visibility error: Property base_prot::A::pri is private.

diff --git a/tests/sav/nitc/base_prot2_alt2.res b/tests/sav/nitc/base_prot2_alt2.res
deleted file mode 100644 (file)
index 55c385d..0000000
--- a/tests/sav/nitc/base_prot2_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_prot2_alt2.nit:35,3--7: Visibility error: Property base_prot::A::pro is protected and can only acceded by self.

diff --git a/tests/sav/nitc/base_prot2_alt3.res b/tests/sav/nitc/base_prot2_alt3.res
deleted file mode 100644 (file)
index f24464d..0000000
--- a/tests/sav/nitc/base_prot2_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_prot2_alt3.nit:36,3--7: Visibility error: Property base_prot::A::pri is private.

diff --git a/tests/sav/nitc/base_prot2_alt4.res b/tests/sav/nitc/base_prot2_alt4.res
deleted file mode 100644 (file)
index 44bc124..0000000
--- a/tests/sav/nitc/base_prot2_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_prot2_alt4.nit:41,3--8: Visibility error: Property base_prot::A::pro is protected and can only acceded by self.

diff --git a/tests/sav/nitc/base_prot2_alt5.res b/tests/sav/nitc/base_prot2_alt5.res
deleted file mode 100644 (file)
index 41b4a28..0000000
--- a/tests/sav/nitc/base_prot2_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_prot2_alt5.nit:42,3--8: Visibility error: Property base_prot::A::pri is private.

diff --git a/tests/sav/nitc/base_range_alt1.res b/tests/sav/nitc/base_range_alt1.res
deleted file mode 100644 (file)
index 43eeb74..0000000
--- a/tests/sav/nitc/base_range_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_range_alt1.nit:26,10--14: Type error: expected Discrete, got A

diff --git a/tests/sav/nitc/base_range_alt2.res b/tests/sav/nitc/base_range_alt2.res
deleted file mode 100644 (file)
index 4ff5df6..0000000
--- a/tests/sav/nitc/base_range_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_range_alt2.nit:28,9--16: Type error: Int incompatible with Char.

diff --git a/tests/sav/nitc/base_sig_inh_alt1.res b/tests/sav/nitc/base_sig_inh_alt1.res
deleted file mode 100644 (file)
index baad919..0000000
--- a/tests/sav/nitc/base_sig_inh_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_sig_inh_alt1.nit:42,10--17: Error: A vararg parameter is already defined.

diff --git a/tests/sav/nitc/base_super_linext.res b/tests/sav/nitc/base_super_linext.res
deleted file mode 100644 (file)
index c50fdf1..0000000
--- a/tests/sav/nitc/base_super_linext.res
+++ /dev/null
@@ -1,8 +0,0 @@
-A
-A
-B[A]
-AB
-C[A]
-AC
-D[B[C[A]]]
-ACBD

diff --git a/tests/sav/nitc/base_super_linext_raf.res b/tests/sav/nitc/base_super_linext_raf.res
deleted file mode 100644 (file)
index e9742a5..0000000
--- a/tests/sav/nitc/base_super_linext_raf.res
+++ /dev/null
@@ -1,8 +0,0 @@
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[b[B[c[C[a[A]]]]]]]
-AaCcBbDd

diff --git a/tests/sav/nitc/base_upcast2.res b/tests/sav/nitc/base_upcast2.res
deleted file mode 100644 (file)
index e25bb83..0000000
--- a/tests/sav/nitc/base_upcast2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-base_upcast2.nit:26,10: Type error: class T not found in module base_upcast2.
-base_upcast2.nit:26,19: Type error: class T not found in module base_upcast2.

diff --git a/tests/sav/nitc/base_upcast2_alt1.res b/tests/sav/nitc/base_upcast2_alt1.res
deleted file mode 100644 (file)
index 45c4c2f..0000000
--- a/tests/sav/nitc/base_upcast2_alt1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt1.nit:26,10: Type error: class T not found in module base_upcast2_alt1.
-alt/base_upcast2_alt1.nit:26,19: Type error: class T not found in module base_upcast2_alt1.

diff --git a/tests/sav/nitc/base_upcast2_alt10.res b/tests/sav/nitc/base_upcast2_alt10.res
deleted file mode 100644 (file)
index 34b5cef..0000000
--- a/tests/sav/nitc/base_upcast2_alt10.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt10.nit:26,10: Type error: class T not found in module base_upcast2_alt10.
-alt/base_upcast2_alt10.nit:26,19: Type error: class T not found in module base_upcast2_alt10.

diff --git a/tests/sav/nitc/base_upcast2_alt2.res b/tests/sav/nitc/base_upcast2_alt2.res
deleted file mode 100644 (file)
index 01d11bc..0000000
--- a/tests/sav/nitc/base_upcast2_alt2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt2.nit:26,10: Type error: class T not found in module base_upcast2_alt2.
-alt/base_upcast2_alt2.nit:26,19: Type error: class T not found in module base_upcast2_alt2.

diff --git a/tests/sav/nitc/base_upcast2_alt3.res b/tests/sav/nitc/base_upcast2_alt3.res
deleted file mode 100644 (file)
index 2103603..0000000
--- a/tests/sav/nitc/base_upcast2_alt3.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt3.nit:26,10: Type error: class T not found in module base_upcast2_alt3.
-alt/base_upcast2_alt3.nit:26,19: Type error: class T not found in module base_upcast2_alt3.

diff --git a/tests/sav/nitc/base_upcast2_alt4.res b/tests/sav/nitc/base_upcast2_alt4.res
deleted file mode 100644 (file)
index 2847390..0000000
--- a/tests/sav/nitc/base_upcast2_alt4.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt4.nit:26,10: Type error: class T not found in module base_upcast2_alt4.
-alt/base_upcast2_alt4.nit:26,19: Type error: class T not found in module base_upcast2_alt4.

diff --git a/tests/sav/nitc/base_upcast2_alt5.res b/tests/sav/nitc/base_upcast2_alt5.res
deleted file mode 100644 (file)
index 16fcc2c..0000000
--- a/tests/sav/nitc/base_upcast2_alt5.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt5.nit:26,10: Type error: class T not found in module base_upcast2_alt5.
-alt/base_upcast2_alt5.nit:26,19: Type error: class T not found in module base_upcast2_alt5.

diff --git a/tests/sav/nitc/base_upcast2_alt6.res b/tests/sav/nitc/base_upcast2_alt6.res
deleted file mode 100644 (file)
index 0a0b06e..0000000
--- a/tests/sav/nitc/base_upcast2_alt6.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt6.nit:26,10: Type error: class T not found in module base_upcast2_alt6.
-alt/base_upcast2_alt6.nit:26,19: Type error: class T not found in module base_upcast2_alt6.

diff --git a/tests/sav/nitc/base_upcast2_alt7.res b/tests/sav/nitc/base_upcast2_alt7.res
deleted file mode 100644 (file)
index 98a8fa0..0000000
--- a/tests/sav/nitc/base_upcast2_alt7.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt7.nit:26,10: Type error: class T not found in module base_upcast2_alt7.
-alt/base_upcast2_alt7.nit:26,19: Type error: class T not found in module base_upcast2_alt7.

diff --git a/tests/sav/nitc/base_upcast2_alt8.res b/tests/sav/nitc/base_upcast2_alt8.res
deleted file mode 100644 (file)
index c727042..0000000
--- a/tests/sav/nitc/base_upcast2_alt8.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt8.nit:26,10: Type error: class T not found in module base_upcast2_alt8.
-alt/base_upcast2_alt8.nit:26,19: Type error: class T not found in module base_upcast2_alt8.

diff --git a/tests/sav/nitc/base_upcast2_alt9.res b/tests/sav/nitc/base_upcast2_alt9.res
deleted file mode 100644 (file)
index fae1658..0000000
--- a/tests/sav/nitc/base_upcast2_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_upcast2_alt9.nit:26,10: Type error: class T not found in module base_upcast2_alt9.
-alt/base_upcast2_alt9.nit:26,19: Type error: class T not found in module base_upcast2_alt9.

diff --git a/tests/sav/nitc/base_var2_alt1.res b/tests/sav/nitc/base_var2_alt1.res
deleted file mode 100644 (file)
index 9347b7e..0000000
--- a/tests/sav/nitc/base_var2_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt1.nit:22,6--7: Error: 'p1' already defined at 19,9--10.

diff --git a/tests/sav/nitc/base_var2_alt2.res b/tests/sav/nitc/base_var2_alt2.res
deleted file mode 100644 (file)
index 14fb585..0000000
--- a/tests/sav/nitc/base_var2_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt2.nit:33,6--7: Error: 'a1' already defined at 30,5--6.

diff --git a/tests/sav/nitc/base_var2_alt3.res b/tests/sav/nitc/base_var2_alt3.res
deleted file mode 100644 (file)
index 6e4f5ef..0000000
--- a/tests/sav/nitc/base_var2_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt3.nit:37,5--6: Error: 'a1' already defined at 30,5--6.

diff --git a/tests/sav/nitc/base_var2_alt4.res b/tests/sav/nitc/base_var2_alt4.res
deleted file mode 100644 (file)
index 5a63a89..0000000
--- a/tests/sav/nitc/base_var2_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt4.nit:41,6--7: Error: 'a1' already defined at 30,5--6.

diff --git a/tests/sav/nitc/base_var2_alt5.res b/tests/sav/nitc/base_var2_alt5.res
deleted file mode 100644 (file)
index f1b08e3..0000000
--- a/tests/sav/nitc/base_var2_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt5.nit:42,6--7: Error: 'a3' already defined at 39,5--6.

diff --git a/tests/sav/nitc/base_var2_alt6.res b/tests/sav/nitc/base_var2_alt6.res
deleted file mode 100644 (file)
index 7025146..0000000
--- a/tests/sav/nitc/base_var2_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt6.nit:46,6--7: Error: 'a2' already defined at 40,6--7.

diff --git a/tests/sav/nitc/base_var2_alt9.res b/tests/sav/nitc/base_var2_alt9.res
deleted file mode 100644 (file)
index af676c4..0000000
--- a/tests/sav/nitc/base_var2_alt9.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_var2_alt9.nit:27,18--19: Error: 'p1' already defined at 27,9--10.

diff --git a/tests/sav/nitc/base_var_type_evolution_null3.res b/tests/sav/nitc/base_var_type_evolution_null3.res
deleted file mode 100644 (file)
index 27bb2db..0000000
--- a/tests/sav/nitc/base_var_type_evolution_null3.res
+++ /dev/null
@@ -1,4 +0,0 @@
-base_var_type_evolution_null3.nit:52,5--13: Warning: comparaison between null and a non nullable value.
-1
-1
-5

diff --git a/tests/sav/nitc/base_var_type_evolution_null3_alt1.res b/tests/sav/nitc/base_var_type_evolution_null3_alt1.res
deleted file mode 100644 (file)
index c2a57c9..0000000
--- a/tests/sav/nitc/base_var_type_evolution_null3_alt1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_var_type_evolution_null3_alt1.nit:44,8--9: Type error: expected A, got nullable A
-alt/base_var_type_evolution_null3_alt1.nit:52,5--13: Warning: comparaison between null and a non nullable value.

diff --git a/tests/sav/nitc/base_var_type_evolution_nullable.res b/tests/sav/nitc/base_var_type_evolution_nullable.res
deleted file mode 100644 (file)
index 642baae..0000000
--- a/tests/sav/nitc/base_var_type_evolution_nullable.res
+++ /dev/null
@@ -1,4 +0,0 @@
-base_var_type_evolution_nullable.nit:33,5--11: Warning: Prefer '!= null'.
-base_var_type_evolution_nullable.nit:39,9--15: Warning: Prefer '!= null'.
-true
-false

diff --git a/tests/sav/nitc/base_var_untyped_alt6.res b/tests/sav/nitc/base_var_untyped_alt6.res
deleted file mode 100644 (file)
index dd3223c..0000000
--- a/tests/sav/nitc/base_var_untyped_alt6.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_var_untyped_alt6.nit:50,6--7: Error: variable 'b3' is possibly unset.
-alt/base_var_untyped_alt6.nit:51,3--6: Error: Method '*' doesn't exists in nullable Object.

diff --git a/tests/sav/nitc/base_vararg_alt1.res b/tests/sav/nitc/base_vararg_alt1.res
deleted file mode 100644 (file)
index 57003b6..0000000
--- a/tests/sav/nitc/base_vararg_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt1.nit:51,1--3: Error: arity mismatch; prototype is 'foo(a: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt2.res b/tests/sav/nitc/base_vararg_alt2.res
deleted file mode 100644 (file)
index 3e3cfea..0000000
--- a/tests/sav/nitc/base_vararg_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt2.nit:54,1--3: Error: arity mismatch; prototype is 'bar(b: Char, a: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt3.res b/tests/sav/nitc/base_vararg_alt3.res
deleted file mode 100644 (file)
index eb35b9c..0000000
--- a/tests/sav/nitc/base_vararg_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt3.nit:55,1--8: Error: arity mismatch; prototype is 'bar(b: Char, a: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt4.res b/tests/sav/nitc/base_vararg_alt4.res
deleted file mode 100644 (file)
index dd43957..0000000
--- a/tests/sav/nitc/base_vararg_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt4.nit:58,1--3: Error: arity mismatch; prototype is 'baz(a: Char, b: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt5.res b/tests/sav/nitc/base_vararg_alt5.res
deleted file mode 100644 (file)
index c2619c6..0000000
--- a/tests/sav/nitc/base_vararg_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt5.nit:59,1--8: Error: arity mismatch; prototype is 'baz(a: Char, b: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt6.res b/tests/sav/nitc/base_vararg_alt6.res
deleted file mode 100644 (file)
index 9fcbecc..0000000
--- a/tests/sav/nitc/base_vararg_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt6.nit:62,1--6: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char, c: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt7.res b/tests/sav/nitc/base_vararg_alt7.res
deleted file mode 100644 (file)
index f2e8453..0000000
--- a/tests/sav/nitc/base_vararg_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt7.nit:63,1--11: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char, c: Char)'.

diff --git a/tests/sav/nitc/base_vararg_alt8.res b/tests/sav/nitc/base_vararg_alt8.res
deleted file mode 100644 (file)
index 1f3bac2..0000000
--- a/tests/sav/nitc/base_vararg_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_vararg_alt8.nit:64,1--15: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char, c: Char)'.

diff --git a/tests/sav/nitc/base_virtual_int2_alt2.res b/tests/sav/nitc/base_virtual_int2_alt2.res
deleted file mode 100644 (file)
index 1366eb4..0000000
--- a/tests/sav/nitc/base_virtual_int2_alt2.res
+++ /dev/null
@@ -1,3 +0,0 @@
-Runtime error: Cast failed (alt/base_virtual_int2_alt2.nit)
-4
-4

diff --git a/tests/sav/nitc/base_virtual_int_alt2.res b/tests/sav/nitc/base_virtual_int_alt2.res
deleted file mode 100644 (file)
index a9013d7..0000000
--- a/tests/sav/nitc/base_virtual_int_alt2.res
+++ /dev/null
@@ -1,3 +0,0 @@
-Runtime error: Cast failed (../lib/standard/kernel.nit)
-true
-true

diff --git a/tests/sav/nitc/base_virtual_type7.res b/tests/sav/nitc/base_virtual_type7.res
deleted file mode 100644 (file)
index 6b60e8a..0000000
--- a/tests/sav/nitc/base_virtual_type7.res
+++ /dev/null
@@ -1 +0,0 @@
-base_virtual_type7.nit:20,10: Type error: circular definition in formal type F.

diff --git a/tests/sav/nitc/base_virtual_type_check_alt10.res b/tests/sav/nitc/base_virtual_type_check_alt10.res
deleted file mode 100644 (file)
index ce06d59..0000000
--- a/tests/sav/nitc/base_virtual_type_check_alt10.res
+++ /dev/null
@@ -1,26 +0,0 @@
-Runtime error: Cast failed (alt/base_virtual_type_check_alt10.nit)
-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<Tfalse
-K<Ufalse
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Tfalse
-K<Ufalse
-L<Ttrue
-L<Utrue
-L<T

diff --git a/tests/sav/nitc/base_virtual_type_check_alt8.res b/tests/sav/nitc/base_virtual_type_check_alt8.res
deleted file mode 100644 (file)
index ffaf7da..0000000
--- a/tests/sav/nitc/base_virtual_type_check_alt8.res
+++ /dev/null
@@ -1,25 +0,0 @@
-Runtime error: Cast failed (alt/base_virtual_type_check_alt8.nit)
-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<Tfalse
-K<Ufalse
-L<Ttrue
-L<Utrue
-L<T
-L<U
-J<Tfalse
-J<Ufalse
-K<Tfalse
-K<Ufalse
-L<Ttrue
-L<Utrue

diff --git a/tests/sav/nitc/base_virtual_type_variance_int_alt1.res b/tests/sav/nitc/base_virtual_type_variance_int_alt1.res
deleted file mode 100644 (file)
index b68c62c..0000000
--- a/tests/sav/nitc/base_virtual_type_variance_int_alt1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-Runtime error: Cast failed (alt/base_virtual_type_variance_int_alt1.nit)
-2

diff --git a/tests/sav/nitc/error_array_ambig.res b/tests/sav/nitc/error_array_ambig.res
deleted file mode 100644 (file)
index 14796a1..0000000
--- a/tests/sav/nitc/error_array_ambig.res
+++ /dev/null
@@ -1 +0,0 @@
-error_array_ambig.nit:17,13--15: Type error: no most general type. Got Char and Int at 17,10.

diff --git a/tests/sav/nitc/error_class_generic_alt2.res b/tests/sav/nitc/error_class_generic_alt2.res
deleted file mode 100644 (file)
index 3d9a1ed..0000000
--- a/tests/sav/nitc/error_class_generic_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_class_generic_alt2.nit:18,19--26: Redef error: Cannot change formal parameter type of class Array; got Float, expected nullable Object.

diff --git a/tests/sav/nitc/error_defs_alt5.res b/tests/sav/nitc/error_defs_alt5.res
deleted file mode 100644 (file)
index e6d6ea0..0000000
--- a/tests/sav/nitc/error_defs_alt5.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_defs_alt5.nit:30,11--13: Redef error: A::baz redefines Object::baz with 0 parameter(s).
-alt/error_defs_alt5.nit:30,11--13: Redef error: The procedure A::baz redefines the function Object::baz.

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

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

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

diff --git a/tests/sav/nitc/error_expr_not_ok_alt4.res b/tests/sav/nitc/error_expr_not_ok_alt4.res
deleted file mode 100644 (file)
index 6aef1de..0000000
--- a/tests/sav/nitc/error_expr_not_ok_alt4.res
+++ /dev/null
@@ -1,110 +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: arity mismatch; prototype is 'trash(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,10--13: Type error: Expected a type with an 'iterate' method. Found Int.
-alt/error_expr_not_ok_alt4.nit:69,24: Type error: expected A, got 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--10: Warning: 'as(not null)' on non nullable type.
-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/nitc/error_expr_not_ok_alt5.res b/tests/sav/nitc/error_expr_not_ok_alt5.res
deleted file mode 100644 (file)
index 92e7b7f..0000000
--- a/tests/sav/nitc/error_expr_not_ok_alt5.res
+++ /dev/null
@@ -1,111 +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:41,16--19: Type error: expected Int, got Object
-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:45,7--10: Type error: expected A, got Object
-alt/error_expr_not_ok_alt5.nit:46,1--9: Error: Method 'fail' doesn't exists in Object.
-alt/error_expr_not_ok_alt5.nit:49,7--10: Type error: expected A, got Object
-alt/error_expr_not_ok_alt5.nit:50,1--10: Error: arity mismatch; prototype is 'trash(x: A)'.
-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,10--13: Type error: Expected a type with an 'iterate' method. Found Int.
-alt/error_expr_not_ok_alt5.nit:69,24: Type error: expected A, got 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--10: Warning: 'as(not null)' on non nullable type.
-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/nitc/error_expr_not_ok_alt6.res b/tests/sav/nitc/error_expr_not_ok_alt6.res
deleted file mode 100644 (file)
index 90dc763..0000000
--- a/tests/sav/nitc/error_expr_not_ok_alt6.res
+++ /dev/null
@@ -1,110 +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,10--13: Type error: Expected a type with an 'iterate' method. Found Int.
-alt/error_expr_not_ok_alt6.nit:69,24: Type error: expected A, got 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--10: Warning: 'as(not null)' on non nullable type.
-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/nitc/error_for_coll.res b/tests/sav/nitc/error_for_coll.res
deleted file mode 100644 (file)
index cecf960..0000000
--- a/tests/sav/nitc/error_for_coll.res
+++ /dev/null
@@ -1 +0,0 @@
-error_for_coll.nit:17,10: Type error: Expected a type with an 'iterate' method. Found Int.

diff --git a/tests/sav/nitc/error_formal_name.res b/tests/sav/nitc/error_formal_name.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/error_gen_f_inh_clash.res b/tests/sav/nitc/error_gen_f_inh_clash.res
deleted file mode 100644 (file)
index f89a25c..0000000
--- a/tests/sav/nitc/error_gen_f_inh_clash.res
+++ /dev/null
@@ -1 +0,0 @@
-Fatal error: Incompatibles ancestors for G3: G[G1], G[G2]

diff --git a/tests/sav/nitc/error_inh_clash.res b/tests/sav/nitc/error_inh_clash.res
deleted file mode 100644 (file)
index 634ff34..0000000
--- a/tests/sav/nitc/error_inh_clash.res
+++ /dev/null
@@ -1 +0,0 @@
-Fatal error: Incompatibles ancestors for A: Array[Int], Array[Char]

diff --git a/tests/sav/nitc/error_inh_clash2.res b/tests/sav/nitc/error_inh_clash2.res
deleted file mode 100644 (file)
index 11a0dfd..0000000
--- a/tests/sav/nitc/error_inh_clash2.res
+++ /dev/null
@@ -1 +0,0 @@
-Fatal error: Incompatibles ancestors for C: Array[Int], Array[Char]

diff --git a/tests/sav/nitc/error_inh_clash3.res b/tests/sav/nitc/error_inh_clash3.res
deleted file mode 100644 (file)
index c1b242f..0000000
--- a/tests/sav/nitc/error_inh_clash3.res
+++ /dev/null
@@ -1 +0,0 @@
-Fatal error: Incompatibles ancestors for C: SequenceRead[Int], SequenceRead[Char]

diff --git a/tests/sav/nitc/error_inh_clash4.res b/tests/sav/nitc/error_inh_clash4.res
deleted file mode 100644 (file)
index 5e5c7a7..0000000
--- a/tests/sav/nitc/error_inh_clash4.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Cast failed (metamodel/type_formal.nit:39)

diff --git a/tests/sav/nitc/error_inh_loop.res b/tests/sav/nitc/error_inh_loop.res
deleted file mode 100644 (file)
index a178925..0000000
--- a/tests/sav/nitc/error_inh_loop.res
+++ /dev/null
@@ -1 +0,0 @@
-Fatal error: Inheritance loop for class A

diff --git a/tests/sav/nitc/error_init_auto.res b/tests/sav/nitc/error_init_auto.res
deleted file mode 100644 (file)
index dcb1968..0000000
--- a/tests/sav/nitc/error_init_auto.res
+++ /dev/null
@@ -1,4 +0,0 @@
-error_init_auto.nit:34,5--9: Error: arity mismatch; prototype is 'init(x: Int)'.
-error_init_auto.nit:36,5--15: Error: arity mismatch; prototype is 'init(x: Int)'.
-error_init_auto.nit:37,5--18: Error: arity mismatch; prototype is 'init(x: Int)'.
-error_init_auto.nit:38,5--16: Error: Method 'foo' doesn't exists in A.

diff --git a/tests/sav/nitc/error_init_auto_alt1.res b/tests/sav/nitc/error_init_auto_alt1.res
deleted file mode 100644 (file)
index ee29256..0000000
--- a/tests/sav/nitc/error_init_auto_alt1.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/error_init_auto_alt1.nit:35,5--12: Error: arity mismatch; prototype is 'init'.
-alt/error_init_auto_alt1.nit:36,5--15: Error: arity mismatch; prototype is 'init'.
-alt/error_init_auto_alt1.nit:37,5--18: Error: arity mismatch; prototype is 'init'.
-alt/error_init_auto_alt1.nit:38,5--16: Error: Method 'foo' doesn't exists in A.

diff --git a/tests/sav/nitc/error_init_auto_alt2.res b/tests/sav/nitc/error_init_auto_alt2.res
deleted file mode 100644 (file)
index 99dbd43..0000000
--- a/tests/sav/nitc/error_init_auto_alt2.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/error_init_auto_alt2.nit:34,5--9: Error: arity mismatch; prototype is 'init(x: Int, y: Int)'.
-alt/error_init_auto_alt2.nit:35,5--12: Error: arity mismatch; prototype is 'init(x: Int, y: Int)'.
-alt/error_init_auto_alt2.nit:37,5--18: Error: arity mismatch; prototype is 'init(x: Int, y: Int)'.
-alt/error_init_auto_alt2.nit:38,5--16: Error: Method 'foo' doesn't exists in A.

diff --git a/tests/sav/nitc/error_init_auto_alt3.res b/tests/sav/nitc/error_init_auto_alt3.res
deleted file mode 100644 (file)
index d51f75a..0000000
--- a/tests/sav/nitc/error_init_auto_alt3.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/error_init_auto_alt3.nit:34,5--9: Error: arity mismatch; prototype is 'init(xx: Int)'.
-alt/error_init_auto_alt3.nit:36,5--15: Error: arity mismatch; prototype is 'init(xx: Int)'.
-alt/error_init_auto_alt3.nit:37,5--18: Error: arity mismatch; prototype is 'init(xx: Int)'.
-alt/error_init_auto_alt3.nit:38,5--16: Error: Method 'foo' doesn't exists in A.

diff --git a/tests/sav/nitc/error_kern_attr_int.res b/tests/sav/nitc/error_kern_attr_int.res
deleted file mode 100644 (file)
index e41af75..0000000
--- a/tests/sav/nitc/error_kern_attr_int.res
+++ /dev/null
@@ -1 +0,0 @@
-error_kern_attr_int.nit:18,6--10: Error: Attempt to define attribute _toto in the enum class Int.

diff --git a/tests/sav/nitc/error_mod_unk.res b/tests/sav/nitc/error_mod_unk.res
deleted file mode 100644 (file)
index dade57f..0000000
--- a/tests/sav/nitc/error_mod_unk.res
+++ /dev/null
@@ -1 +0,0 @@
-Error: No ressource found for module dfgd.

diff --git a/tests/sav/nitc/error_needed_method_alt1.res b/tests/sav/nitc/error_needed_method_alt1.res
deleted file mode 100644 (file)
index bb47e7c..0000000
--- a/tests/sav/nitc/error_needed_method_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt1.nit:46,1--56,3: Fatal Error: Array[Int] must have a property named with_capacity.

diff --git a/tests/sav/nitc/error_needed_method_alt2.res b/tests/sav/nitc/error_needed_method_alt2.res
deleted file mode 100644 (file)
index ccbf752..0000000
--- a/tests/sav/nitc/error_needed_method_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt2.nit:47,10--27: Error: Method 'init' doesn't exists in Collection[Int].

diff --git a/tests/sav/nitc/error_needed_method_alt3.res b/tests/sav/nitc/error_needed_method_alt3.res
deleted file mode 100644 (file)
index 0efe9cb..0000000
--- a/tests/sav/nitc/error_needed_method_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt3.nit:48,1--56,3: Fatal Error: NativeString must have a property named to_s_with_length.

diff --git a/tests/sav/nitc/error_needed_method_alt4.res b/tests/sav/nitc/error_needed_method_alt4.res
deleted file mode 100644 (file)
index 2128276..0000000
--- a/tests/sav/nitc/error_needed_method_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt4.nit:49,1--56,3: Fatal Error: Array[String] must have a property named with_capacity.

diff --git a/tests/sav/nitc/error_needed_method_alt6.res b/tests/sav/nitc/error_needed_method_alt6.res
deleted file mode 100644 (file)
index cff8426..0000000
--- a/tests/sav/nitc/error_needed_method_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt6.nit:51,1--56,3: Fatal Error: Range[Int] must have a property named without_last.

diff --git a/tests/sav/nitc/error_needed_method_alt7.res b/tests/sav/nitc/error_needed_method_alt7.res
deleted file mode 100644 (file)
index 0339fdd..0000000
--- a/tests/sav/nitc/error_needed_method_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_method_alt7.nit:53,1--56,3: Fatal Error: Array[Int] must have a property named with_capacity.

diff --git a/tests/sav/nitc/error_needed_types_alt1.res b/tests/sav/nitc/error_needed_types_alt1.res
deleted file mode 100644 (file)
index 562f48a..0000000
--- a/tests/sav/nitc/error_needed_types_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt1.nit:0,0: Missing necessary class: "Int"

diff --git a/tests/sav/nitc/error_needed_types_alt2.res b/tests/sav/nitc/error_needed_types_alt2.res
deleted file mode 100644 (file)
index e378706..0000000
--- a/tests/sav/nitc/error_needed_types_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt2.nit:0,0: Missing necessary class: "Float"

diff --git a/tests/sav/nitc/error_needed_types_alt3.res b/tests/sav/nitc/error_needed_types_alt3.res
deleted file mode 100644 (file)
index 169ec92..0000000
--- a/tests/sav/nitc/error_needed_types_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt3.nit:0,0: Missing necessary class: "Char"

diff --git a/tests/sav/nitc/error_needed_types_alt4.res b/tests/sav/nitc/error_needed_types_alt4.res
deleted file mode 100644 (file)
index 1686aff..0000000
--- a/tests/sav/nitc/error_needed_types_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt4.nit:0,0: Missing necessary class: "String"

diff --git a/tests/sav/nitc/error_needed_types_alt5.res b/tests/sav/nitc/error_needed_types_alt5.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/error_needed_types_alt6.res b/tests/sav/nitc/error_needed_types_alt6.res
deleted file mode 100644 (file)
index 7abf04e..0000000
--- a/tests/sav/nitc/error_needed_types_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt6.nit:0,0: Missing necessary class: "Array"

diff --git a/tests/sav/nitc/error_needed_types_alt7.res b/tests/sav/nitc/error_needed_types_alt7.res
deleted file mode 100644 (file)
index f0f3564..0000000
--- a/tests/sav/nitc/error_needed_types_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt7.nit:0,0: Missing necessary class: "Range"

diff --git a/tests/sav/nitc/error_needed_types_alt8.res b/tests/sav/nitc/error_needed_types_alt8.res
deleted file mode 100644 (file)
index 1ef0b53..0000000
--- a/tests/sav/nitc/error_needed_types_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_needed_types_alt8.nit:21,10--14: Type error: Expected a type with an 'iterate' method. Found L.

diff --git a/tests/sav/nitc/error_redef2_1alt1_alt9.res b/tests/sav/nitc/error_redef2_1alt1_alt9.res
deleted file mode 100644 (file)
index 79ba99b..0000000
--- a/tests/sav/nitc/error_redef2_1alt1_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef2_1alt1_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt9.nit:34,9: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef2_1alt2_alt9.res b/tests/sav/nitc/error_redef2_1alt2_alt9.res
deleted file mode 100644 (file)
index 17cfb53..0000000
--- a/tests/sav/nitc/error_redef2_1alt2_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef2_1alt2_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt9.nit:34,9: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef2_1alt3_alt9.res b/tests/sav/nitc/error_redef2_1alt3_alt9.res
deleted file mode 100644 (file)
index 5c1fcd7..0000000
--- a/tests/sav/nitc/error_redef2_1alt3_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef2_1alt3_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt9.nit:34,9: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef2_1alt4_alt9.res b/tests/sav/nitc/error_redef2_1alt4_alt9.res
deleted file mode 100644 (file)
index 924ca54..0000000
--- a/tests/sav/nitc/error_redef2_1alt4_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef2_1alt4_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt9.nit:34,9: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef2_alt3.res b/tests/sav/nitc/error_redef2_alt3.res
deleted file mode 100644 (file)
index 6337ee2..0000000
--- a/tests/sav/nitc/error_redef2_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_alt3.nit:28,9: Error: Untyped parameter.

diff --git a/tests/sav/nitc/error_redef2_alt6.res b/tests/sav/nitc/error_redef2_alt6.res
deleted file mode 100644 (file)
index 6b750eb..0000000
--- a/tests/sav/nitc/error_redef2_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef2_alt6.nit:31,9: Error: Untyped parameter.

diff --git a/tests/sav/nitc/error_redef2_alt9.res b/tests/sav/nitc/error_redef2_alt9.res
deleted file mode 100644 (file)
index a6a3a83..0000000
--- a/tests/sav/nitc/error_redef2_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef2_alt9.nit:34,9: Syntax error: untyped parameter.
-alt/error_redef2_alt9.nit:34,9: Error: Untyped parameter.

diff --git a/tests/sav/nitc/error_redef_1alt1_alt2.res b/tests/sav/nitc/error_redef_1alt1_alt2.res
deleted file mode 100644 (file)
index 8bdb482..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt1_alt2.nit:27,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt1_alt3.res b/tests/sav/nitc/error_redef_1alt1_alt3.res
deleted file mode 100644 (file)
index e697109..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt1_alt3.nit:28,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt1_alt5.res b/tests/sav/nitc/error_redef_1alt1_alt5.res
deleted file mode 100644 (file)
index c4e9037..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt1_alt5.nit:30,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt1_alt6.res b/tests/sav/nitc/error_redef_1alt1_alt6.res
deleted file mode 100644 (file)
index 96b2749..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt1_alt6.nit:31,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt1_alt7.res b/tests/sav/nitc/error_redef_1alt1_alt7.res
deleted file mode 100644 (file)
index 817ad6d..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt1_alt7.nit:32,12--13: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt1_alt8.res b/tests/sav/nitc/error_redef_1alt1_alt8.res
deleted file mode 100644 (file)
index 6ca4d20..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt8.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_1alt1_alt8.nit:33,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
-alt/error_redef_1alt1_alt8.nit:33,12--13: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt1_alt9.res b/tests/sav/nitc/error_redef_1alt1_alt9.res
deleted file mode 100644 (file)
index 0dcdd18..0000000
--- a/tests/sav/nitc/error_redef_1alt1_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_1alt1_alt9.nit:34,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
-alt/error_redef_1alt1_alt9.nit:34,15: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef_1alt2_alt1.res b/tests/sav/nitc/error_redef_1alt2_alt1.res
deleted file mode 100644 (file)
index e3224da..0000000
--- a/tests/sav/nitc/error_redef_1alt2_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt2_alt1.nit:26,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt2_alt4.res b/tests/sav/nitc/error_redef_1alt2_alt4.res
deleted file mode 100644 (file)
index cad987c..0000000
--- a/tests/sav/nitc/error_redef_1alt2_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt2_alt4.nit:29,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt2_alt7.res b/tests/sav/nitc/error_redef_1alt2_alt7.res
deleted file mode 100644 (file)
index 0fae45d..0000000
--- a/tests/sav/nitc/error_redef_1alt2_alt7.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_1alt2_alt7.nit:32,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).
-alt/error_redef_1alt2_alt7.nit:32,12--13: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt2_alt8.res b/tests/sav/nitc/error_redef_1alt2_alt8.res
deleted file mode 100644 (file)
index dc2e3bf..0000000
--- a/tests/sav/nitc/error_redef_1alt2_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt2_alt8.nit:33,12--13: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt2_alt9.res b/tests/sav/nitc/error_redef_1alt2_alt9.res
deleted file mode 100644 (file)
index 7806508..0000000
--- a/tests/sav/nitc/error_redef_1alt2_alt9.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt2_alt9.nit:34,15: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef_1alt3_alt2.res b/tests/sav/nitc/error_redef_1alt3_alt2.res
deleted file mode 100644 (file)
index 3b6c713..0000000
--- a/tests/sav/nitc/error_redef_1alt3_alt2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_1alt3_alt2.nit:27,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
-alt/error_redef_1alt3_alt2.nit:27,12--13: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt3_alt3.res b/tests/sav/nitc/error_redef_1alt3_alt3.res
deleted file mode 100644 (file)
index b873d08..0000000
--- a/tests/sav/nitc/error_redef_1alt3_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt3_alt3.nit:28,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt3_alt5.res b/tests/sav/nitc/error_redef_1alt3_alt5.res
deleted file mode 100644 (file)
index e692593..0000000
--- a/tests/sav/nitc/error_redef_1alt3_alt5.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_1alt3_alt5.nit:30,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
-alt/error_redef_1alt3_alt5.nit:30,12--13: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt3_alt6.res b/tests/sav/nitc/error_redef_1alt3_alt6.res
deleted file mode 100644 (file)
index 9e20140..0000000
--- a/tests/sav/nitc/error_redef_1alt3_alt6.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt3_alt6.nit:31,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt3_alt8.res b/tests/sav/nitc/error_redef_1alt3_alt8.res
deleted file mode 100644 (file)
index 44cdabd..0000000
--- a/tests/sav/nitc/error_redef_1alt3_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt3_alt8.nit:33,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt3_alt9.res b/tests/sav/nitc/error_redef_1alt3_alt9.res
deleted file mode 100644 (file)
index 40957f6..0000000
--- a/tests/sav/nitc/error_redef_1alt3_alt9.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_1alt3_alt9.nit:34,12--13: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
-alt/error_redef_1alt3_alt9.nit:34,15: Syntax error: untyped parameter.

diff --git a/tests/sav/nitc/error_redef_1alt4_alt1.res b/tests/sav/nitc/error_redef_1alt4_alt1.res
deleted file mode 100644 (file)
index c9951a7..0000000
--- a/tests/sav/nitc/error_redef_1alt4_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt4_alt1.nit:26,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt4_alt2.res b/tests/sav/nitc/error_redef_1alt4_alt2.res
deleted file mode 100644 (file)
index 8a3bc78..0000000
--- a/tests/sav/nitc/error_redef_1alt4_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt4_alt2.nit:27,12--13: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/nitc/error_redef_1alt4_alt4.res b/tests/sav/nitc/error_redef_1alt4_alt4.res
deleted file mode 100644 (file)
index b11d25a..0000000
--- a/tests/sav/nitc/error_redef_1alt4_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt4_alt4.nit:29,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/nitc/error_redef_1alt4_alt7.res b/tests/sav/nitc/error_redef_1alt4_alt7.res
deleted file mode 100644 (file)
index 3b3a71b..0000000
--- a/tests/sav/nitc/error_redef_1alt4_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/error_redef_1alt4_alt7.nit:32,12--13: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/nitc/error_redef_alt3.res b/tests/sav/nitc/error_redef_alt3.res
deleted file mode 100644 (file)
index f1f7a14..0000000
--- a/tests/sav/nitc/error_redef_alt3.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_alt3.nit:28,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
-alt/error_redef_alt3.nit:28,15: Error: Untyped parameter.

diff --git a/tests/sav/nitc/error_redef_alt6.res b/tests/sav/nitc/error_redef_alt6.res
deleted file mode 100644 (file)
index 4b58734..0000000
--- a/tests/sav/nitc/error_redef_alt6.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/error_redef_alt6.nit:31,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
-alt/error_redef_alt6.nit:31,15: Error: Untyped parameter.

diff --git a/tests/sav/nitc/error_redef_alt9.res b/tests/sav/nitc/error_redef_alt9.res
deleted file mode 100644 (file)
index f29d3f1..0000000
--- a/tests/sav/nitc/error_redef_alt9.res
+++ /dev/null
@@ -1,3 +0,0 @@
-alt/error_redef_alt9.nit:34,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
-alt/error_redef_alt9.nit:34,15: Syntax error: untyped parameter.
-alt/error_redef_alt9.nit:34,15: Error: Untyped parameter.

diff --git a/tests/sav/nitc/error_ref_attr.res b/tests/sav/nitc/error_ref_attr.res
deleted file mode 100644 (file)
index b7640f0..0000000
--- a/tests/sav/nitc/error_ref_attr.res
+++ /dev/null
@@ -1 +0,0 @@
-error_ref_attr.nit:20,16--18: Redef error: Expected B, as in C::_a.

diff --git a/tests/sav/nitc/error_ref_proc.res b/tests/sav/nitc/error_ref_proc.res
deleted file mode 100644 (file)
index 26eac95..0000000
--- a/tests/sav/nitc/error_ref_proc.res
+++ /dev/null
@@ -1 +0,0 @@
-error_ref_proc.nit:20,12: Redef error: The function C::r redefines the procedure C::r.

diff --git a/tests/sav/nitc/error_ref_ret.res b/tests/sav/nitc/error_ref_ret.res
deleted file mode 100644 (file)
index aa89016..0000000
--- a/tests/sav/nitc/error_ref_ret.res
+++ /dev/null
@@ -1 +0,0 @@
-error_ref_ret.nit:20,15--17: Redef error: Expected B, as in C::s.

diff --git a/tests/sav/nitc/error_separate_options.res b/tests/sav/nitc/error_separate_options.res
deleted file mode 100644 (file)
index 511378c..0000000
--- a/tests/sav/nitc/error_separate_options.res
+++ /dev/null
@@ -1,3 +0,0 @@
-module "error_separate_options" args file has unknown args: --foo
-module "error_separate_options" args file has unknown args: --foo, --invalid-arg, other_invalid_arg
-module "error_separate_options" args file has unknown args: --foo, --invalid-arg, other_invalid_arg

diff --git a/tests/sav/nitc/error_spe_attr.res b/tests/sav/nitc/error_spe_attr.res
deleted file mode 100644 (file)
index 44a9342..0000000
--- a/tests/sav/nitc/error_spe_attr.res
+++ /dev/null
@@ -1 +0,0 @@
-error_spe_attr.nit:22,16--21: Redef error: Expected Int, as in A::_a.

diff --git a/tests/sav/nitc/error_spe_param2.res b/tests/sav/nitc/error_spe_param2.res
deleted file mode 100644 (file)
index bd06063..0000000
--- a/tests/sav/nitc/error_spe_param2.res
+++ /dev/null
@@ -1 +0,0 @@
-error_spe_param2.nit:24,16--22: Redef error: Expected Int, as in A::toto.

diff --git a/tests/sav/nitc/error_spe_proc.res b/tests/sav/nitc/error_spe_proc.res
deleted file mode 100644 (file)
index f93751f..0000000
--- a/tests/sav/nitc/error_spe_proc.res
+++ /dev/null
@@ -1 +0,0 @@
-error_spe_proc.nit:23,11--14: Redef error: The function B::toto redefines the procedure A::toto.

diff --git a/tests/sav/nitc/error_spe_ret.res b/tests/sav/nitc/error_spe_ret.res
deleted file mode 100644 (file)
index 2cd7880..0000000
--- a/tests/sav/nitc/error_spe_ret.res
+++ /dev/null
@@ -1 +0,0 @@
-error_spe_ret.nit:23,17--20: Redef error: Expected Int, as in A::toto.

diff --git a/tests/sav/nitc/error_superclass_superfluous_alt1.res b/tests/sav/nitc/error_superclass_superfluous_alt1.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/error_superclass_superfluous_alt2.res b/tests/sav/nitc/error_superclass_superfluous_alt2.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/error_superclass_superfluous_alt3.res b/tests/sav/nitc/error_superclass_superfluous_alt3.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/error_superclass_superfluous_alt4.res b/tests/sav/nitc/error_superclass_superfluous_alt4.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/error_superclass_superfluous_alt5.res b/tests/sav/nitc/error_superclass_superfluous_alt5.res
deleted file mode 100644 (file)
index 7b87859..0000000
--- a/tests/sav/nitc/error_superclass_superfluous_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-Fatal error: Inheritance loop for class D

diff --git a/tests/sav/nitc/error_type_not_ok5.res b/tests/sav/nitc/error_type_not_ok5.res
deleted file mode 100644 (file)
index 07355f0..0000000
--- a/tests/sav/nitc/error_type_not_ok5.res
+++ /dev/null
@@ -1,6 +0,0 @@
-error_type_not_ok5.nit:23,8--11: Type error: class Fail not found in module error_type_not_ok5.
-error_type_not_ok5.nit:25,18--21: Type error: class Fail not found in module error_type_not_ok5.
-error_type_not_ok5.nit:28,14--17: Type error: class Fail not found in module error_type_not_ok5.
-error_type_not_ok5.nit:29,11--14: Type error: class Fail not found in module error_type_not_ok5.
-error_type_not_ok5.nit:30,11--14: Type error: class Fail not found in module error_type_not_ok5.
-error_type_not_ok5.nit:31,13--16: Type error: class Fail not found in module error_type_not_ok5.

diff --git a/tests/sav/nitc/error_type_not_ok5_alt1.res b/tests/sav/nitc/error_type_not_ok5_alt1.res
deleted file mode 100644 (file)
index 798968a..0000000
--- a/tests/sav/nitc/error_type_not_ok5_alt1.res
+++ /dev/null
@@ -1,6 +0,0 @@
-alt/error_type_not_ok5_alt1.nit:23,8--11: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:25,9--21: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:28,14--17: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:29,11--14: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:30,11--14: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok5_alt1.nit:31,13--16: Type error: 'Fail' is a generic class.

diff --git a/tests/sav/nitc/error_type_unk.res b/tests/sav/nitc/error_type_unk.res
deleted file mode 100644 (file)
index e6ccad7..0000000
--- a/tests/sav/nitc/error_type_unk.res
+++ /dev/null
@@ -1,2 +0,0 @@
-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/nitc/error_type_unk_alt2.res b/tests/sav/nitc/error_type_unk_alt2.res
deleted file mode 100644 (file)
index 4ef79d3..0000000
--- a/tests/sav/nitc/error_type_unk_alt2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-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/nitc/error_type_unk_alt6.res b/tests/sav/nitc/error_type_unk_alt6.res
deleted file mode 100644 (file)
index 65d5de2..0000000
--- a/tests/sav/nitc/error_type_unk_alt6.res
+++ /dev/null
@@ -1,3 +0,0 @@
-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/nitc/error_type_unk_alt7.res b/tests/sav/nitc/error_type_unk_alt7.res
deleted file mode 100644 (file)
index 96675b4..0000000
--- a/tests/sav/nitc/error_type_unk_alt7.res
+++ /dev/null
@@ -1,3 +0,0 @@
-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.

diff --git a/tests/sav/nitc/fixme/base_at_cached.res b/tests/sav/nitc/fixme/base_at_cached.res
deleted file mode 100644 (file)
index 8c33760..0000000
--- a/tests/sav/nitc/fixme/base_at_cached.res
+++ /dev/null
@@ -1,21 +0,0 @@
-10
-30
-70
-110
-130
-170
-
-10
-11
-51
-110
-111
-151
-
-10
-30
-32
-110
-130
-132
-

diff --git a/tests/sav/nitc/fixme/base_attr_gen_alt1.res b/tests/sav/nitc/fixme/base_attr_gen_alt1.res
deleted file mode 100644 (file)
index f41f93e..0000000
--- a/tests/sav/nitc/fixme/base_attr_gen_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Reciever is null (alt/base_attr_gen_alt1.nit:8)

diff --git a/tests/sav/nitc/fixme/base_closure_multi_alt5.res b/tests/sav/nitc/fixme/base_closure_multi_alt5.res
deleted file mode 100644 (file)
index 1000f90..0000000
--- a/tests/sav/nitc/fixme/base_closure_multi_alt5.res
+++ /dev/null
@@ -1,9 +0,0 @@
-0
-1
-2
-3
-4
-5
-6
-7
-8

diff --git a/tests/sav/nitc/fixme/base_closure_raf.res b/tests/sav/nitc/fixme/base_closure_raf.res
deleted file mode 100644 (file)
index 1b5b3d1..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf.res
+++ /dev/null
@@ -1,7 +0,0 @@
-0
-10
-20
-21
-40
-5
-6

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt1.res b/tests/sav/nitc/fixme/base_closure_raf_alt1.res
deleted file mode 100644 (file)
index 6348156..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt1.res
+++ /dev/null
@@ -1,5 +0,0 @@
-0
-10
-40
-5
-6

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt10.res b/tests/sav/nitc/fixme/base_closure_raf_alt10.res
deleted file mode 100644 (file)
index 46f37d8..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt10.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt10.nit:52,2--6: Error: foo requires 1 blocks.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt11.res b/tests/sav/nitc/fixme/base_closure_raf_alt11.res
deleted file mode 100644 (file)
index a4b1956..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt11.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt11.nit:40,9--11: Error: 1 automatic variable names expected, 0 found.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt12.res b/tests/sav/nitc/fixme/base_closure_raf_alt12.res
deleted file mode 100644 (file)
index 45c88d4..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt12.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt12.nit:30,7--9: Type error: expected Int, got Char

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt13.res b/tests/sav/nitc/fixme/base_closure_raf_alt13.res
deleted file mode 100644 (file)
index 219682e..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt13.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt13.nit:28,3--9: Error: arity mismatch; prototype is 'bar'.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt14.res b/tests/sav/nitc/fixme/base_closure_raf_alt14.res
deleted file mode 100644 (file)
index 99c9408..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt14.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt14.nit:28,7--8: Type error: expected Bool, got Int

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt15.res b/tests/sav/nitc/fixme/base_closure_raf_alt15.res
deleted file mode 100644 (file)
index 1b5b3d1..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt15.res
+++ /dev/null
@@ -1,7 +0,0 @@
-0
-10
-20
-21
-40
-5
-6

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt2.res b/tests/sav/nitc/fixme/base_closure_raf_alt2.res
deleted file mode 100644 (file)
index 88a4932..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt2.nit:29,3--5: Error: arity mismatch; prototype is 'bar(i: Int)'.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt3.res b/tests/sav/nitc/fixme/base_closure_raf_alt3.res
deleted file mode 100644 (file)
index cbf0ff6..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt3.nit:31,11--16: Type error: expected expression.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt4.res b/tests/sav/nitc/fixme/base_closure_raf_alt4.res
deleted file mode 100644 (file)
index 3123837..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt4.res
+++ /dev/null
@@ -1,5 +0,0 @@
-0
-10
-20
-5
-6

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt5.res b/tests/sav/nitc/fixme/base_closure_raf_alt5.res
deleted file mode 100644 (file)
index ce40f14..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt5.nit:44,3--11: Error: break without value required in this block.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt6.res b/tests/sav/nitc/fixme/base_closure_raf_alt6.res
deleted file mode 100644 (file)
index 408dba1..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt6.res
+++ /dev/null
@@ -1,6 +0,0 @@
-0
-10
-20
-40
-5
-6

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt7.res b/tests/sav/nitc/fixme/base_closure_raf_alt7.res
deleted file mode 100644 (file)
index 2fce63d..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt7.nit:46,3--14: Error: continue without value required in this block.

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt8.res b/tests/sav/nitc/fixme/base_closure_raf_alt8.res
deleted file mode 100644 (file)
index b6a127d..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt8.res
+++ /dev/null
@@ -1,4 +0,0 @@
-0
-10
-20
-6

diff --git a/tests/sav/nitc/fixme/base_closure_raf_alt9.res b/tests/sav/nitc/fixme/base_closure_raf_alt9.res
deleted file mode 100644 (file)
index c6b65d5..0000000
--- a/tests/sav/nitc/fixme/base_closure_raf_alt9.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_closure_raf_alt9.nit:48,3--12: Error: Return with value in a procedure.

diff --git a/tests/sav/nitc/fixme/base_covar_gen_1alt1_alt1.res b/tests/sav/nitc/fixme/base_covar_gen_1alt1_alt1.res
deleted file mode 100644 (file)
index 912346a..0000000
--- a/tests/sav/nitc/fixme/base_covar_gen_1alt1_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-G0

diff --git a/tests/sav/nitc/fixme/base_covar_gen_1alt1_alt2.res b/tests/sav/nitc/fixme/base_covar_gen_1alt1_alt2.res
deleted file mode 100644 (file)
index 912346a..0000000
--- a/tests/sav/nitc/fixme/base_covar_gen_1alt1_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-G0

diff --git a/tests/sav/nitc/fixme/base_covar_gen_alt3.res b/tests/sav/nitc/fixme/base_covar_gen_alt3.res
deleted file mode 100644 (file)
index 332b60c..0000000
--- a/tests/sav/nitc/fixme/base_covar_gen_alt3.res
+++ /dev/null
@@ -1 +0,0 @@
-GG0

diff --git a/tests/sav/nitc/fixme/base_covar_gen_alt4.res b/tests/sav/nitc/fixme/base_covar_gen_alt4.res
deleted file mode 100644 (file)
index 332b60c..0000000
--- a/tests/sav/nitc/fixme/base_covar_gen_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-GG0

diff --git a/tests/sav/nitc/fixme/base_eq2_float.res b/tests/sav/nitc/fixme/base_eq2_float.res
deleted file mode 100644 (file)
index 62adbf1..0000000
--- a/tests/sav/nitc/fixme/base_eq2_float.res
+++ /dev/null
@@ -1,68 +0,0 @@
-0.000000
--0.000000
-1.000000
-0.000000
--0.000000
-1.000000
-0.000000
--0.000000
-1.000000
-true
-false
-true
-true
-false
-true
-true
-false
-true
-
-false
-true
-true
-false
-true
-true
-false
-true
-true
-
-true
-false
-true
-true
-false
-true
-true
-false
-true
-
-false
-true
-true
-false
-true
-true
-false
-true
-true
-
-true
-false
-true
-true
-false
-true
-true
-false
-true
-
-false
-true
-true
-false
-true
-true
-false
-true
-true

diff --git a/tests/sav/nitc/fixme/base_eq_float.res b/tests/sav/nitc/fixme/base_eq_float.res
deleted file mode 100644 (file)
index 62adbf1..0000000
--- a/tests/sav/nitc/fixme/base_eq_float.res
+++ /dev/null
@@ -1,68 +0,0 @@
-0.000000
--0.000000
-1.000000
-0.000000
--0.000000
-1.000000
-0.000000
--0.000000
-1.000000
-true
-false
-true
-true
-false
-true
-true
-false
-true
-
-false
-true
-true
-false
-true
-true
-false
-true
-true
-
-true
-false
-true
-true
-false
-true
-true
-false
-true
-
-false
-true
-true
-false
-true
-true
-false
-true
-true
-
-true
-false
-true
-true
-false
-true
-true
-false
-true
-
-false
-true
-true
-false
-true
-true
-false
-true
-true

diff --git a/tests/sav/nitc/fixme/base_formal_isa.res b/tests/sav/nitc/fixme/base_formal_isa.res
deleted file mode 100644 (file)
index 7912ac6..0000000
--- a/tests/sav/nitc/fixme/base_formal_isa.res
+++ /dev/null
@@ -1,23 +0,0 @@
-A
-true
-true
-false
-
-G
-true
-true
-false
-true
-false
-
-G
-A
-false
-true
-true
-false
-false
-false
-false
-true
-false

diff --git a/tests/sav/nitc/fixme/base_gen_reassign.res b/tests/sav/nitc/fixme/base_gen_reassign.res
deleted file mode 100644 (file)
index 16e02a6..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign.res
+++ /dev/null
@@ -1 +0,0 @@
-base_gen_reassign.nit:53,1--12: Type error: expected Int, got Discrete

diff --git a/tests/sav/nitc/fixme/base_gen_reassign_alt1.res b/tests/sav/nitc/fixme/base_gen_reassign_alt1.res
deleted file mode 100644 (file)
index 558056d..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_gen_reassign_alt1.nit:53,1--12: Type error: expected Int, got Discrete

diff --git a/tests/sav/nitc/fixme/base_gen_reassign_alt2.res b/tests/sav/nitc/fixme/base_gen_reassign_alt2.res
deleted file mode 100644 (file)
index 1ac5720..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_gen_reassign_alt2.nit:53,1--12: Type error: expected Int, got Discrete

diff --git a/tests/sav/nitc/fixme/base_gen_reassign_alt3.res b/tests/sav/nitc/fixme/base_gen_reassign_alt3.res
deleted file mode 100644 (file)
index 89515eb..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign_alt3.res
+++ /dev/null
@@ -1,3 +0,0 @@
-alt/base_gen_reassign_alt3.nit:46,11--12: Type error: expected Char, got Int
-alt/base_gen_reassign_alt3.nit:46,1--12: Type error: expected Int, got Char
-alt/base_gen_reassign_alt3.nit:53,1--12: Type error: expected Int, got Discrete

diff --git a/tests/sav/nitc/fixme/base_gen_reassign_alt4.res b/tests/sav/nitc/fixme/base_gen_reassign_alt4.res
deleted file mode 100644 (file)
index ed8fb33..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_gen_reassign_alt4.nit:53,1--12: Type error: expected Int, got Discrete

diff --git a/tests/sav/nitc/fixme/base_gen_reassign_alt5.res b/tests/sav/nitc/fixme/base_gen_reassign_alt5.res
deleted file mode 100644 (file)
index fc6f38c..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign_alt5.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/base_gen_reassign_alt5.nit:53,1--12: Type error: expected Int, got Discrete

diff --git a/tests/sav/nitc/fixme/base_gen_reassign_alt6.res b/tests/sav/nitc/fixme/base_gen_reassign_alt6.res
deleted file mode 100644 (file)
index f837e9d..0000000
--- a/tests/sav/nitc/fixme/base_gen_reassign_alt6.res
+++ /dev/null
@@ -1,2 +0,0 @@
-alt/base_gen_reassign_alt6.nit:53,1--12: Type error: expected Int, got Discrete
-alt/base_gen_reassign_alt6.nit:60,1--13: Type error: expected Int, got Discrete

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

diff --git a/tests/sav/nitc/fixme/base_gen_variance3_alt1.res b/tests/sav/nitc/fixme/base_gen_variance3_alt1.res
deleted file mode 100644 (file)
index 458bcc5..0000000
--- a/tests/sav/nitc/fixme/base_gen_variance3_alt1.res
+++ /dev/null
@@ -1,4 +0,0 @@
-2
-100
-!2
-!100

diff --git a/tests/sav/nitc/fixme/base_gen_variance_alt3.res b/tests/sav/nitc/fixme/base_gen_variance_alt3.res
deleted file mode 100644 (file)
index e2e11a7..0000000
--- a/tests/sav/nitc/fixme/base_gen_variance_alt3.res
+++ /dev/null
@@ -1,11 +0,0 @@
-2
-20
-2
-20
-20
-3
-300
-3
-300
-3
-300

diff --git a/tests/sav/nitc/fixme/base_gen_variance_alt5.res b/tests/sav/nitc/fixme/base_gen_variance_alt5.res
deleted file mode 100644 (file)
index 86791a7..0000000
--- a/tests/sav/nitc/fixme/base_gen_variance_alt5.res
+++ /dev/null
@@ -1,10 +0,0 @@
-2
-20
-2
-20
-2
-20
-2
-20
-3
-300

diff --git a/tests/sav/nitc/fixme/base_gen_variance_alt6.res b/tests/sav/nitc/fixme/base_gen_variance_alt6.res
deleted file mode 100644 (file)
index 86791a7..0000000
--- a/tests/sav/nitc/fixme/base_gen_variance_alt6.res
+++ /dev/null
@@ -1,10 +0,0 @@
-2
-20
-2
-20
-2
-20
-2
-20
-3
-300

diff --git a/tests/sav/nitc/fixme/base_gen_variance_int_alt1.res b/tests/sav/nitc/fixme/base_gen_variance_int_alt1.res
deleted file mode 100644 (file)
index 846db3a..0000000
--- a/tests/sav/nitc/fixme/base_gen_variance_int_alt1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-Recieved signal 11
-2

diff --git a/tests/sav/nitc/fixme/base_isa_formal_type.res b/tests/sav/nitc/fixme/base_isa_formal_type.res
deleted file mode 100644 (file)
index bba20e9..0000000
--- a/tests/sav/nitc/fixme/base_isa_formal_type.res
+++ /dev/null
@@ -1,63 +0,0 @@
-true
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-false
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
-true
-

diff --git a/tests/sav/nitc/fixme/base_isa_gen.res b/tests/sav/nitc/fixme/base_isa_gen.res
deleted file mode 100644 (file)
index 93d2c6f..0000000
--- a/tests/sav/nitc/fixme/base_isa_gen.res
+++ /dev/null
@@ -1,49 +0,0 @@
-true
-true
-true
-true
-true
-true
-
-false
-true
-true
-true
-true
-true
-
-false
-true
-true
-true
-true
-true
-
-false
-true
-true
-true
-true
-true
-
-false
-true
-true
-true
-true
-true
-
-false
-true
-true
-true
-true
-true
-
-false
-false
-false
-false
-false
-false
-

diff --git a/tests/sav/nitc/fixme/base_isa_gen1.res b/tests/sav/nitc/fixme/base_isa_gen1.res
deleted file mode 100644 (file)
index 879bc6b..0000000
--- a/tests/sav/nitc/fixme/base_isa_gen1.res
+++ /dev/null
@@ -1,4 +0,0 @@
-base_isa_gen1.nit:62,8--14: Warning: Expression is already a A since it is a F.
-base_isa_gen1.nit:65,8--29: Warning: Expression is already a D[Object, Object] since it is a G[Object].
-base_isa_gen1.nit:66,8--29: Warning: Expression is already a D[Object, Object] since it is a E[F].
-Runtime error: Assert failed (base_isa_gen1.nit:68)

diff --git a/tests/sav/nitc/fixme/base_isa_gen4.res b/tests/sav/nitc/fixme/base_isa_gen4.res
deleted file mode 100644 (file)
index a157503..0000000
--- a/tests/sav/nitc/fixme/base_isa_gen4.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_isa_gen4.nit:34,8--15: Warning: Expression is already a A since it is a B[Canard].
-base_isa_gen4.nit:36,8--22: Warning: Expression is already a B[Animal] since it is a B[Canard].
-base_isa_gen4.nit:40,8--24: Warning: Expression is already a B[B[Canard]].
-base_isa_gen4.nit:42,8--24: Warning: Expression is already a B[B[Animal]] since it is a B[B[Canard]].
-Runtime error: Assert failed (base_isa_gen4.nit:37)

diff --git a/tests/sav/nitc/fixme/base_isa_gen5.res b/tests/sav/nitc/fixme/base_isa_gen5.res
deleted file mode 100644 (file)
index ec59238..0000000
--- a/tests/sav/nitc/fixme/base_isa_gen5.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_isa_gen5.nit:39,8--15: Warning: Expression is already a A since it is a B[Canard].
-base_isa_gen5.nit:41,8--22: Warning: Expression is already a B[Animal] since it is a B[Canard].
-base_isa_gen5.nit:46,8--24: Warning: Expression is already a B[B[Canard]].
-base_isa_gen5.nit:48,8--24: Warning: Expression is already a B[B[Animal]] since it is a B[B[Canard]].
-Runtime error: Assert failed (base_isa_gen5.nit:42)

diff --git a/tests/sav/nitc/fixme/base_isa_gen7.res b/tests/sav/nitc/fixme/base_isa_gen7.res
deleted file mode 100644 (file)
index dc14d35..0000000
--- a/tests/sav/nitc/fixme/base_isa_gen7.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Assert failed (base_isa_gen7.nit:49)

diff --git a/tests/sav/nitc/fixme/base_isa_nullable1.res b/tests/sav/nitc/fixme/base_isa_nullable1.res
deleted file mode 100644 (file)
index 4678874..0000000
--- a/tests/sav/nitc/fixme/base_isa_nullable1.res
+++ /dev/null
@@ -1,6 +0,0 @@
-base_isa_nullable1.nit:39,8--15: Warning: Expression is already a A since it is a B[Integer].
-base_isa_nullable1.nit:41,8--24: Warning: Expression is already a B[Discrete] since it is a B[Integer].
-base_isa_nullable1.nit:46,8--25: Warning: Expression is already a B[B[Integer]].
-base_isa_nullable1.nit:48,8--26: Warning: Expression is already a B[B[Discrete]] since it is a B[B[Integer]].
-base_isa_nullable1.nit:50,8--33: Warning: Expression is already a B[nullable Discrete] since it is a B[Discrete].
-Runtime error: Assert failed (base_isa_nullable1.nit:42)

diff --git a/tests/sav/nitc/fixme/base_isa_nullable2.res b/tests/sav/nitc/fixme/base_isa_nullable2.res
deleted file mode 100644 (file)
index 09b831d..0000000
--- a/tests/sav/nitc/fixme/base_isa_nullable2.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_isa_nullable2.nit:27,8--23: Warning: Expression is already a nullable A since it is a A.
-base_isa_nullable2.nit:29,8--30: Warning: Expression is already a nullable B[Object] since it is a B[Object].
-base_isa_nullable2.nit:30,8--39: Warning: Expression is already a nullable B[nullable Object] since it is a nullable B[Object].
-base_isa_nullable2.nit:33,8--30: Warning: Expression is already a C[nullable Object].
-Runtime error: Assert failed (base_isa_nullable2.nit:32)

diff --git a/tests/sav/nitc/fixme/base_isa_nullable_vt2.res b/tests/sav/nitc/fixme/base_isa_nullable_vt2.res
deleted file mode 100644 (file)
index d01b27b..0000000
--- a/tests/sav/nitc/fixme/base_isa_nullable_vt2.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Assert failed (base_isa_nullable_vt2.nit:52)

diff --git a/tests/sav/nitc/fixme/base_isa_vt3.res b/tests/sav/nitc/fixme/base_isa_vt3.res
deleted file mode 100644 (file)
index 54e76c5..0000000
--- a/tests/sav/nitc/fixme/base_isa_vt3.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Assert failed (base_isa_vt3.nit:42)

diff --git a/tests/sav/nitc/fixme/base_isa_vt_ft.res b/tests/sav/nitc/fixme/base_isa_vt_ft.res
deleted file mode 100644 (file)
index 03110b0..0000000
--- a/tests/sav/nitc/fixme/base_isa_vt_ft.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Assert failed (base_isa_vt_ft.nit:55)

diff --git a/tests/sav/nitc/fixme/base_isa_vt_gen3.res b/tests/sav/nitc/fixme/base_isa_vt_gen3.res
deleted file mode 100644 (file)
index 4eb1aea..0000000
--- a/tests/sav/nitc/fixme/base_isa_vt_gen3.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Assert failed (base_isa_vt_gen3.nit:48)

diff --git a/tests/sav/nitc/fixme/base_iterator1.res b/tests/sav/nitc/fixme/base_iterator1.res
deleted file mode 100644 (file)
index c97a43a..0000000
--- a/tests/sav/nitc/fixme/base_iterator1.res
+++ /dev/null
@@ -1,2 +0,0 @@
-base_iterator1.nit:30,10--12: Type error: Expected a type with an 'iterate' method. Found ColIterable.
-base_iterator1.nit:37,13--15: Type error: Expected a type with an 'iterate' method. Found MapIterable.

diff --git a/tests/sav/nitc/fixme/base_iterator2.res b/tests/sav/nitc/fixme/base_iterator2.res
deleted file mode 100644 (file)
index 8b28cf1..0000000
--- a/tests/sav/nitc/fixme/base_iterator2.res
+++ /dev/null
@@ -1,2 +0,0 @@
-base_iterator2.nit:44,10--12: Type error: Expected a type with an 'iterate' method. Found ColIterable.
-base_iterator2.nit:48,13--15: Type error: Expected a type with an 'iterate' method. Found MapIterable.

diff --git a/tests/sav/nitc/fixme/base_iterator3.res b/tests/sav/nitc/fixme/base_iterator3.res
deleted file mode 100644 (file)
index 9537c49..0000000
--- a/tests/sav/nitc/fixme/base_iterator3.res
+++ /dev/null
@@ -1,5 +0,0 @@
-base_iterator3.nit:35,10--14: Type error: Expected a type with an 'iterate' method. Found Test1.
-base_iterator3.nit:39,10--14: Type error: Expected a type with an 'iterate' method. Found Test2.
-base_iterator3.nit:43,10--14: Type error: Expected a type with an 'iterate' method. Found Test3.
-base_iterator3.nit:46,1--48: Error: Expected 1 variable (e: String), found 2.
-base_iterator3.nit:47,1--47: Error: Expected 2 variables (k: String, v: String), found 1.

diff --git a/tests/sav/nitc/fixme/base_ni_alt1.res b/tests/sav/nitc/fixme/base_ni_alt1.res
deleted file mode 100644 (file)
index 7f85acf..0000000
--- a/tests/sav/nitc/fixme/base_ni_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-Compilation error

diff --git a/tests/sav/nitc/fixme/base_types_formal_and_virtual2.res b/tests/sav/nitc/fixme/base_types_formal_and_virtual2.res
deleted file mode 100644 (file)
index 340f7f1..0000000
--- a/tests/sav/nitc/fixme/base_types_formal_and_virtual2.res
+++ /dev/null
@@ -1 +0,0 @@
-base_types_formal_and_virtual2.nit:67,3--18: Warning: Expression is a B[H], expected W.

diff --git a/tests/sav/nitc/fixme/base_vararg2.res b/tests/sav/nitc/fixme/base_vararg2.res
deleted file mode 100644 (file)
index c9a9806..0000000
--- a/tests/sav/nitc/fixme/base_vararg2.res
+++ /dev/null
@@ -1,36 +0,0 @@
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int

diff --git a/tests/sav/nitc/fixme/base_vararg2_alt1.res b/tests/sav/nitc/fixme/base_vararg2_alt1.res
deleted file mode 100644 (file)
index 8c97a29..0000000
--- a/tests/sav/nitc/fixme/base_vararg2_alt1.res
+++ /dev/null
@@ -1,39 +0,0 @@
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int

diff --git a/tests/sav/nitc/fixme/base_vararg2_alt2.res b/tests/sav/nitc/fixme/base_vararg2_alt2.res
deleted file mode 100644 (file)
index 2a90b4b..0000000
--- a/tests/sav/nitc/fixme/base_vararg2_alt2.res
+++ /dev/null
@@ -1,39 +0,0 @@
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Bool
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int

diff --git a/tests/sav/nitc/fixme/base_vararg2_alt3.res b/tests/sav/nitc/fixme/base_vararg2_alt3.res
deleted file mode 100644 (file)
index 2a90b4b..0000000
--- a/tests/sav/nitc/fixme/base_vararg2_alt3.res
+++ /dev/null
@@ -1,39 +0,0 @@
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Bool
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int

diff --git a/tests/sav/nitc/fixme/base_vararg2_alt4.res b/tests/sav/nitc/fixme/base_vararg2_alt4.res
deleted file mode 100644 (file)
index c919e2b..0000000
--- a/tests/sav/nitc/fixme/base_vararg2_alt4.res
+++ /dev/null
@@ -1,39 +0,0 @@
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int

diff --git a/tests/sav/nitc/fixme/base_vararg2_alt5.res b/tests/sav/nitc/fixme/base_vararg2_alt5.res
deleted file mode 100644 (file)
index 2731703..0000000
--- a/tests/sav/nitc/fixme/base_vararg2_alt5.res
+++ /dev/null
@@ -1,39 +0,0 @@
-Array
- Int
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Int
- Int
-Array
- Bool
- Bool
-Array
- Int
- Int

diff --git a/tests/sav/nitc/fixme/base_virtual_type_self_alt1.res b/tests/sav/nitc/fixme/base_virtual_type_self_alt1.res
deleted file mode 100644 (file)
index 443e73a..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_self_alt1.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/base_virtual_type_self_alt1.nit:44,9: Type error: expected Int, got Float
-alt/base_virtual_type_self_alt1.nit:45,7--12: Type error: expected Float, got Int
-alt/base_virtual_type_self_alt1.nit:46,9: Type error: expected A[T], got Float
-alt/base_virtual_type_self_alt1.nit:47,7--12: Type error: expected Float, got A[T]

diff --git a/tests/sav/nitc/fixme/base_virtual_type_self_alt2.res b/tests/sav/nitc/fixme/base_virtual_type_self_alt2.res
deleted file mode 100644 (file)
index 61faf40..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_self_alt2.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/base_virtual_type_self_alt2.nit:44,9: Type error: expected Int, got Float
-alt/base_virtual_type_self_alt2.nit:45,7--12: Type error: expected Float, got Int
-alt/base_virtual_type_self_alt2.nit:46,9: Type error: expected A[T], got Float
-alt/base_virtual_type_self_alt2.nit:47,7--12: Type error: expected Float, got A[T]

diff --git a/tests/sav/nitc/fixme/base_virtual_type_self_alt3.res b/tests/sav/nitc/fixme/base_virtual_type_self_alt3.res
deleted file mode 100644 (file)
index 2b9d3cd..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_self_alt3.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/base_virtual_type_self_alt3.nit:44,9: Type error: expected Int, got Float
-alt/base_virtual_type_self_alt3.nit:45,7--12: Type error: expected Float, got Int
-alt/base_virtual_type_self_alt3.nit:46,9: Type error: expected A[T], got Float
-alt/base_virtual_type_self_alt3.nit:47,7--12: Type error: expected Float, got A[T]

diff --git a/tests/sav/nitc/fixme/base_virtual_type_self_alt4.res b/tests/sav/nitc/fixme/base_virtual_type_self_alt4.res
deleted file mode 100644 (file)
index 7e3e5d4..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_self_alt4.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/base_virtual_type_self_alt4.nit:44,9: Type error: expected A[Int], got Float
-alt/base_virtual_type_self_alt4.nit:45,7--12: Type error: expected Float, got A[Int]
-alt/base_virtual_type_self_alt4.nit:46,9: Type error: expected A[T], got Float
-alt/base_virtual_type_self_alt4.nit:47,7--12: Type error: expected Float, got A[T]

diff --git a/tests/sav/nitc/fixme/base_virtual_type_self_alt5.res b/tests/sav/nitc/fixme/base_virtual_type_self_alt5.res
deleted file mode 100644 (file)
index 240d628..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_self_alt5.res
+++ /dev/null
@@ -1,4 +0,0 @@
-alt/base_virtual_type_self_alt5.nit:44,9: Type error: expected A[U], got Float
-alt/base_virtual_type_self_alt5.nit:45,7--12: Type error: expected Float, got A[U]
-alt/base_virtual_type_self_alt5.nit:46,9: Type error: expected A[T], got Float
-alt/base_virtual_type_self_alt5.nit:47,7--12: Type error: expected Float, got A[T]

diff --git a/tests/sav/nitc/fixme/base_virtual_type_variance_alt3.res b/tests/sav/nitc/fixme/base_virtual_type_variance_alt3.res
deleted file mode 100644 (file)
index e2e11a7..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_variance_alt3.res
+++ /dev/null
@@ -1,11 +0,0 @@
-2
-20
-2
-20
-20
-3
-300
-3
-300
-3
-300

diff --git a/tests/sav/nitc/fixme/base_virtual_type_variance_alt6.res b/tests/sav/nitc/fixme/base_virtual_type_variance_alt6.res
deleted file mode 100644 (file)
index 86791a7..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_variance_alt6.res
+++ /dev/null
@@ -1,10 +0,0 @@
-2
-20
-2
-20
-2
-20
-2
-20
-3
-300

diff --git a/tests/sav/nitc/fixme/base_virtual_type_variance_alt8.res b/tests/sav/nitc/fixme/base_virtual_type_variance_alt8.res
deleted file mode 100644 (file)
index 7dcbcf0..0000000
--- a/tests/sav/nitc/fixme/base_virtual_type_variance_alt8.res
+++ /dev/null
@@ -1,10 +0,0 @@
-2
-20
-2
-20
-2
-20
-2
-20
-2
-20

diff --git a/tests/sav/nitc/fixme/error_prop_glob.res b/tests/sav/nitc/fixme/error_prop_glob.res
deleted file mode 100644 (file)
index e69de29..0000000

diff --git a/tests/sav/nitc/fixme/error_visibility_protected_alt2.res b/tests/sav/nitc/fixme/error_visibility_protected_alt2.res
deleted file mode 100644 (file)
index d00491f..0000000
--- a/tests/sav/nitc/fixme/error_visibility_protected_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-1

diff --git a/tests/sav/nitc/fixme/error_visibility_protected_alt4.res b/tests/sav/nitc/fixme/error_visibility_protected_alt4.res
deleted file mode 100644 (file)
index d00491f..0000000
--- a/tests/sav/nitc/fixme/error_visibility_protected_alt4.res
+++ /dev/null
@@ -1 +0,0 @@
-1

diff --git a/tests/sav/nitc/fixme/error_visibility_protected_alt8.res b/tests/sav/nitc/fixme/error_visibility_protected_alt8.res
deleted file mode 100644 (file)
index d00491f..0000000
--- a/tests/sav/nitc/fixme/error_visibility_protected_alt8.res
+++ /dev/null
@@ -1 +0,0 @@
-1

diff --git a/tests/sav/nitc/fixme/error_visibility_protected_alt9.res b/tests/sav/nitc/fixme/error_visibility_protected_alt9.res
deleted file mode 100644 (file)
index d00491f..0000000
--- a/tests/sav/nitc/fixme/error_visibility_protected_alt9.res
+++ /dev/null
@@ -1 +0,0 @@
-1

diff --git a/tests/sav/nitc/fixme/test_paire.res b/tests/sav/nitc/fixme/test_paire.res
deleted file mode 100644 (file)
index 323ddf9..0000000
--- a/tests/sav/nitc/fixme/test_paire.res
+++ /dev/null
@@ -1,2 +0,0 @@
-test_paire.nit:45,7--10: Error: A class Pair is already defined at line 17.
-test_paire.nit:54,7--10: Error: A class Pair is already defined at line 17.

diff --git a/tests/sav/nitc/nitmetrics_args1.res b/tests/sav/nitc/nitmetrics_args1.res
deleted file mode 100644 (file)
index 0b58c6f..0000000
--- a/tests/sav/nitc/nitmetrics_args1.res
+++ /dev/null
@@ -1,368 +0,0 @@
-*** METRICS ***
---- AST Metrics ---
-## All nodes of the AST
- population: 47
- minimum value: 1
- maximum value: 39
- total value: 254
- average value: 5.40
- distribution:
-  <=1: sub-population=14 (29.78%); cumulated value=14 (5.51%)
-  <=2: sub-population=6 (12.76%); cumulated value=12 (4.72%)
-  <=4: sub-population=9 (19.14%); cumulated value=29 (11.41%)
-  <=8: sub-population=10 (21.27%); cumulated value=61 (24.01%)
-  <=16: sub-population=4 (8.51%); cumulated value=44 (17.32%)
-  <=32: sub-population=3 (6.38%); cumulated value=55 (21.65%)
-  <=64: sub-population=1 (2.12%); cumulated value=39 (15.35%)
- list:
-  TId: 39 (15.35%)
-  AListExprs: 19 (7.48%)
-  APublicVisibility: 18 (7.08%)
-  ACallExpr: 18 (7.08%)
-  TClassid: 15 (5.90%)
-  TNumber: 10 (3.93%)
-  AIntExpr: 10 (3.93%)
-  AType: 9 (3.54%)
-  TKwend: 8 (3.14%)
-  ASignature: 8 (3.14%)
-  ...
-  AModule: 1 (0.39%)
-  AMainClassdef: 1 (0.39%)
-  ATopClassdef: 1 (0.39%)
-  TKwreturn: 1 (0.39%)
-  AReturnExpr: 1 (0.39%)
-  TKwinterface: 1 (0.39%)
-  ANoImport: 1 (0.39%)
-  AInterfaceClasskind: 1 (0.39%)
-  AMainMethPropdef: 1 (0.39%)
-  TKwimport: 1 (0.39%)
-## All identifiers of the AST
- population: 19
- minimum value: 1
- maximum value: 11
- total value: 54
- average value: 2.84
- distribution:
-  <=1: sub-population=2 (10.52%); cumulated value=2 (3.70%)
-  <=2: sub-population=12 (63.15%); cumulated value=24 (44.44%)
-  <=4: sub-population=3 (15.78%); cumulated value=10 (18.51%)
-  <=8: sub-population=1 (5.26%); cumulated value=7 (12.96%)
-  <=16: sub-population=1 (5.26%); cumulated value=11 (20.37%)
- list:
-  output: 11 (20.37%)
-  Int: 7 (12.96%)
-  run: 4 (7.40%)
-  c: 3 (5.55%)
-  val: 3 (5.55%)
-  i: 2 (3.70%)
-  bar: 2 (3.70%)
-  foo: 2 (3.70%)
-  val2: 2 (3.70%)
-  val1: 2 (3.70%)
-  C: 2 (3.70%)
-  v: 2 (3.70%)
-  baz: 2 (3.70%)
-  a: 2 (3.70%)
-  A: 2 (3.70%)
-  B: 2 (3.70%)
-  b: 2 (3.70%)
-  Object: 1 (1.85%)
-  Bool: 1 (1.85%)
---- Poset metrics ---
-## Module importation hierarchy
-Number of nodes: 1
-Number of edges: 1 (1.00 per node)
-Number of direct edges: 0 (0.0 per node)
-Distribution of greaters
- population: 1
- minimum value: 1
- maximum value: 1
- total value: 1
- average value: 1.00
- distribution:
-  <=1: sub-population=1 (100.00%); cumulated value=1 (100.00%)
-Distribution of direct greaters
- population: 1
- minimum value: 0
- maximum value: 0
- total value: 0
- average value: 0.0
- distribution:
-  <=0: sub-population=1 (100.00%); cumulated value=0 (na%)
-Distribution of smallers
- population: 1
- minimum value: 1
- maximum value: 1
- total value: 1
- average value: 1.00
- distribution:
-  <=1: sub-population=1 (100.00%); cumulated value=1 (100.00%)
-Distribution of direct smallers
- population: 1
- minimum value: 0
- maximum value: 0
- total value: 0
- average value: 0.0
- distribution:
-  <=0: sub-population=1 (100.00%); cumulated value=0 (na%)
-## Module nesting hierarchy
-Number of nodes: 1
-Number of edges: 1 (1.00 per node)
-Number of direct edges: 0 (0.0 per node)
-Distribution of greaters
- population: 1
- minimum value: 1
- maximum value: 1
- total value: 1
- average value: 1.00
- distribution:
-  <=1: sub-population=1 (100.00%); cumulated value=1 (100.00%)
-Distribution of direct greaters
- population: 1
- minimum value: 0
- maximum value: 0
- total value: 0
- average value: 0.0
- distribution:
-  <=0: sub-population=1 (100.00%); cumulated value=0 (na%)
-Distribution of smallers
- population: 1
- minimum value: 1
- maximum value: 1
- total value: 1
- average value: 1.00
- distribution:
-  <=1: sub-population=1 (100.00%); cumulated value=1 (100.00%)
-Distribution of direct smallers
- population: 1
- minimum value: 0
- maximum value: 0
- total value: 0
- average value: 0.0
- distribution:
-  <=0: sub-population=1 (100.00%); cumulated value=0 (na%)
-## Classdef hierarchy
-Number of nodes: 8
-Number of edges: 22 (2.75 per node)
-Number of direct edges: 7 (0.87 per node)
-Distribution of greaters
- population: 8
- minimum value: 2
- maximum value: 3
- total value: 22
- average value: 2.75
- distribution:
-  <=2: sub-population=2 (25.00%); cumulated value=4 (18.18%)
-  <=4: sub-population=6 (75.00%); cumulated value=18 (81.81%)
-Distribution of direct greaters
- population: 8
- minimum value: 0
- maximum value: 1
- total value: 7
- average value: 0.87
- distribution:
-  <=0: sub-population=1 (12.50%); cumulated value=0 (0.0%)
-  <=1: sub-population=7 (87.50%); cumulated value=7 (100.00%)
-Distribution of smallers
- population: 8
- minimum value: 1
- maximum value: 8
- total value: 22
- average value: 2.75
- distribution:
-  <=1: sub-population=6 (75.00%); cumulated value=6 (27.27%)
-  <=8: sub-population=2 (25.00%); cumulated value=16 (72.72%)
-Distribution of direct smallers
- population: 8
- minimum value: 0
- maximum value: 6
- total value: 7
- average value: 0.87
- distribution:
-  <=0: sub-population=6 (75.00%); cumulated value=0 (0.0%)
-  <=1: sub-population=1 (12.50%); cumulated value=1 (14.28%)
-  <=8: sub-population=1 (12.50%); cumulated value=6 (85.71%)
-## Class hierarchy
-Number of nodes: 7
-Number of edges: 13 (1.85 per node)
-Number of direct edges: 6 (0.85 per node)
-Distribution of greaters
- population: 7
- minimum value: 1
- maximum value: 2
- total value: 13
- average value: 1.85
- distribution:
-  <=1: sub-population=1 (14.28%); cumulated value=1 (7.69%)
-  <=2: sub-population=6 (85.71%); cumulated value=12 (92.30%)
-Distribution of direct greaters
- population: 7
- minimum value: 0
- maximum value: 1
- total value: 6
- average value: 0.85
- distribution:
-  <=0: sub-population=1 (14.28%); cumulated value=0 (0.0%)
-  <=1: sub-population=6 (85.71%); cumulated value=6 (100.00%)
-Distribution of smallers
- population: 7
- minimum value: 1
- maximum value: 7
- total value: 13
- average value: 1.85
- distribution:
-  <=1: sub-population=6 (85.71%); cumulated value=6 (46.15%)
-  <=8: sub-population=1 (14.28%); cumulated value=7 (53.84%)
-Distribution of direct smallers
- population: 7
- minimum value: 0
- maximum value: 6
- total value: 6
- average value: 0.85
- distribution:
-  <=0: sub-population=6 (85.71%); cumulated value=0 (0.0%)
-  <=8: sub-population=1 (14.28%); cumulated value=6 (100.00%)
---- Construction of tables ---
-Number of runtime classes: 6 (excluding interfaces and abstract classes)
-Average number of composing class definition by runtime class: 3.00
-Total size of tables (classes and instances): 34 (not including stuff like info for subtyping or call-next-method)
-Average size of table by runtime class: 5.66
-Values never redefined: 34 (100.00%)
---- RTA metrics ---
-Number of live runtime classes: 6
-       Sys Bool Int A B C
-Number of live runtime types (instantied resolved type): 6
-       Sys Bool Int A B C
-Number of live methods: 11
-Number of live method definitions: 14
-Number of live runtime cast types (ie used in as and isa): 0
-       
-Number of dead method definitions of live methods: 0
---- Explicit vs. Implicit Self ---
-Total number of self: 5
-Total number of implicit self: 4 (80.00%)
---- Sends on Nullable Reciever ---
-Total number of sends: 19
-Number of sends on a nullable receiver: 0 (0.0%)
-Number of buggy sends (cannot determine the type of the receiver): 0 (0.0%)
---- Metrics of the explitic static types ---
-Total number of explicit static types: 9
-Statistics of type usage:
- population: 4
- minimum value: 1
- maximum value: 6
- total value: 9
- average value: 2.25
- distribution:
-  <=1: sub-population=3 (75.00%); cumulated value=3 (33.33%)
-  <=8: sub-population=1 (25.00%); cumulated value=6 (66.66%)
- list:
-  Int: 6 (66.66%)
-  C: 1 (11.11%)
-  B: 1 (11.11%)
-  A: 1 (11.11%)
---- Metrics of refinement usage ---
-Number of modules: 1
-
-Number of classes: 7
-  Number of interface kind: 1 (14.28%)
-  Number of enum kind: 2 (28.57%)
-  Number of class kind: 4 (57.14%)
-
-Number of class definitions: 8
-Number of refined classes: 1 (14.28%)
-Average number of class refinments by classes: 0.14
-Average number of class refinments by refined classes: 1.00
-
-Number of properties: 19
-  Number of MAttribute: 3 (15.78%)
-  Number of MMethod: 16 (84.21%)
-
-Number of property definitions: 19
-Number of redefined properties: 0 (0.0%)
-Average number of property redefinitions by property: 0.0
-Average number of property redefinitions by redefined property: na
---- Global Summary metrics ---
-(NMD) Number of Modules: 1
-(NC)  Number of Classes: 4
-(NI)  Number of Interfaces: 1
-(NAC)  Number of Abstract Classes: 0
-(NGC)  Number of Generic Classes: 0
-(NGI)  Number of Generic Interfaces: 0
---- (SL) Std-Lib Summary metrics ---
-(NMDSL) Number of Modules: 0
-(NCSL)  Number of Classes: 0
-(NISL)  Number of Interfaces: 0
-(NACSL)  Number of Abstract Classes: 0
-(NGCSL)  Number of Generic Classes: 0
-(NGISL)  Number of Generic Interfaces: 0
---- (UD) User-Defined Summary metrics ---
-(NMDUD) Number of Modules: 1
-(NCUD)  Number of Classes: 4
-(NIUD)  Number of Interfaces: 1
-(NACUD)  Number of Abstract Classes: 0
-(NGCUD)  Number of Generic Classes: 0
-(NGIUD)  Number of Generic Interfaces: 0
-
---- Global Inheritance metrics ---
-(DIT) Global Depth in Inheritance Tree: 0.85
-(DUI) Proportion of types inheriting another type other than Object: 0.0%
-(CCDUI) Proportion of classes that extend some other class: 0.0%
-(CIDUI) Proportion of classes that implement some other interface: 0.0%
-(IIDUI) Proportion of interfaces that extend some other interface: 0.0%
-(IF) Proportion of types Inherited From: 20.00%
-(CCIF) Proportion of classes extended by class: 0.0%
-(ICIF) Proportion of interfaces implemented by class: 100.00%
-(IIIF) Proportion of interfaces extended by interface: 100.00%
-
---- (SL -> *) Std-Lib Inheritance metrics ---
-(SLDUI) Proportion of SL types inheriting another type other than Object: na%
-(SLCCDUI) Proportion of SL classes that extend some other class: na%
-(SLCIDUI) Proportion of SL classes that implement some other interface: na%
-(SLIIDUI) Proportion of SL interfaces that extend some other interface: na%
-(SLIF) Proportion of SL types Inherited From: na%
-(SLCCIF) Proportion of SL classes extended by class: na%
-(SLICIF) Proportion of SL interfaces implemented by class: na%
-(SLIIIF) Proportion of SL interfaces extended by interface: na%
-
---- (SL -> SL) Std-Lib Inheritance metrics ---
-(SLIFSL) Proportion of SL types Inherited From by SL type: na%
-(SLCCIFSL) Proportion of SL classes extended by SL class: na%
-(SLICIFSL) Proportion of SL interfaces implemented by SL class: na%
-(SLIIIFSL) Proportion of SL interfaces extended by SL interface: na%
-
---- (SL->UD) Std-Lib Inheritance metrics ---
-(SLIFUD) Proportion of SL types Inherited From by UD type: na%
-(SLCCIFUD) Proportion of SL classes extended by UD class: na%
-(SLICIFUD) Proportion of SL interfaces implemented by UD class: na%
-(SLIIIFUD) Proportion of SL interfaces extended by UD interface: na%
-
---- (UD->*) User-Defined Inheritance metrics ---
-(UDDUI) Proportion of UD types inheriting another type other than Object: 0.0%
-(UDCCDUI) Proportion of UD classes that extend some other class: 0.0%
-(UDCIDUI) Proportion of UD classes that implement some other interface: 0.0%
-(UDIIDUI) Proportion of UD interfaces that extend some other interface: 0.0%
-(UDIF) Proportion of UD types Inherited From: 20.00%
-(UDCCIF) Proportion of UD classes extended by class: 0.0%
-(UDICIF) Proportion of UD interfaces implemented by class: 100.00%
-(UDIIIF) Proportion of UD interfaces extended by interface: 100.00%
-
---- (UD -> SL) User-Defined Inheritance metrics ---
-(UDDUISL) Proportion of UD types inheriting another type other SL type: 0.0%
-(UDCCDUISL) Proportion of UD classes that extend some other SL class: 0.0%
-(UDCIDUISL) Proportion of UD classes that implement some other SL interface: 0.0%
-(UDIIDUISL) Proportion of UD interfaces that extend some other SL interface: 0.0%
-
---- (UD -> UD) User-Defined Inheritance metrics ---
-(UDDUIUD) Proportion of UD types inheriting another type other UD type: 0.0%
-(UDCCDUIUD) Proportion of UD classes that extend some other UD class: 0.0%
-(UDCIDUIUD) Proportion of UD classes that implement some other UD interface: 0.0%
-(UDIIDUIUD) Proportion of UD interfaces that extend some other UD interface: 0.0%
-(UDIFUD) Proportion of UD types Inherited From: 20.00%
-(UDCCIFUD) Proportion of UD classes extended by UD class: 0.0%
-(UDICIFUD) Proportion of UD interfaces implemented by UD class: 100.00%
-(UDIIIFUD) Proportion of UD interfaces extended by UD interface: 100.00%
-class_hierarchy.dot
-classdef_hierarchy.dot
-model.html
-module_hierarchy.dot

diff --git a/tests/sav/nitc/rterror_attr_def_alt7.res b/tests/sav/nitc/rterror_attr_def_alt7.res
deleted file mode 100644 (file)
index c4d07ad..0000000
--- a/tests/sav/nitc/rterror_attr_def_alt7.res
+++ /dev/null
@@ -1 +0,0 @@
-Runtime error: Uninitialized attribute @a (alt/rterror_attr_def_alt7.nit)

diff --git a/tests/sav/nitc/test_array_comb_alt1.res b/tests/sav/nitc/test_array_comb_alt1.res
deleted file mode 100644 (file)
index d81a890..0000000
--- a/tests/sav/nitc/test_array_comb_alt1.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/test_array_comb_alt1.nit:23,19--21: Type error: no most general type. Got String and nullable Int at 23,16.

diff --git a/tests/sav/nitc/test_array_comb_alt2.res b/tests/sav/nitc/test_array_comb_alt2.res
deleted file mode 100644 (file)
index f27b705..0000000
--- a/tests/sav/nitc/test_array_comb_alt2.res
+++ /dev/null
@@ -1 +0,0 @@
-alt/test_array_comb_alt2.nit:24,19--21: Type error: no most general type. Got String and nullable Int at 24,16.

diff --git a/tests/sav/nitc/test_array_formal.res b/tests/sav/nitc/test_array_formal.res
deleted file mode 100644 (file)
index b313f9a..0000000
--- a/tests/sav/nitc/test_array_formal.res
+++ /dev/null
@@ -1,51 +0,0 @@
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-true
-true
-true
-
-

diff --git a/tests/sav/nitc/test_variance_attr.res b/tests/sav/nitc/test_variance_attr.res
deleted file mode 100644 (file)
index d2482aa..0000000
--- a/tests/sav/nitc/test_variance_attr.res
+++ /dev/null
@@ -1,2 +0,0 @@
-test_variance_attr.nit:28,15--18: Redef error: Expected nullable Object, as in A::_foo.
-test_variance_attr.nit:29,15--18: Redef error: Expected nullable A, as in A::_bar.

diff --git a/tests/sav/nitc/test_variance_param_alt1.res b/tests/sav/nitc/test_variance_param_alt1.res
deleted file mode 100644 (file)
index 242135d..0000000
--- a/tests/sav/nitc/test_variance_param_alt1.res
+++ /dev/null
@@ -1,4 +0,0 @@
-Runtime error: Cast failed (alt/test_variance_param_alt1.nit)
-AB5
-B5
-5

diff --git a/tests/sav/nitc/test_variance_param_alt2.res b/tests/sav/nitc/test_variance_param_alt2.res
deleted file mode 100644 (file)
index ee90c12..0000000
--- a/tests/sav/nitc/test_variance_param_alt2.res
+++ /dev/null
@@ -1,5 +0,0 @@
-Runtime error: Cast failed (alt/test_variance_param_alt2.nit)
-AB5
-B5
-5
-B5

diff --git a/tests/sav/nitc/test_variance_param_alt3.res b/tests/sav/nitc/test_variance_param_alt3.res
deleted file mode 100644 (file)
index d80727f..0000000
--- a/tests/sav/nitc/test_variance_param_alt3.res
+++ /dev/null
@@ -1,7 +0,0 @@
-Runtime error: Cast failed (alt/test_variance_param_alt3.nit)
-AB5
-B5
-5
-B5
-5
-5

diff --git a/tests/sav/nitc/test_variance_param_alt4.res b/tests/sav/nitc/test_variance_param_alt4.res
deleted file mode 100644 (file)
index 02c9a48..0000000
--- a/tests/sav/nitc/test_variance_param_alt4.res
+++ /dev/null
@@ -1,7 +0,0 @@
-Runtime error: Cast failed (alt/test_variance_param_alt4.nit)
-AB5
-B5
-5
-B5
-5
-5

diff --git a/tests/sav/nitc/test_variance_param_alt5.res b/tests/sav/nitc/test_variance_param_alt5.res
deleted file mode 100644 (file)
index a48e73a..0000000
--- a/tests/sav/nitc/test_variance_param_alt5.res
+++ /dev/null
@@ -1,8 +0,0 @@
-Runtime error: Cast failed (alt/test_variance_param_alt5.nit)
-AB5
-B5
-5
-B5
-5
-5
-5

diff --git a/tests/sav/nitc/test_variance_param_alt6.res b/tests/sav/nitc/test_variance_param_alt6.res
deleted file mode 100644 (file)
index 32891be..0000000
--- a/tests/sav/nitc/test_variance_param_alt6.res
+++ /dev/null
@@ -1,13 +0,0 @@
-Runtime error: Cast failed (alt/test_variance_param_alt6.nit)
-AB5
-B5
-5
-B5
-5
-5
-5
-5
-5
-B5
-5
-5

diff --git a/tests/sav/nitc_args1.res b/tests/sav/nitc_args1.res
deleted file mode 100644 (file)
index 3b18e51..0000000
--- a/tests/sav/nitc_args1.res
+++ /dev/null
@@ -1 +0,0 @@
-hello world

diff --git a/tests/sav/nitc_args2.res b/tests/sav/nitc_args2.res
deleted file mode 100644 (file)
index f00c965..0000000
--- a/tests/sav/nitc_args2.res
+++ /dev/null
@@ -1,10 +0,0 @@
-1
-2
-3
-4
-5
-6
-7
-8
-9
-10

diff --git a/tests/sav/nits.res b/tests/sav/nits.res
deleted file mode 100644 (file)
index 636e0e2..0000000
--- a/tests/sav/nits.res
+++ /dev/null
@@ -1,14 +0,0 @@
-usage: nits [options] file...
-  -W, --warn              Show warnings
-  -q, --quiet             Do not show warnings
-  --stop-on-first-error   Stop on first error
-  --no-color              Do not use color to display errors and warnings
-  --log                   Generate various log files
-  --log-dir               Directory where to generate log files
-  -h, -?, --help          Show Help (This screen)
-  --version               Show version and exit
-  -v, --verbose           Verbose
-  -I, --path              Set include path for loaders (may be used more than once)
-  --only-parse            Only proceed to parse step of loaders
-  --only-metamodel        Stop after meta-model processing
-  -i, --in-place          Generate stub files as .nit.[ch] instead of .stub.nit.[ch]

diff --git a/tests/testall.sh b/tests/testall.sh
index 07b1296..c053160 100755 (executable)
--- a/tests/testall.sh
+++ b/tests/testall.sh
@@ -1,4 +1,4 @@
-for x in nitc nitg-g nitg-s nitg-e niti; do
+for x in nitg-g nitg-s nitg-e niti; do
        echo "--engine $x"
        ./tests.sh --engine $x "$@"
 done

diff --git a/tests/testfull.sh b/tests/testfull.sh
index 8c93549..91e45bd 100755 (executable)
--- a/tests/testfull.sh
+++ b/tests/testfull.sh
@@ -6,4 +6,4 @@ do
        y="$x/$bx.nit"
        test -f $y && list="$list $y"
 done
-./tests.sh "$@" *.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/src/shoot_logic.nit ../lib/*.nit $list ../src/nitdoc.nit ../src/nits.nit ../src/nitc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit ../src/nitx.nit ../src/netdbg.nit ../src/nitlight.nit ../contrib/sort_downloads/src/sort_downloads.nit
+./tests.sh "$@" *.nit ../examples/*.nit ../examples/leapfrog/leapfrog.nit ../examples/shoot/src/shoot_logic.nit ../lib/*.nit $list ../src/nitdoc.nit ../src/test_parser.nit ../src/nit.nit ../src/nitmetrics.nit ../src/nitg.nit ../src/nitx.nit ../src/netdbg.nit ../src/nitlight.nit ../contrib/sort_downloads/src/sort_downloads.nit

diff --git a/tests/tests.sh b/tests/tests.sh
index 6e559b0..e9870ab 100755 (executable)
--- a/tests/tests.sh
+++ b/tests/tests.sh
@@ -32,7 +32,7 @@ Usage: $e [options] modulenames
 -v          Verbose (show tests steps)
 -h          This help
 --tap       Produce TAP output
---engine    Use a specific engine (default=nitc)
+--engine    Use a specific engine (default=nitg)
 --noskip    Do not skip a test even if the .skip file matches
 --[no]soso  Force enable (or disable) SOSO
 END
@@ -253,7 +253,7 @@ find_nitc()
 verbose=false
 stop=false
 tapcount=0
-engine=nitc
+engine=nitg
 noskip=
 while [ $stop = false ]; do
        case $1 in
@@ -270,9 +270,6 @@ while [ $stop = false ]; do
 done
 enginebinname=$engine
 case $engine in
-       nitc)
-               savdirs="sav/$engine/fixme/ sav/$engine/ sav/sav/ sav/"
-               ;;
        nitg)
                engine=nitg-s;
                enginebinname=nitg;

diff --git a/tests/tests_icode.sh b/tests/tests_icode.sh
deleted file mode 100755 (executable)
index 6f55bfd..0000000
--- a/tests/tests_icode.sh
+++ /dev/null
@@ -1,204 +0,0 @@
-#!/bin/bash
-# This file is part of NIT ( http://www.nitlanguage.org ).
-#
-# Copyright 2009 Jean-Sebastien Gelinas <calestar@gmail.com>
-#
-# 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.
-
-usage()
-{
-       e=`basename "$0"`
-       cat<<END
-Usage: $e modulenames
-END
-}
-
-find_nitc()
-{
-       recent=`ls -t ../src/nitc ../src/nitc_[0-9] ../bin/nitc ../c_src/nitc 2>/dev/null | head -1`
-       if [[ "x$recent" == "x" ]]; then
-               echo 'Could not find nitc, aborting'
-               exit 1
-       fi
-       echo 'Using nitc from: '$recent
-       NITC=$recent
-}
-
-# The default nitc compiler
-[ -z "$NITC" ] && find_nitc
-
-if [ $# = 0 ]; then
-       usage;
-       exit
-fi
-
-ok=""
-nok=""
-
-# Process each files given as arguments
-for ii in "$@"; do
-       if [ ! -f $ii ]; then
-               echo "File '$ii' does not exist."
-               continue
-       fi
-
-       # Prepare the includes
-       tmp=${ii/../AA}
-       if [ "x$tmp" = "x$ii" ]; then
-               oincludes="-I . -I ../lib/standard -I ../lib/standard/collection"
-       else
-               oincludes=""
-       fi
-
-       # Process each alternatives in the current file
-       for alt in "$ii" `./alterner.pl --start '#' "$ii"`; do
-               f=`basename "$ii" .nit`
-               d=`dirname "$ii"`
-               ff="$f"
-               i="$ii"
-               includes="$oincludes -I alt"
-
-               echo -n "=> $i: "
-
-               # Clean-up before compile and tests
-               rm -rf .nit_compile 2> /dev/null
-
-               # Compile
-               # The point of ICode testing is to validate analysis/optimizations
-               # Force '--global' option !
-               $NITC $OPT --global --output-format icode "$i" $includes 2> "out/$ff.cmp.err" > "out/$ff.compile.log"
-               ERR=$?
-               if [ "$ERR" != 0 ]; then
-                       # Could not compile
-                       echo "! [======= fail: Compilation error =======]"
-                       nok="$nok $ff"
-               else
-                       TEST_FILE=$d/$ff.tests
-                       if [ ! -f $TEST_FILE ]; then
-                               # Could not find the .tests file associated with this test
-                               echo ". [======= fail: Cannot open test file =======]"
-                               nok="$nok $ff"
-                               continue
-                       fi
-                       echo "."
-
-                       # Execute tests
-                       # Each lines in the .tests file describe a test to execute on the generated
-                       # ICode. The file has 4 parameters:
-                       # - The class
-                       # - The method
-                       # - The type of test
-                       # - Arguments for the test
-                       # We use the class to open the right icode file.
-                       # We use a special method named "no-file" to ensure that the class file does not exist.
-                       # If the method is different from "no-file" then we search in said method for the expression given
-                       # with the _arguments_ field. This expression will be evaluated as a awk regexp.
-                       # We have two types of tests : 
-                       # - has : the given argument must be found for the test to be successful
-                       # - no :  the given argument must NOT be found for the test to be successful
-                       cptr=0
-                       while IFS=, read CLASS METHOD TYPE ATTR
-                       do
-                               ICODE_FILE=$d/.nit_compile/$CLASS.icode
-                               let cptr+=1
-                               echo -n '==> Test #'$cptr' ...... '
-
-                               if [ -f $ICODE_FILE ]; then
-                                       # Check if the file should exist
-                                       if [ "x$METHOD" = "xno-file" ]; then
-                                               # this is not normal, the file should not exist
-                                               echo "Failed"
-                                               nok="$nok $ff#$cptr"
-                                               continue
-                                       fi
-
-                                       # Use awk to get the method in the file and search in it for the argument
-                                       awk '
-                                       BEGIN{
-                                               process=0
-                                       }
-                                       /'"$METHOD"'/{
-                                               process=1
-                                       }
-                                       /^$/ {
-                                               process=0
-                                       }
-                                       /'"$ATTR"'/{
-                                               if(process){
-                                                       exit -3
-                                               }
-                                       }
-                                       ' $ICODE_FILE
-                                       awkstatus=$?
-
-                                       if [ $awkstatus -ne 0 ] ; then
-                                               # Found the value !
-                                               if [ "x$TYPE" = "xno" ]; then
-                                                       # Should not have beed found
-                                                       echo "Failed"
-                                                       nok="$nok $ff#$cptr"
-                                               elif [ "x$TYPE" = "xhas" ]; then
-                                                       # Should have been found
-                                                       echo "Ok"
-                                                       ok="$ok $ff#$cptr"
-                                               else
-                                                       echo "Test file format error !!!"
-                                                       exit -1
-                                               fi
-                                       else
-                                               # Value not found
-                                               if [ "x$TYPE" = "xno" ]; then
-                                                       # Should not have beed found
-                                                       echo "Ok"
-                                                       ok="$ok $ff#$cptr"
-                                               elif [ "x$TYPE" = "xhas" ]; then
-                                                       # Should have been found
-                                                       echo "Failed"
-                                                       nok="$nok $ff#$cptr"
-                                               else
-                                                       echo "Test file format error !!!"
-                                                       exit -1
-                                               fi
-                                       fi
-                               else
-                                       # The class file was not found
-                                       if [ "x$METHOD" = "xno-file" ]; then
-                                               # this is normal
-                                               echo "Ok"
-                                               ok="$ok $ff#$cptr"
-                                       else
-                                               # Should have been found
-                                               echo "Failed"
-                                               nok="$nok $ff#$cptr"
-                                       fi
-                               fi
-                       done < $TEST_FILE
-               fi
-       done
-done
-
-echo "ok: " `echo $ok | wc -w` "/" `echo $ok $nok $nos | wc -w`
-
-if [ -n "$nok" ]; then
-       echo "fail: $nok"
-       echo "There were $(echo $nok | wc -w) errors !"
-fi
-if [ -n "$nos" ]; then
-       echo "no sav: $nos"
-fi
-
-if [ -n "$nok" ]; then
-       exit 1
-else
-       exit 0
-fi