metamodel: lazily compute global properties

[nit.git] / tests / test_variance_param.nit

diff --git a/tests/test_variance_param.nit b/tests/test_variance_param.nit
index 79ef0f3..00009d2 100644 (file)
--- a/tests/test_variance_param.nit
+++ b/tests/test_variance_param.nit
@@ -17,10 +17,10 @@
 class A
        type T: A
        type U: B
-       meth foo(a: T) do a.output
-       meth bar(b: U) do b.output
-       meth baz(i: Int) do i.output
-       redef meth output do 'A'.output
+       fun foo(a: T) do a.out
+       fun bar(b: U) do b.out
+       fun baz(i: Int) do i.out
+       fun out do 'A'.output
 
        init do end
 end
@@ -29,10 +29,10 @@ class B
 special A
        redef type T: B
        redef type U: Int
-       redef meth foo(a: T) do a.output
-       redef meth bar(b: U) do b.output
-       redef meth baz(i: Int) do i.output
-       redef meth output do 'B'.output
+       redef fun foo(a: T) do a.out
+       redef fun bar(b: U) do b.out
+       redef fun baz(i: Int) do i.out
+       redef fun out do 'B'.output
 
        init do end
 end
@@ -40,9 +40,19 @@ end
 redef class Int
 special B
        redef type T: Int
-       redef meth foo(a: T) do a.output
-       redef meth bar(b: U) do b.output
-       redef meth output is intern
+       redef fun foo(a: T) do a.out
+       redef fun bar(b: U) do b.out
+       redef fun output is intern
+       redef fun out
+       do
+               var i: Object = self
+               if i isa Int then
+                       i.output
+               else
+                       'X'.output
+               end
+       end
+
 end
 
 var a = new A