+base_as_cast.nit:42,1--12: Warning: Expression is already a Object.
+base_as_cast.nit:52,1--12: Warning: Expression is already a Object.
0
0
0
2
2
2
-base_as_cast.nit:42,1--12: Warning: Expression is already a Object.
-base_as_cast.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-base_as_cast.nit:42,1--12: Warning: Expression is already a Object.
-base_as_cast.nit:52,1--12: Warning: Expression is already a Object.
-0
-0
-0
-
-2
-2
-2
-2
-2
+alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
0
0
0
-Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
-alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-alt/base_as_cast_alt1.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt1.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt1.nit:45)
-0
-0
-0
+alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
0
0
0
-Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
-alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-alt/base_as_cast_alt2.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt2.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt2.nit:46)
-0
-0
-0
+alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
0
0
0
-Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
-alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-alt/base_as_cast_alt3.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt3.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt3.nit:47)
-0
-0
-0
+alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
0
0
0
-Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
-alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-alt/base_as_cast_alt4.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt4.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt4.nit:48)
-0
-0
-0
+alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
0
0
0
2
2
2
-Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
-alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-alt/base_as_cast_alt5.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt5.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt5.nit:57)
-0
-0
-0
-
-2
-2
-2
-2
-2
+alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
+alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
+Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
0
0
0
2
2
2
-Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
-alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
+++ /dev/null
-alt/base_as_cast_alt6.nit:42,1--12: Warning: Expression is already a Object.
-alt/base_as_cast_alt6.nit:52,1--12: Warning: Expression is already a Object.
-Runtime error: Cast failed (alt/base_as_cast_alt6.nit:58)
-0
-0
-0
-
-2
-2
-2
-2
-2
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:39)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:35)
1
+base_isa.nit:39,2--13: Warning: Expression is already a Object.
+base_isa.nit:49,2--13: Warning: Expression is already a Object.
true
true
true
true
true
true
-base_isa.nit:39,2--13: Warning: Expression is already a Object.
-base_isa.nit:49,2--13: Warning: Expression is already a Object.
+++ /dev/null
-base_isa.nit:39,2--13: Warning: Expression is already a Object.
-base_isa.nit:49,2--13: Warning: Expression is already a Object.
-true
-true
-true
-true
-true
-true
-true
-
-true
-true
-true
-true
-true
-true
-true
base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:56,8--16: Warning: superfluous parentheses.
base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-base_isa1.nit:58,8--16: Warning: superfluous parentheses.
true
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[T, U, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object] since it is a Triple[String, Int, V].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String] since it is a Triple[String, String, V].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]] since it is a Triple[String, String, V].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String] since it is a Triple[String, String, V].
+base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
+base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
+base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
+base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
+base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
true
-alt/base_ret_covar_int_alt1.nit:38,18--20: Redef Error: Wrong return type. found Int, expected V.
+1
+2
+3
+4
+5
+1
+2
+3
+4
+5
+11
+22
+33
+44
+55
+11
+22
+33
+44
+55
+++ /dev/null
-1
-2
-3
-4
-5
-1
-2
-3
-4
-5
-11
-22
-33
-44
-55
-11
-22
-33
-44
-55
a[A]
Aa
-b[B[A]]
-ABb
-c[C[A]]
-ACc
-d[D[C[B[A]]]]
-ABCDd
+b[B[a[A]]]
+AaBb
+c[C[a[A]]]
+AaCc
+d[D[c[C[b[B[a[A]]]]]]]
+AaBbCcDd
+++ /dev/null
-alt/base_upcast2_1alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt1_alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt1_alt10.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T
+++ /dev/null
-alt/base_upcast2_1alt1_alt2.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
+++ /dev/null
-alt/base_upcast2_1alt1_alt3.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt1_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt1_alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt1_alt6.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt1_alt7.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T
+++ /dev/null
-alt/base_upcast2_1alt1_alt8.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T
+++ /dev/null
-alt/base_upcast2_1alt1_alt9.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T
+++ /dev/null
-alt/base_upcast2_1alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt4_alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt1.nit:27,21--22: Type error: expected T, got A[Int]
+++ /dev/null
-alt/base_upcast2_1alt4_alt10.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T
+++ /dev/null
-alt/base_upcast2_1alt4_alt2.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
+++ /dev/null
-alt/base_upcast2_1alt4_alt3.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt3.nit:29,21--22: Type error: expected T, got B[Int]
+++ /dev/null
-alt/base_upcast2_1alt4_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt4_alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt4_alt6.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt4_alt7.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T
+++ /dev/null
-alt/base_upcast2_1alt4_alt8.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T
+++ /dev/null
-alt/base_upcast2_1alt4_alt9.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt5_alt1.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt1.nit:27,21--22: Type error: expected T, got A[Int]
+++ /dev/null
-alt/base_upcast2_1alt5_alt10.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt5_alt2.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
+++ /dev/null
-alt/base_upcast2_1alt5_alt3.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt3.nit:29,21--22: Type error: expected T, got B[Int]
+++ /dev/null
-alt/base_upcast2_1alt5_alt4.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt4.nit:30,21--22: Type error: expected T, got B[Bool]
+++ /dev/null
-alt/base_upcast2_1alt5_alt5.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt5_alt6.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/base_upcast2_1alt5_alt7.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T
+++ /dev/null
-alt/base_upcast2_1alt5_alt8.nit:26,14--20: Warning: Expression is already a T since it is a C.
-alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T
+++ /dev/null
-alt/base_upcast2_1alt5_alt9.nit:26,14--20: Warning: Expression is already a T since it is a C.
+++ /dev/null
-alt/error_class_generic_alt1.nit:17,13--17: Redef error: Formal parameter arity missmatch; got 0, expected 1.
+++ /dev/null
-alt/error_class_generic_alt3.nit:19,13--17: Redef error: Formal parameter arity missmatch; got 2, expected 1.
+++ /dev/null
-alt/error_class_generic_alt4.nit:20,7--11: Redef error: Array is an imported class. Add the redef keyword to refine it.
+++ /dev/null
-alt/error_class_generic_alt5.nit:21,7--11: Redef error: Array is an imported class. Add the redef keyword to refine it.
+++ /dev/null
-alt/error_class_generic_alt6.nit:22,7--11: Redef error: Array is an imported class. Add the redef keyword to refine it.
+++ /dev/null
-alt/error_defs_alt1.nit:19,7--12: Redef error: Object is an imported class. Add the redef keyword to refine it.
alt/error_defs_alt4.nit:29,5--7: Redef error: A::baz is an inherited property. To redefine it, add the redef keyword.
-alt/error_defs_alt4.nit:29,8--16: Redef error: error_defs_alt4#A#baz redefines error_defs_alt4#Object#baz with 1 parameter(s), 0 expected. Signature is error_defs_alt4#A#baz: Int
+++ /dev/null
-alt/error_defs_alt4.nit:29,5--7: Redef error: A::baz is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt1_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt2.nit:27,8--15: Redef error: error_redef2_1alt1_alt2#B#f1 redefines error_redef2_1alt1_alt2#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt2#B#f1
+++ /dev/null
-alt/error_redef2_1alt1_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt1_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt3.nit:28,8--10: Redef error: error_redef2_1alt1_alt3#B#f1 redefines error_redef2_1alt1_alt3#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt3#B#f1
+++ /dev/null
-alt/error_redef2_1alt1_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt1_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt5.nit:30,8--15: Redef error: error_redef2_1alt1_alt5#B#f1 redefines error_redef2_1alt1_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt5#B#f1
+++ /dev/null
-alt/error_redef2_1alt1_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt1_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt6.nit:31,8--10: Redef error: error_redef2_1alt1_alt6#B#f1 redefines error_redef2_1alt1_alt6#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt6#B#f1
+++ /dev/null
-alt/error_redef2_1alt1_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt1_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt7.nit:32,10--12: Redef Error: f1 is a procedure, not a function.
+++ /dev/null
-alt/error_redef2_1alt1_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt1_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt1_alt8.nit:33,8--20: Redef error: error_redef2_1alt1_alt8#B#f1 redefines error_redef2_1alt1_alt8#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt8#B#f1
+++ /dev/null
-alt/error_redef2_1alt1_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt2_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt1.nit:26,12: Redef error: error_redef2_1alt2_alt1#B#f1 redefines error_redef2_1alt2_alt1#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt2_alt1#B#f1(i: Int)
+++ /dev/null
-alt/error_redef2_1alt2_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt2_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt4.nit:29,19: Redef error: error_redef2_1alt2_alt4#B#f1 redefines error_redef2_1alt2_alt4#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt2_alt4#B#f1(i: Int)
+++ /dev/null
-alt/error_redef2_1alt2_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt2_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt7.nit:32,10--12: Redef error: error_redef2_1alt2_alt7#B#f1 redefines error_redef2_1alt2_alt7#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt2_alt7#B#f1(i: Int)
+++ /dev/null
-alt/error_redef2_1alt2_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt2_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt2_alt8.nit:33,18--20: Redef Error: f1 is a procedure, not a function.
+++ /dev/null
-alt/error_redef2_1alt2_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt3_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt2.nit:27,8--15: Redef error: error_redef2_1alt3_alt2#B#f1 redefines error_redef2_1alt3_alt2#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt2#B#f1: Int
+++ /dev/null
-alt/error_redef2_1alt3_alt2.nit:27,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt3_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt3.nit:28,8--10: Redef error: error_redef2_1alt3_alt3#B#f1 redefines error_redef2_1alt3_alt3#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt3#B#f1: Int
+++ /dev/null
-alt/error_redef2_1alt3_alt3.nit:28,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt3_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt5.nit:30,8--15: Redef error: error_redef2_1alt3_alt5#B#f1 redefines error_redef2_1alt3_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt5#B#f1: Int
+++ /dev/null
-alt/error_redef2_1alt3_alt5.nit:30,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt3_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt6.nit:31,8--10: Redef error: error_redef2_1alt3_alt6#B#f1 redefines error_redef2_1alt3_alt6#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt6#B#f1: Int
+++ /dev/null
-alt/error_redef2_1alt3_alt6.nit:31,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt3_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt3_alt8.nit:33,8--20: Redef error: error_redef2_1alt3_alt8#B#f1 redefines error_redef2_1alt3_alt8#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt8#B#f1: Int
+++ /dev/null
-alt/error_redef2_1alt3_alt8.nit:33,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt4_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt1.nit:26,12: Redef error: error_redef2_1alt4_alt1#B#f1 redefines error_redef2_1alt4_alt1#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt4_alt1#B#f1(i: Int): Int
+++ /dev/null
-alt/error_redef2_1alt4_alt1.nit:26,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt4_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt4.nit:29,19: Redef error: error_redef2_1alt4_alt4#B#f1 redefines error_redef2_1alt4_alt4#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt4_alt4#B#f1(i: Int): Int
+++ /dev/null
-alt/error_redef2_1alt4_alt4.nit:29,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
alt/error_redef2_1alt4_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
-alt/error_redef2_1alt4_alt7.nit:32,10--12: Redef error: error_redef2_1alt4_alt7#B#f1 redefines error_redef2_1alt4_alt7#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef2_1alt4_alt7#B#f1(i: Int): Int
+++ /dev/null
-alt/error_redef2_1alt4_alt7.nit:32,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
+++ /dev/null
-Runtime error: Cast failed (typing.nit:897)
+++ /dev/null
-A
-A
-B[A]
-AB
-C[A]
-AC
-D[C[A]]
-ACD
+++ /dev/null
-a[A]
-Aa
-b[B[A]]
-ABb
-c[C[A]]
-ACc
-d[D[C[A]]]
-ACDd
+++ /dev/null
-print:4! = 24
-print:4! = 24
-12
-1233
-ab
-abc
+++ /dev/null
-11
-1
-0
-2
-12
-1
-0
-2
-13
-1
-0
-2
base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
+base_isa1.nit:56,8--16: Warning: superfluous parentheses.
base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
+base_isa1.nit:58,8--16: Warning: superfluous parentheses.
true
+++ /dev/null
-Runtime error: Uninitialized attribute _i (base_attr_init_val1.nit:20)
+++ /dev/null
-Runtime error: Assert failed (base_isa_vt_gen2.nit:48)
--- /dev/null
+test_paire.nit:45,7--10: Error: A class Pair is already defined at line 17.
+test_paire.nit:54,7--10: Error: A class Pair is already defined at line 17.
-d, --dir Directory where doc is generated
--source What link for source (%f for filename, %l for first line, %L for last line)
--sharedir Directory containing the nitdoc files
- --no-dot Do not generate graphes with graphiviz
+ --no-dot Do not generate graphes with graphviz
--private Generate the private API
--custom-title Title displayed in the top of the Overview page and as suffix of all page names
--custom-footer-text Text displayed as footer of all pages
--custom-overview-text Text displayed as introduction of Overview page before the modules list
--custom-menu-items Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)
- --github-origin The branch where edited commits will be pulled into (ex: user:repo:branch)
+ --github-upstream The branch where edited commits will be pulled into (ex: user:repo:branch)
+ --github-base-sha1 The sha1 of the base commit used to create pull request
+ --github-gitdir The git working directory used to resolve path name (ex: /home/me/myproject/)
+++ /dev/null
-usage: nitdoc [options] file...
- -W, --warn Show warnings
- -q, --quiet Do not show warnings
- --stop-on-first-error Stop on first error
- --no-color Do not use color to display errors and warnings
- --log Generate various log files
- --log-dir Directory where to generate log files
- -h, -?, --help Show Help (This screen)
- --version Show version and exit
- -v, --verbose Verbose
- -I, --path Set include path for loaders (may be used more than once)
- --only-parse Only proceed to parse step of loaders
- --only-metamodel Stop after meta-model processing
- -d, --dir Directory where doc is generated
- --source What link for source (%f for filename, %l for first line, %L for last line)
- --sharedir Directory containing the nitdoc files
- --no-dot Do not generate graphes with graphviz
- --private Generate the private API
- --custom-title Title displayed in the top of the Overview page and as suffix of all page names
- --custom-footer-text Text displayed as footer of all pages
- --custom-overview-text Text displayed as introduction of Overview page before the modules list
- --custom-menu-items Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)
- --github-upstream The branch where edited commits will be pulled into (ex: user:repo:branch)
- --github-base-sha1 The sha1 of the base commit used to create pull request
- --github-gitdir The git working directory used to resolve path name (ex: /home/me/myproject/)
-../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
-A.html
-B.html
-Bool.html
-Int.html
-Object.html
-Sys.html
-class_A.dot
-class_A.map
-class_A.png
-class_A.s.dot
-class_B.dot
-class_B.map
-class_B.png
-class_B.s.dot
-class_Bool.dot
-class_Bool.map
-class_Bool.png
-class_Bool.s.dot
-class_Int.dot
-class_Int.map
-class_Int.png
-class_Int.s.dot
-class_Object.dot
-class_Object.map
-class_Object.png
-class_Object.s.dot
-class_Sys.dot
-class_Sys.map
-class_Sys.png
-class_Sys.s.dot
+ZeroClipboard.swf
+class_module_0_Int.html
+class_module_0_Object.html
+class_module_0_Sys.html
+class_module_1_A.html
+class_module_1_B.html
dep.dot
dep.map
dep.png
dep.s.dot
-full-index.html
-help.html
+dep_A.dot
+dep_A.map
+dep_A.png
+dep_A.s.dot
+dep_B.dot
+dep_B.map
+dep_B.png
+dep_B.s.dot
+dep_Int.dot
+dep_Int.map
+dep_Int.png
+dep_Int.s.dot
+dep_Object.dot
+dep_Object.map
+dep_Object.png
+dep_Object.s.dot
+dep_Sys.dot
+dep_Sys.map
+dep_Sys.png
+dep_Sys.s.dot
+dep_module_0.dot
+dep_module_0.map
+dep_module_0.png
+dep_module_0.s.dot
+dep_module_1.dot
+dep_module_1.map
+dep_module_1.png
+dep_module_1.s.dot
index.html
-module_0.dot
-module_0.html
-module_0.map
-module_0.png
-module_0.s.dot
-module_1.dot
-module_1.html
-module_1.map
-module_1.png
-module_1.s.dot
+module_module_0.html
+module_module_1.html
quicksearch-list.js
resources/
scripts/
+search.html
styles/
+++ /dev/null
-ZeroClipboard.swf
-class_module_0_Int.html
-class_module_0_Object.html
-class_module_0_Sys.html
-class_module_1_A.html
-class_module_1_B.html
-dep.dot
-dep.map
-dep.png
-dep.s.dot
-dep_A.dot
-dep_A.map
-dep_A.png
-dep_A.s.dot
-dep_B.dot
-dep_B.map
-dep_B.png
-dep_B.s.dot
-dep_Int.dot
-dep_Int.map
-dep_Int.png
-dep_Int.s.dot
-dep_Object.dot
-dep_Object.map
-dep_Object.png
-dep_Object.s.dot
-dep_Sys.dot
-dep_Sys.map
-dep_Sys.png
-dep_Sys.s.dot
-dep_module_0.dot
-dep_module_0.map
-dep_module_0.png
-dep_module_0.s.dot
-dep_module_1.dot
-dep_module_1.map
-dep_module_1.png
-dep_module_1.s.dot
-index.html
-module_module_0.html
-module_module_1.html
-quicksearch-list.js
-resources/
-scripts/
-search.html
-styles/
+++ /dev/null
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
+++ /dev/null
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
+++ /dev/null
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-true
+++ /dev/null
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
+++ /dev/null
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
+++ /dev/null
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-true
+++ /dev/null
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
+++ /dev/null
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
-Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:35)
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:39)
1
+++ /dev/null
-base_isa1.nit:56,9--15: Warning: Expression is already a A since it is a G.
-base_isa1.nit:58,9--15: Warning: Expression is already a B since it is a D.
-true
+++ /dev/null
-base_isa_vt_gen1.nit:30,10--34: Warning: Expression is already a Triple[A#0, A#1, V].
-base_isa_vt_gen1.nit:54,8--43: Warning: Expression is already a Triple[String, Int, Object].
-base_isa_vt_gen1.nit:57,8--46: Warning: Expression is already a Triple[String, String, String].
-base_isa_vt_gen1.nit:60,8--48: Warning: Expression is already a Triple[String, String, B[String]].
-base_isa_vt_gen1.nit:63,8--46: Warning: Expression is already a Triple[String, String, String].
-true
+++ /dev/null
-a[A]
-Aa
-b[B[a[A]]]
-AaBb
-c[C[a[A]]]
-AaCc
-d[D[c[C[b[B[a[A]]]]]]]
-AaBbCcDd
+++ /dev/null
-alt/error_needed_method_alt4.nit:49,10--14: Fatal Error: String must have a property named from_cstring.
+++ /dev/null
-test_attr_easy.nit:19,5--14: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,18--27: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,31--39: Warning: Expression is already a Int.
-test_attr_easy.nit:19,43--53: Warning: Expression is already a Float.
-test_attr_easy.nit:20,5--16: Warning: Expression is already a String.
-test_attr_easy.nit:20,20--26: Warning: Expression is already a B.
-test_attr_easy.nit:20,44--62: Warning: Expression is already a HashMap[Int,B].
-true false 12345 1.234500 asdf true
-an instance of B
-true true true true
-true true true true
-../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
usage: nits [options] file...
-W, --warn Show warnings
-q, --quiet Do not show warnings
+++ /dev/null
-usage: nits [options] file...
- -W, --warn Show warnings
- -q, --quiet Do not show warnings
- --stop-on-first-error Stop on first error
- --no-color Do not use color to display errors and warnings
- --log Generate various log files
- --log-dir Directory where to generate log files
- -h, -?, --help Show Help (This screen)
- --version Show version and exit
- -v, --verbose Verbose
- -I, --path Set include path for loaders (may be used more than once)
- --only-parse Only proceed to parse step of loaders
- --only-metamodel Stop after meta-model processing
- -i, --in-place Generate stub files as .nit.[ch] instead of .stub.nit.[ch]
test_attr_easy.nit:20,5--16: Warning: Expression is already a String.
test_attr_easy.nit:20,20--26: Warning: Expression is already a B.
test_attr_easy.nit:20,44--62: Warning: Expression is already a HashMap[Int, B].
-true false 12345 1.234 asdf true
+true false 12345 1.235 asdf true
an instance of B
true true true true
true true true true
+++ /dev/null
-test_attr_easy.nit:19,5--14: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,18--27: Warning: Expression is already a Bool.
-test_attr_easy.nit:19,31--39: Warning: Expression is already a Int.
-test_attr_easy.nit:19,43--53: Warning: Expression is already a Float.
-test_attr_easy.nit:20,5--16: Warning: Expression is already a String.
-test_attr_easy.nit:20,20--26: Warning: Expression is already a B.
-test_attr_easy.nit:20,44--62: Warning: Expression is already a HashMap[Int, B].
-true false 12345 1.235 asdf true
-an instance of B
-true true true true
-true true true true
+test_isa.nit:25,7--19: Warning: Expression is already a Object.
+test_isa.nit:34,7--19: Warning: Expression is already a Object.
+test_isa.nit:43,7--28: Warning: Expression is already a nullable Object.
int:
true
true
true
true
true
-test_isa.nit:25,7--19: Warning: Expression is already a Object.
-test_isa.nit:34,7--19: Warning: Expression is already a Object.
-test_isa.nit:43,7--28: Warning: Expression is already a nullable Object.
+++ /dev/null
-test_isa.nit:25,7--19: Warning: Expression is already a Object.
-test_isa.nit:34,7--19: Warning: Expression is already a Object.
-test_isa.nit:43,7--28: Warning: Expression is already a nullable Object.
-int:
-true
-true
-true
-true
-true
-true
-string:
-true
-true
-true
-true
-true
-true
-null:
-true
-true
-true
-true
-true
-true
+++ /dev/null
-../lib/pipeline.nit:50,10--35: Warning: Expression is already a Collection[Object] since it is a Collection[E].
-../lib/pipeline.nit:67,10--35: Warning: Expression is already a Collection[Object] since it is a Collection[E].
-../lib/pipeline.nit:165,17--36: Warning: Expression is already a Object since it is a E.
-../lib/pipeline.nit:167,40--61: Warning: Expression is already a Object since it is a E.
-1111223
-123
-12132
-1007
-1020101010302
-232
-12
-9991000
-9991000
-12
-3
+test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
1
1
1
1
1
-test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
+++ /dev/null
-test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
-1
-1
-1
-1
-1
-5
warn_par.nit:2,8--14: Warning: superfluous parentheses.
warn_par.nit:4,5--10: Warning: superfluous parentheses.
warn_par.nit:5,8--13: Warning: superfluous parentheses.
warn_par.nit:6,11--15: Warning: superfluous parentheses.
warn_par.nit:7,9--11: Warning: superfluous parentheses.
warn_par.nit:10,13--14: Warning: superfluous parentheses.
+5
+++ /dev/null
-warn_par.nit:2,8--14: Warning: superfluous parentheses.
-warn_par.nit:4,5--10: Warning: superfluous parentheses.
-warn_par.nit:5,8--13: Warning: superfluous parentheses.
-warn_par.nit:6,11--15: Warning: superfluous parentheses.
-warn_par.nit:7,9--11: Warning: superfluous parentheses.
-warn_par.nit:10,13--14: Warning: superfluous parentheses.
-5