nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
compiler: runtime error (instead of noop) on dead/invalid code
[nit.git]
/
tests
/
base_isa_cast2.nit
diff --git
a/tests/base_isa_cast2.nit
b/tests/base_isa_cast2.nit
index
4bccc58
..
7517281
100644
(file)
--- a/
tests/base_isa_cast2.nit
+++ b/
tests/base_isa_cast2.nit
@@
-21,11
+21,11
@@
class A
end
class B
end
class B
-special A
- meth foo(i: Int) do i.output
+ super A
+ fun foo(i: Int) do i.output
init do end
end
init do end
end
-
+var a0: A = new B
var a: A = new B
if a isa B then
a.foo(1)
var a: A = new B
if a isa B then
a.foo(1)
@@
-41,13
+41,13
@@
end
if not a isa B then
#alt4#a.foo(-4)
a = new B
if not a isa B then
#alt4#a.foo(-4)
a = new B
- assert a isa B
+
a.foo(3)
end
a.foo(3)
end
-#alt8#a.foo(4)
-
+a.foo(4)
+a = a0
while a isa B do
while a isa B do
- #alt8#a.foo(5)
+ a.foo(5)
a = new A
#alt5#a.foo(-5)
end
a = new A
#alt5#a.foo(-5)
end
@@
-56,7
+56,7
@@
end
while not a isa B do
#alt7#a.foo(-7)
a = new B
while not a isa B do
#alt7#a.foo(-7)
a = new B
- assert a isa B
+
a.foo(6)
end
#alt8#a.foo(7)
a.foo(6)
end
#alt8#a.foo(7)