tests: add error_redef.nit and error_redef2.nit

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

diff --git a/tests/error_redef.nit b/tests/error_redef.nit
new file mode 100644 (file)
index 0000000..02b4cf2
--- /dev/null
+++ b/tests/error_redef.nit
@@ -0,0 +1,36 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import kernel
+
+class A
+       #1alt1#fun f1 do end
+       #1alt2#fun f1(i: Int) do end
+       #1alt3#fun f1: Int do return 0
+       #1alt4#fun f1(i: Int): Int do return i + 1
+end
+
+class B
+       super A
+       #alt1#redef fun f1 do end
+       #alt2#redef fun f1(i: Int) do end
+       #alt3#redef fun f1(i) do end
+       #alt4#redef fun f1 do return 0
+       #alt5#redef fun f1(i: Int) do return i + 1
+       #alt6#redef fun f1(i) do return i + 1
+       #alt7#redef fun f1: Int do return 0
+       #alt8#redef fun f1(i: Int): Int do return i + 1
+       #alt9#redef fun f1(i): Int do return i + 1
+end
+

diff --git a/tests/error_redef2.nit b/tests/error_redef2.nit
new file mode 100644 (file)
index 0000000..c86eb05
--- /dev/null
+++ b/tests/error_redef2.nit
@@ -0,0 +1,36 @@
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+import kernel
+
+class A
+       #1alt1#fun f1 do end
+       #1alt2#fun f1(i: Int) do end
+       #1alt3#fun f1: Int do return 0
+       #1alt4#fun f1(i: Int): Int do return i + 1
+end
+
+class B
+       super A
+       #alt1#fun f1 do end
+       #alt2#fun f1(i: Int) do end
+       #alt3#fun f1(i) do end
+       #alt4#fun f1 do return 0
+       #alt5#fun f1(i: Int) do return i + 1
+       #alt6#fun f1(i) do return i + 1
+       #alt7#fun f1: Int do return 0
+       #alt8#fun f1(i: Int): Int do return i + 1
+       #alt9#fun f1(i): Int do return i + 1
+end
+

diff --git a/tests/sav/error_redef.sav b/tests/sav/error_redef.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2.sav b/tests/sav/error_redef2.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_1alt1.sav b/tests/sav/error_redef2_1alt1.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_1alt1_alt1.sav b/tests/sav/error_redef2_1alt1_alt1.sav
new file mode 100644 (file)
index 0000000..1b9b1e7
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt1.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt1.nit:26,2--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt2.sav b/tests/sav/error_redef2_1alt1_alt2.sav
new file mode 100644 (file)
index 0000000..607ff65
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt2.nit:26,2--27,14: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt3.sav b/tests/sav/error_redef2_1alt1_alt3.sav
new file mode 100644 (file)
index 0000000..302dd34
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt3.nit:26,2--28,9: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt4.sav b/tests/sav/error_redef2_1alt1_alt4.sav
new file mode 100644 (file)
index 0000000..0dfa5ea
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt4.nit:26,2--29,19: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt5.sav b/tests/sav/error_redef2_1alt1_alt5.sav
new file mode 100644 (file)
index 0000000..c289a09
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt5.nit:26,2--30,31: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt6.sav b/tests/sav/error_redef2_1alt1_alt6.sav
new file mode 100644 (file)
index 0000000..5bc3baa
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt6.nit:26,2--31,26: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt7.sav b/tests/sav/error_redef2_1alt1_alt7.sav
new file mode 100644 (file)
index 0000000..b66c2dd
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt7.nit:26,2--32,24: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt1_alt8.sav b/tests/sav/error_redef2_1alt1_alt8.sav
new file mode 100644 (file)
index 0000000..31f353a
--- /dev/null
+++ b/tests/sav/error_redef2_1alt1_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt1_alt8.nit:26,2--33,36: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

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

diff --git a/tests/sav/error_redef2_1alt2.sav b/tests/sav/error_redef2_1alt2.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_1alt2_alt1.sav b/tests/sav/error_redef2_1alt2_alt1.sav
new file mode 100644 (file)
index 0000000..be0599c
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt1.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt1.nit:26,2--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt2.sav b/tests/sav/error_redef2_1alt2_alt2.sav
new file mode 100644 (file)
index 0000000..4559b26
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt2.nit:26,2--27,14: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt3.sav b/tests/sav/error_redef2_1alt2_alt3.sav
new file mode 100644 (file)
index 0000000..24ce775
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt3.nit:26,2--28,9: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt4.sav b/tests/sav/error_redef2_1alt2_alt4.sav
new file mode 100644 (file)
index 0000000..71135e7
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt4.nit:26,2--29,19: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt5.sav b/tests/sav/error_redef2_1alt2_alt5.sav
new file mode 100644 (file)
index 0000000..87d1a95
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt5.nit:26,2--30,31: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt6.sav b/tests/sav/error_redef2_1alt2_alt6.sav
new file mode 100644 (file)
index 0000000..7207ee1
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt6.nit:26,2--31,26: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt7.sav b/tests/sav/error_redef2_1alt2_alt7.sav
new file mode 100644 (file)
index 0000000..5d3bd07
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt7.nit:26,2--32,24: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt2_alt8.sav b/tests/sav/error_redef2_1alt2_alt8.sav
new file mode 100644 (file)
index 0000000..ef53ddd
--- /dev/null
+++ b/tests/sav/error_redef2_1alt2_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt2_alt8.nit:26,2--33,36: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

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

diff --git a/tests/sav/error_redef2_1alt3.sav b/tests/sav/error_redef2_1alt3.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_1alt3_alt1.sav b/tests/sav/error_redef2_1alt3_alt1.sav
new file mode 100644 (file)
index 0000000..f257748
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt1.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt1.nit:26,2--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt2.sav b/tests/sav/error_redef2_1alt3_alt2.sav
new file mode 100644 (file)
index 0000000..e503951
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt2.nit:26,2--27,14: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt3.sav b/tests/sav/error_redef2_1alt3_alt3.sav
new file mode 100644 (file)
index 0000000..5fe8e50
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt3.nit:26,2--28,9: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt4.sav b/tests/sav/error_redef2_1alt3_alt4.sav
new file mode 100644 (file)
index 0000000..425f060
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt4.nit:26,2--29,19: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt5.sav b/tests/sav/error_redef2_1alt3_alt5.sav
new file mode 100644 (file)
index 0000000..609238d
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt5.nit:26,2--30,31: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt6.sav b/tests/sav/error_redef2_1alt3_alt6.sav
new file mode 100644 (file)
index 0000000..6449580
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt6.nit:26,2--31,26: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt7.sav b/tests/sav/error_redef2_1alt3_alt7.sav
new file mode 100644 (file)
index 0000000..cc1a487
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt7.nit:26,2--32,24: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt3_alt8.sav b/tests/sav/error_redef2_1alt3_alt8.sav
new file mode 100644 (file)
index 0000000..89da193
--- /dev/null
+++ b/tests/sav/error_redef2_1alt3_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt3_alt8.nit:26,2--33,36: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

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

diff --git a/tests/sav/error_redef2_1alt4.sav b/tests/sav/error_redef2_1alt4.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_1alt4_alt1.sav b/tests/sav/error_redef2_1alt4_alt1.sav
new file mode 100644 (file)
index 0000000..b93e18b
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt1.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt1.nit:26,2--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt2.sav b/tests/sav/error_redef2_1alt4_alt2.sav
new file mode 100644 (file)
index 0000000..4cbf9f3
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt2.nit:26,2--27,14: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt3.sav b/tests/sav/error_redef2_1alt4_alt3.sav
new file mode 100644 (file)
index 0000000..2f06e97
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt3.nit:26,2--28,9: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt4.sav b/tests/sav/error_redef2_1alt4_alt4.sav
new file mode 100644 (file)
index 0000000..7ed9028
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt4.nit:26,2--29,19: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt5.sav b/tests/sav/error_redef2_1alt4_alt5.sav
new file mode 100644 (file)
index 0000000..92ac56b
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt5.nit:26,2--30,31: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt6.sav b/tests/sav/error_redef2_1alt4_alt6.sav
new file mode 100644 (file)
index 0000000..b235f5b
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt6.nit:26,2--31,26: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt7.sav b/tests/sav/error_redef2_1alt4_alt7.sav
new file mode 100644 (file)
index 0000000..cb2bd0e
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt7.nit:26,2--32,24: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

diff --git a/tests/sav/error_redef2_1alt4_alt8.sav b/tests/sav/error_redef2_1alt4_alt8.sav
new file mode 100644 (file)
index 0000000..c4c3c92
--- /dev/null
+++ b/tests/sav/error_redef2_1alt4_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef2_1alt4_alt8.nit:26,2--33,36: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.

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

diff --git a/tests/sav/error_redef2_alt1.sav b/tests/sav/error_redef2_alt1.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_alt2.sav b/tests/sav/error_redef2_alt2.sav
new file mode 100644 (file)
index 0000000..e69de29

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

diff --git a/tests/sav/error_redef2_alt4.sav b/tests/sav/error_redef2_alt4.sav
new file mode 100644 (file)
index 0000000..961dfd9
--- /dev/null
+++ b/tests/sav/error_redef2_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef2_alt4.nit:29,12--19: Error: Return with value in a procedure.

diff --git a/tests/sav/error_redef2_alt5.sav b/tests/sav/error_redef2_alt5.sav
new file mode 100644 (file)
index 0000000..e641df4
--- /dev/null
+++ b/tests/sav/error_redef2_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef2_alt5.nit:30,20--31: Error: Return with value in a procedure.

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

diff --git a/tests/sav/error_redef2_alt7.sav b/tests/sav/error_redef2_alt7.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_alt8.sav b/tests/sav/error_redef2_alt8.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef2_alt9.sav b/tests/sav/error_redef2_alt9.sav
new file mode 100644 (file)
index 0000000..a6a3a83
--- /dev/null
+++ b/tests/sav/error_redef2_alt9.sav
@@ -0,0 +1,2 @@
+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/error_redef_1alt1.sav b/tests/sav/error_redef_1alt1.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt1_alt1.sav b/tests/sav/error_redef_1alt1_alt1.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt1_alt2.sav b/tests/sav/error_redef_1alt1_alt2.sav
new file mode 100644 (file)
index 0000000..9efd037
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt1_alt2.nit:26,2--27,20: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt1_alt3.sav b/tests/sav/error_redef_1alt1_alt3.sav
new file mode 100644 (file)
index 0000000..834c9e1
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt1_alt3.nit:26,2--28,15: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt1_alt4.sav b/tests/sav/error_redef_1alt1_alt4.sav
new file mode 100644 (file)
index 0000000..f0a8269
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt1_alt4.nit:29,18--25: Error: Return with value in a procedure.

diff --git a/tests/sav/error_redef_1alt1_alt5.sav b/tests/sav/error_redef_1alt1_alt5.sav
new file mode 100644 (file)
index 0000000..2742a7e
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt1_alt5.nit:26,2--30,37: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt1_alt6.sav b/tests/sav/error_redef_1alt1_alt6.sav
new file mode 100644 (file)
index 0000000..52fa04d
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt1_alt6.nit:26,2--31,32: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt1_alt7.sav b/tests/sav/error_redef_1alt1_alt7.sav
new file mode 100644 (file)
index 0000000..61c1d38
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt1_alt7.nit:26,2--32,30: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/error_redef_1alt1_alt8.sav b/tests/sav/error_redef_1alt1_alt8.sav
new file mode 100644 (file)
index 0000000..71856ba
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt8.sav
@@ -0,0 +1,2 @@
+alt/error_redef_1alt1_alt8.nit:26,2--33,42: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
+alt/error_redef_1alt1_alt8.nit:26,2--33,42: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/error_redef_1alt1_alt9.sav b/tests/sav/error_redef_1alt1_alt9.sav
new file mode 100644 (file)
index 0000000..9a3e6fc
--- /dev/null
+++ b/tests/sav/error_redef_1alt1_alt9.sav
@@ -0,0 +1,2 @@
+alt/error_redef_1alt1_alt9.nit:34,15: Syntax error: untyped parameter.
+alt/error_redef_1alt1_alt9.nit:26,2--34,37: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt2.sav b/tests/sav/error_redef_1alt2.sav
new file mode 100644 (file)
index 0000000..e69de29

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

diff --git a/tests/sav/error_redef_1alt2_alt2.sav b/tests/sav/error_redef_1alt2_alt2.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt2_alt3.sav b/tests/sav/error_redef_1alt2_alt3.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt2_alt4.sav b/tests/sav/error_redef_1alt2_alt4.sav
new file mode 100644 (file)
index 0000000..3727531
--- /dev/null
+++ b/tests/sav/error_redef_1alt2_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt2_alt4.nit:26,2--29,25: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/error_redef_1alt2_alt5.sav b/tests/sav/error_redef_1alt2_alt5.sav
new file mode 100644 (file)
index 0000000..3098d61
--- /dev/null
+++ b/tests/sav/error_redef_1alt2_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt2_alt5.nit:30,26--37: Error: Return with value in a procedure.

diff --git a/tests/sav/error_redef_1alt2_alt6.sav b/tests/sav/error_redef_1alt2_alt6.sav
new file mode 100644 (file)
index 0000000..a0c6500
--- /dev/null
+++ b/tests/sav/error_redef_1alt2_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt2_alt6.nit:31,21--32: Error: Return with value in a procedure.

diff --git a/tests/sav/error_redef_1alt2_alt7.sav b/tests/sav/error_redef_1alt2_alt7.sav
new file mode 100644 (file)
index 0000000..48aa844
--- /dev/null
+++ b/tests/sav/error_redef_1alt2_alt7.sav
@@ -0,0 +1,2 @@
+alt/error_redef_1alt2_alt7.nit:26,2--32,30: Redef error: B::f1 redefines A::f1 with 1 parameter(s).
+alt/error_redef_1alt2_alt7.nit:26,2--32,30: Redef error: The function B::f1 redefines the procedure A::f1.

diff --git a/tests/sav/error_redef_1alt2_alt8.sav b/tests/sav/error_redef_1alt2_alt8.sav
new file mode 100644 (file)
index 0000000..7940908
--- /dev/null
+++ b/tests/sav/error_redef_1alt2_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt2_alt8.nit:26,2--33,42: Redef error: The function B::f1 redefines the procedure A::f1.

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

diff --git a/tests/sav/error_redef_1alt3.sav b/tests/sav/error_redef_1alt3.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt3_alt1.sav b/tests/sav/error_redef_1alt3_alt1.sav
new file mode 100644 (file)
index 0000000..a2ba521
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt1.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt3_alt1.nit:26,2--13: Control error: Reached end of function (a 'return' with a value was expected).

diff --git a/tests/sav/error_redef_1alt3_alt2.sav b/tests/sav/error_redef_1alt3_alt2.sav
new file mode 100644 (file)
index 0000000..cbcbd61
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt2.sav
@@ -0,0 +1,2 @@
+alt/error_redef_1alt3_alt2.nit:26,2--27,20: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
+alt/error_redef_1alt3_alt2.nit:26,2--27,20: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/error_redef_1alt3_alt3.sav b/tests/sav/error_redef_1alt3_alt3.sav
new file mode 100644 (file)
index 0000000..6bd550e
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt3_alt3.nit:26,2--28,15: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt3_alt4.sav b/tests/sav/error_redef_1alt3_alt4.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt3_alt5.sav b/tests/sav/error_redef_1alt3_alt5.sav
new file mode 100644 (file)
index 0000000..8f131f8
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt5.sav
@@ -0,0 +1,2 @@
+alt/error_redef_1alt3_alt5.nit:26,2--30,37: Redef error: B::f1 redefines A::f1 with 0 parameter(s).
+alt/error_redef_1alt3_alt5.nit:26,2--30,37: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/error_redef_1alt3_alt6.sav b/tests/sav/error_redef_1alt3_alt6.sav
new file mode 100644 (file)
index 0000000..9f529f5
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt6.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt3_alt6.nit:26,2--31,32: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt3_alt7.sav b/tests/sav/error_redef_1alt3_alt7.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt3_alt8.sav b/tests/sav/error_redef_1alt3_alt8.sav
new file mode 100644 (file)
index 0000000..b4a8c83
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt3_alt8.nit:26,2--33,42: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt3_alt9.sav b/tests/sav/error_redef_1alt3_alt9.sav
new file mode 100644 (file)
index 0000000..2be5536
--- /dev/null
+++ b/tests/sav/error_redef_1alt3_alt9.sav
@@ -0,0 +1,2 @@
+alt/error_redef_1alt3_alt9.nit:34,15: Syntax error: untyped parameter.
+alt/error_redef_1alt3_alt9.nit:26,2--34,37: Redef error: B::f1 redefines A::f1 with 0 parameter(s).

diff --git a/tests/sav/error_redef_1alt4.sav b/tests/sav/error_redef_1alt4.sav
new file mode 100644 (file)
index 0000000..e69de29

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

diff --git a/tests/sav/error_redef_1alt4_alt2.sav b/tests/sav/error_redef_1alt4_alt2.sav
new file mode 100644 (file)
index 0000000..b1a83fe
--- /dev/null
+++ b/tests/sav/error_redef_1alt4_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt4_alt2.nit:26,2--27,20: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/error_redef_1alt4_alt3.sav b/tests/sav/error_redef_1alt4_alt3.sav
new file mode 100644 (file)
index 0000000..53dbf1d
--- /dev/null
+++ b/tests/sav/error_redef_1alt4_alt3.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt4_alt3.nit:26,2--28,15: Control error: Reached end of function (a 'return' with a value was expected).

diff --git a/tests/sav/error_redef_1alt4_alt4.sav b/tests/sav/error_redef_1alt4_alt4.sav
new file mode 100644 (file)
index 0000000..37bed5e
--- /dev/null
+++ b/tests/sav/error_redef_1alt4_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt4_alt4.nit:26,2--29,25: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/error_redef_1alt4_alt5.sav b/tests/sav/error_redef_1alt4_alt5.sav
new file mode 100644 (file)
index 0000000..d590ee5
--- /dev/null
+++ b/tests/sav/error_redef_1alt4_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt4_alt5.nit:26,2--30,37: Redef error: The procedure B::f1 redefines the function A::f1.

diff --git a/tests/sav/error_redef_1alt4_alt6.sav b/tests/sav/error_redef_1alt4_alt6.sav
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/tests/sav/error_redef_1alt4_alt7.sav b/tests/sav/error_redef_1alt4_alt7.sav
new file mode 100644 (file)
index 0000000..eb1da5e
--- /dev/null
+++ b/tests/sav/error_redef_1alt4_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef_1alt4_alt7.nit:26,2--32,30: Redef error: B::f1 redefines A::f1 with 1 parameter(s).

diff --git a/tests/sav/error_redef_1alt4_alt8.sav b/tests/sav/error_redef_1alt4_alt8.sav
new file mode 100644 (file)
index 0000000..e69de29

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

diff --git a/tests/sav/error_redef_alt1.sav b/tests/sav/error_redef_alt1.sav
new file mode 100644 (file)
index 0000000..0f8df5a
--- /dev/null
+++ b/tests/sav/error_redef_alt1.sav
@@ -0,0 +1 @@
+alt/error_redef_alt1.nit:26,2--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.

diff --git a/tests/sav/error_redef_alt2.sav b/tests/sav/error_redef_alt2.sav
new file mode 100644 (file)
index 0000000..30d7199
--- /dev/null
+++ b/tests/sav/error_redef_alt2.sav
@@ -0,0 +1 @@
+alt/error_redef_alt2.nit:26,2--27,20: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.

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

diff --git a/tests/sav/error_redef_alt4.sav b/tests/sav/error_redef_alt4.sav
new file mode 100644 (file)
index 0000000..c2df203
--- /dev/null
+++ b/tests/sav/error_redef_alt4.sav
@@ -0,0 +1 @@
+alt/error_redef_alt4.nit:26,2--29,25: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.

diff --git a/tests/sav/error_redef_alt5.sav b/tests/sav/error_redef_alt5.sav
new file mode 100644 (file)
index 0000000..f1264fc
--- /dev/null
+++ b/tests/sav/error_redef_alt5.sav
@@ -0,0 +1 @@
+alt/error_redef_alt5.nit:26,2--30,37: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.

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

diff --git a/tests/sav/error_redef_alt7.sav b/tests/sav/error_redef_alt7.sav
new file mode 100644 (file)
index 0000000..169654b
--- /dev/null
+++ b/tests/sav/error_redef_alt7.sav
@@ -0,0 +1 @@
+alt/error_redef_alt7.nit:26,2--32,30: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.

diff --git a/tests/sav/error_redef_alt8.sav b/tests/sav/error_redef_alt8.sav
new file mode 100644 (file)
index 0000000..776ffba
--- /dev/null
+++ b/tests/sav/error_redef_alt8.sav
@@ -0,0 +1 @@
+alt/error_redef_alt8.nit:26,2--33,42: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.

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