From 8a17be905f435cb71cd0168a53f02aca5c0d364c Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 22 Jul 2014 15:08:42 -0400 Subject: [PATCH] tests: extends base_virtual_type_redef for `is fixed` Signed-off-by: Jean Privat --- tests/base_virtual_type_redef.nit | 3 ++- tests/sav/base_virtual_type_redef_alt2.res | 1 + tests/sav/opengles2_hello_triangle.res | 2 ++ 3 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 tests/sav/base_virtual_type_redef_alt2.res create mode 100644 tests/sav/opengles2_hello_triangle.res diff --git a/tests/base_virtual_type_redef.nit b/tests/base_virtual_type_redef.nit index 0ba28ca..e8feb60 100644 --- 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 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 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. -- 1.7.9.5