interface Object
end
-universal Int
+enum Int
fun output is intern
fun +(o: Int): Int is intern
end
-universal Bool
+enum Bool
fun output is intern
end
show(1)
_a1 = new Integer(1)
show(2)
- _a2 = new Integer(_a1.val + 1)
+ _a2 = new Integer(_a1.val + 1) #alt3# #alt4#
show(3)
end
-
+ #alt3#
init nop do end
end
class Bar
-special Foo
- var _a3: Integer#!alt1# #!alt2#
+ super Foo
+ var _a3: Integer#alt1# #alt2#
#alt1#var _a3: Integer = new Integer(9000)
#alt2#var _a3: nullable Integer
redef fun run
end
end
+class Baz
+ super Foo
+end
+
+#alt4# var b2 = new Baz
var f = new Foo
var b = new Bar
f.run