tests: check that double definitions in distinct AClassdef are detected

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

diff --git a/tests/error_defs.nit b/tests/error_defs.nit
index 4a5036c..ee4652c 100644 (file)
--- a/tests/error_defs.nit
+++ b/tests/error_defs.nit
@@ -42,7 +42,7 @@ end
 #alt8# redef fun foo: Int do return 300 + bar
 #alt8#end
 
-
+#alt9#fun baz do abort
 fun baz: Int do return 1
 
 baz.output

diff --git a/tests/sav/error_defs_alt9.res b/tests/sav/error_defs_alt9.res
new file mode 100644 (file)
index 0000000..8c547a1
--- /dev/null
+++ b/tests/sav/error_defs_alt9.res
@@ -0,0 +1 @@
+alt/error_defs_alt9.nit:46,5--7: Error: A property baz is already defined in class Object at line 45.