tests: test untyped attributes in base_attr5

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

diff --git a/tests/base_attr5.nit b/tests/base_attr5.nit
index cc918bd..56c88da 100644 (file)
--- a/tests/base_attr5.nit
+++ b/tests/base_attr5.nit
@@ -37,23 +37,24 @@ class B
        #alt4#redef var foo: Int writable = 10
        #alt5#var foo: Int redef writable = 10
        #alt6#redef var foo: Int redef writable = 10
-
+       #alt7#redef var foo
        #alt11#var bar: Int = 20
        #alt12#redef var bar: Int = 20
        #alt13#var bar: Int writable = 20
        #alt14#redef var bar: Int writable = 20
        #alt15#var bar: Int redef writable = 20
        #alt16#redef var bar: Int redef writable = 20
-
+       #alt17#redef var bar
        #alt21#var baz: Int = 30
        #alt22#redef var baz: Int = 30
        #alt23#var baz: Int writable = 30
        #alt24#redef var baz: Int writable = 30
        #alt25#var baz: Int redef writable = 30
        #alt26#redef var baz: Int redef writable = 30
+       #alt27#redef var baz
 end
 
-var b = new B
+var b = new B #alt7,17,27# var b = new B(100)
 b.foo.output
 #alt2#b.foo = 100
 #alt4#b.foo = 100

diff --git a/tests/sav/base_attr5_alt17.res b/tests/sav/base_attr5_alt17.res
new file mode 100644 (file)
index 0000000..d3b9452
--- /dev/null
+++ b/tests/sav/base_attr5_alt17.res
@@ -0,0 +1,2 @@
+alt/base_attr5_alt17.nit:47,12--14: Error: No property B::bar is inherited. Remove the redef keyword to define a new property.
+alt/base_attr5_alt17.nit:47,12--14: Error: Untyped attribute base_attr5_alt17#B#@bar

diff --git a/tests/sav/base_attr5_alt27.res b/tests/sav/base_attr5_alt27.res
new file mode 100644 (file)
index 0000000..f7d5094
--- /dev/null
+++ b/tests/sav/base_attr5_alt27.res
@@ -0,0 +1,7 @@
+1
+1
+
+#200
+
+100
+300

diff --git a/tests/sav/base_attr5_alt7.res b/tests/sav/base_attr5_alt7.res
new file mode 100644 (file)
index 0000000..a5bfa07
--- /dev/null
+++ b/tests/sav/base_attr5_alt7.res
@@ -0,0 +1,8 @@
+100
+100
+
+#200
+
+3
+#300
+3