From: Jean Privat <jean@pryen.org>
Date: Tue, 22 Jul 2014 19:08:42 +0000 (-0400)
Subject: tests: extends base_virtual_type_redef for `is fixed`
X-Git-Tag: v0.6.7~16^2~8
X-Git-Url: http://nitlanguage.org

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
--- 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.