tests: extends base_virtual_type_redef for `is fixed`

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

diff --git a/tests/base_virtual_type_redef.nit b/tests/base_virtual_type_redef.nit
index 0ba28ca..e8feb60 100644 (file)
--- a/tests/base_virtual_type_redef.nit
+++ b/tests/base_virtual_type_redef.nit
@@ -17,12 +17,13 @@ import kernel
 interface Number
        type OTHE: Number
        type OTHE2: Int
+       type OTHE3: Object is fixed
 end
-
 redef class Int
        super Number
 
        redef type OTHE: Int
        #alt1#redef type OTHE2: Number
+       #alt2#redef type OTHE3: Int
 end
 

diff --git a/tests/sav/base_virtual_type_redef_alt2.res b/tests/sav/base_virtual_type_redef_alt2.res
new file mode 100644 (file)
index 0000000..cf677e6
--- /dev/null
+++ b/tests/sav/base_virtual_type_redef_alt2.res
@@ -0,0 +1 @@
+alt/base_virtual_type_redef_alt2.nit:26,2--27,22: Redef Error: Virtual type OTHE3 is fixed in super-class Number

diff --git a/tests/sav/opengles2_hello_triangle.res b/tests/sav/opengles2_hello_triangle.res
new file mode 100644 (file)
index 0000000..92405d4
--- /dev/null
+++ b/tests/sav/opengles2_hello_triangle.res
@@ -0,0 +1,2 @@
+../lib/mnit_linux/linux_app.nit:28,16--31: Redef Error: a virtual type cannot be refined.
+../lib/mnit_linux/linux_app.nit:29,16--29: Redef Error: a virtual type cannot be refined.