nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge: Contract refactoring
[nit.git]
/
tests
/
error_expr_not_ok.nit
diff --git
a/tests/error_expr_not_ok.nit
b/tests/error_expr_not_ok.nit
index
edeb2ae
..
0e90f64
100644
(file)
--- a/
tests/error_expr_not_ok.nit
+++ b/
tests/error_expr_not_ok.nit
@@
-16,8
+16,8
@@
class A
class A
- var _x: Object = fail
- var _i: Int = 1
+ var x: Object = fail
+ var i: Int = 1
fun y do fail
fun z: Object do return fail
fun t do
fun y do fail
fun z: Object do return fail
fun t do
@@
-35,7
+35,7
@@
fun trash(x: A) do end
#alt4#var fail: Object = 5
#alt5#var fail: Object = 5
#alt5#fail = fail2(5)
#alt4#var fail: Object = 5
#alt5#var fail: Object = 5
#alt5#fail = fail2(5)
-
+#alt6#var fail = null
var ok = 5
ok.fail
var nok: Int = fail
var ok = 5
ok.fail
var nok: Int = fail
@@
-83,9
+83,9
@@
trash(fail == fail) # no rtype
trash(fail != 1) # no rtype
trash(1 != fail)
trash(fail != fail) # no rtype
trash(fail != 1) # no rtype
trash(1 != fail)
trash(fail != fail) # no rtype
-trash(fail is 1)
-trash(1 is fail)
-trash(fail is fail)
+trash(fail.is_same_instance(1))
+trash(1.is_same_instance(fail))
+trash(fail.is_same_instance(fail))
trash(fail < 1) # no rtype
trash(1 < fail)
trash(fail < fail) # no rtype
trash(fail < 1) # no rtype
trash(1 < fail)
trash(fail < fail) # no rtype