nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9d44907
)
tests: add error_redef.nit and error_redef2.nit
author
Jean Privat
<jean@pryen.org>
Fri, 25 Mar 2011 15:02:37 +0000
(11:02 -0400)
committer
Jean Privat
<jean@pryen.org>
Thu, 31 Mar 2011 14:55:10 +0000
(10:55 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>
102 files changed:
tests/error_redef.nit
[new file with mode: 0644]
patch
|
blob
tests/error_redef2.nit
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt1_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt2_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt3_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_1alt4_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef2_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt1_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt2_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt3_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_1alt4_alt9.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt1.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt2.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt3.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt4.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt5.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt6.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt7.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt8.sav
[new file with mode: 0644]
patch
|
blob
tests/sav/error_redef_alt9.sav
[new file with mode: 0644]
patch
|
blob
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.