--- /dev/null
+alt/base_array_alt1.nit:27,9--18: Type Error: ambiguous array type Int Bool
--- /dev/null
+0
+0
+0
+
+2
+2
+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
+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
+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
+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
+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
+0
+0
+0
+
+2
+2
+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
+0
+0
+0
+
+2
+2
+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
+1
+2
+3
+4
+5
+6
+
+3
+6
+
--- /dev/null
+alt/base_as_notnull_alt1.nit:50,6--19: Type error: expected B, got A
--- /dev/null
+alt/base_as_notnull_alt2.nit:51,6--20: Type error: expected B, got A
--- /dev/null
+alt/base_as_notnull_alt3.nit:53,6--20: Type error: expected B, got A
--- /dev/null
+alt/base_as_notnull_alt4.nit:54,6--21: Type error: expected B, got A
--- /dev/null
+1
+2
+3
+4
+5
+6
+
+3
+6
+
+Runtime error: Cast failed (alt/base_as_notnull_alt5.nit:59)
--- /dev/null
+1
+2
+3
+4
+5
+6
+
+3
+6
+
+Runtime error: Cast failed (alt/base_as_notnull_alt6.nit:60)
--- /dev/null
+alt/base_as_notnull_alt7.nit:61,1--17: Type error: as(not null) on null
--- /dev/null
+alt/base_attr3_alt1.nit:22,3--8: Error: Method or variable 'a1=' unknown in B.
+alt/base_attr3_alt1.nit:24,3--8: Error: Method or variable 'a2=' unknown in B.
+alt/base_attr3_alt1.nit:25,3--4: Error: Method or variable 'a3' unknown in B.
+alt/base_attr3_alt1.nit:26,3--8: Error: Method or variable 'a3=' unknown in B.
+alt/base_attr3_alt1.nit:31,3--4: Error: Method or variable 'a6' unknown in B.
+alt/base_attr3_alt1.nit:37,3--4: Error: Method or variable 'a9' unknown in B.
+alt/base_attr3_alt1.nit:40,3--9: Error: Method or variable 'a10=' unknown in B.
+alt/base_attr3_alt1.nit:42,3--9: Error: Method or variable 'a11=' unknown in B.
+alt/base_attr3_alt1.nit:43,3--5: Error: Method or variable 'a12' unknown in B.
+alt/base_attr3_alt1.nit:44,3--9: Error: Method or variable 'a12=' unknown in B.
--- /dev/null
+alt/base_attr3_alt2.nit:49,3--10: Error: Method 'a1=' doesn't exists in A.
+alt/base_attr3_alt2.nit:51,3--10: Error: Method 'a2=' doesn't exists in A.
+alt/base_attr3_alt2.nit:52,3--6: Error: Method 'a3' doesn't exists in A.
+alt/base_attr3_alt2.nit:53,3--10: Error: Method 'a3=' doesn't exists in A.
+alt/base_attr3_alt2.nit:58,3--6: Error: Method 'a6' doesn't exists in A.
+alt/base_attr3_alt2.nit:64,3--6: Error: Method 'a9' doesn't exists in A.
+alt/base_attr3_alt2.nit:67,3--11: Error: Method 'a10=' doesn't exists in A.
+alt/base_attr3_alt2.nit:69,3--11: Error: Method 'a11=' doesn't exists in A.
+alt/base_attr3_alt2.nit:70,3--7: Error: Method 'a12' doesn't exists in A.
+alt/base_attr3_alt2.nit:71,3--11: Error: Method 'a12=' doesn't exists in A.
--- /dev/null
+alt/base_attr3_alt3.nit:80,2--9: Error: Method 'a1=' doesn't exists in A.
+alt/base_attr3_alt3.nit:82,2--9: Error: Method 'a2=' doesn't exists in A.
+alt/base_attr3_alt3.nit:83,2--5: Error: Method 'a3' doesn't exists in A.
+alt/base_attr3_alt3.nit:84,2--9: Error: Method 'a3=' doesn't exists in A.
+alt/base_attr3_alt3.nit:89,2--5: Error: Method 'a6' doesn't exists in A.
+alt/base_attr3_alt3.nit:95,2--5: Error: Method 'a9' doesn't exists in A.
+alt/base_attr3_alt3.nit:98,2--10: Error: Method 'a10=' doesn't exists in A.
+alt/base_attr3_alt3.nit:100,2--10: Error: Method 'a11=' doesn't exists in A.
+alt/base_attr3_alt3.nit:101,2--6: Error: Method 'a12' doesn't exists in A.
+alt/base_attr3_alt3.nit:102,2--10: Error: Method 'a12=' doesn't exists in A.
--- /dev/null
+alt/base_attr3_alt4.nit:110,2--9: Error: Method 'a1=' doesn't exists in B.
+alt/base_attr3_alt4.nit:112,2--9: Error: Method 'a2=' doesn't exists in B.
+alt/base_attr3_alt4.nit:113,2--5: Error: Method 'a3' doesn't exists in B.
+alt/base_attr3_alt4.nit:114,2--9: Error: Method 'a3=' doesn't exists in B.
+alt/base_attr3_alt4.nit:119,2--5: Error: Method 'a6' doesn't exists in B.
+alt/base_attr3_alt4.nit:125,2--5: Error: Method 'a9' doesn't exists in B.
+alt/base_attr3_alt4.nit:128,2--10: Error: Method 'a10=' doesn't exists in B.
+alt/base_attr3_alt4.nit:130,2--10: Error: Method 'a11=' doesn't exists in B.
+alt/base_attr3_alt4.nit:131,2--6: Error: Method 'a12' doesn't exists in B.
+alt/base_attr3_alt4.nit:132,2--10: Error: Method 'a12=' doesn't exists in B.
--- /dev/null
+alt/base_attr7_alt1.nit:34,17--20: Redef Error: Wrong return type. found Bool, expected Int.
--- /dev/null
+alt/base_attr7_alt2.nit:35,11--14: Redef Error: Wrong type for parameter `bar'. found Bool, expected Int.
--- /dev/null
+alt/base_attr7_alt3.nit:36,17--20: Redef Error: Wrong return type. found Bool, expected Int.
+alt/base_attr7_alt3.nit:36,17--20: Redef Error: Wrong type for parameter `baz'. found Bool, expected Int.
--- /dev/null
+1
+false
+false
+2
+true
+false
+3
+true
+false
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt3.nit:101)
--- /dev/null
+1
+false
+false
+2
+true
+false
+3
+true
+false
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_isset_alt4.nit:100)
--- /dev/null
+1
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_alt2.nit:39)
--- /dev/null
+1
+Runtime error: Uninitialized attribute _a2 (alt/base_attr_nullable_int_alt2.nit:33)
--- /dev/null
+true
+true
+true
+true
+true
+true
+true
+true
+true
+true
+true
+true
--- /dev/null
+alt/base_if_expr_alt1.nit:39,10--34: Type Error: ambiguous type A vs Int
--- /dev/null
+alt/base_init_simple_alt1.nit:15,8--11: Error: No property B::init3 is inherited. Remove the redef keyword to define a new property.
--- /dev/null
+true
+true
+true
+true
+true
+true
+true
+
+true
+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
+alt/base_label_do_alt6.nit:37,6--13: Syntax error: label l1 already defined.
--- /dev/null
+alt/base_label_for_alt6.nit:38,6--13: Syntax error: label l1 already defined.
--- /dev/null
+alt/base_label_loop_alt6.nit:43,6--13: Syntax error: label l1 already defined.
--- /dev/null
+alt/base_label_while_alt6.nit:40,6--13: Syntax error: label l1 already defined.
--- /dev/null
+alt/base_prot2_alt1.nit:25,3--5: Error: Method or variable 'pri' unknown in A2.
--- /dev/null
+alt/base_prot2_alt2.nit:35,3--7: Error: Method 'pro' is protected and can only acceded by self. none
--- /dev/null
+alt/base_prot2_alt3.nit:36,3--7: Error: Method 'pri' doesn't exists in A.
--- /dev/null
+alt/base_prot2_alt4.nit:41,3--8: Error: Method 'pro' is protected and can only acceded by self. none
--- /dev/null
+alt/base_prot2_alt5.nit:42,3--8: Error: Method 'pri' doesn't exists in A2.
--- /dev/null
+alt/base_range_alt1.nit:26,10--14: Type error: expected Discrete, got A
+alt/base_range_alt1.nit:26,17--21: Type error: expected Discrete, got A
--- /dev/null
+alt/base_range_alt2.nit:28,9--16: Type Error: Cannot create range: Int vs Char
--- /dev/null
+alt/base_sig_inh_alt1.nit:42,24--30: Error: Method 'first' doesn't exists in Int.
--- /dev/null
+base_upcast2.nit:26,10: Type error: class T not found in module base_upcast2.
--- /dev/null
+alt/base_upcast2_1alt1_alt10.nit:36,21: Type error: expected C, got T
--- /dev/null
+alt/base_upcast2_1alt1_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
--- /dev/null
+alt/base_upcast2_1alt1_alt7.nit:33,22: Type error: expected A[Bool], got T
--- /dev/null
+alt/base_upcast2_1alt1_alt8.nit:34,22: Type error: expected B[Int], got T
--- /dev/null
+alt/base_upcast2_1alt1_alt9.nit:35,22: Type error: expected B[Bool], got T
--- /dev/null
+alt/base_upcast2_1alt4_alt1.nit:27,21--22: Type error: expected T, got A[Int]
--- /dev/null
+alt/base_upcast2_1alt4_alt10.nit:36,21: Type error: expected C, got T
--- /dev/null
+alt/base_upcast2_1alt4_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
--- /dev/null
+alt/base_upcast2_1alt4_alt3.nit:29,21--22: Type error: expected T, got B[Int]
--- /dev/null
+alt/base_upcast2_1alt4_alt7.nit:33,22: Type error: expected A[Bool], got T
--- /dev/null
+alt/base_upcast2_1alt4_alt8.nit:34,22: Type error: expected B[Int], got T
--- /dev/null
+alt/base_upcast2_1alt5_alt1.nit:27,21--22: Type error: expected T, got A[Int]
--- /dev/null
+alt/base_upcast2_1alt5_alt2.nit:28,21--22: Type error: expected T, got A[Bool]
--- /dev/null
+alt/base_upcast2_1alt5_alt3.nit:29,21--22: Type error: expected T, got B[Int]
--- /dev/null
+alt/base_upcast2_1alt5_alt4.nit:30,21--22: Type error: expected T, got B[Bool]
--- /dev/null
+alt/base_upcast2_1alt5_alt7.nit:33,22: Type error: expected A[Bool], got T
--- /dev/null
+alt/base_upcast2_1alt5_alt8.nit:34,22: Type error: expected B[Int], got T
--- /dev/null
+alt/base_upcast2_alt1.nit:26,10: Type error: class T not found in module base_upcast2_alt1.
--- /dev/null
+alt/base_upcast2_alt10.nit:26,10: Type error: class T not found in module base_upcast2_alt10.
--- /dev/null
+alt/base_upcast2_alt2.nit:26,10: Type error: class T not found in module base_upcast2_alt2.
--- /dev/null
+alt/base_upcast2_alt3.nit:26,10: Type error: class T not found in module base_upcast2_alt3.
--- /dev/null
+alt/base_upcast2_alt4.nit:26,10: Type error: class T not found in module base_upcast2_alt4.
--- /dev/null
+alt/base_upcast2_alt5.nit:26,10: Type error: class T not found in module base_upcast2_alt5.
--- /dev/null
+alt/base_upcast2_alt6.nit:26,10: Type error: class T not found in module base_upcast2_alt6.
--- /dev/null
+alt/base_upcast2_alt7.nit:26,10: Type error: class T not found in module base_upcast2_alt7.
--- /dev/null
+alt/base_upcast2_alt8.nit:26,10: Type error: class T not found in module base_upcast2_alt8.
--- /dev/null
+alt/base_upcast2_alt9.nit:26,10: Type error: class T not found in module base_upcast2_alt9.
--- /dev/null
+alt/base_var2_alt1.nit:22,6--7: Error: A variable named `p1' already exists
--- /dev/null
+alt/base_var2_alt2.nit:33,6--7: Error: A variable named `a1' already exists
--- /dev/null
+alt/base_var2_alt3.nit:37,5--6: Error: A variable named `a1' already exists
--- /dev/null
+alt/base_var2_alt4.nit:41,6--7: Error: A variable named `a1' already exists
--- /dev/null
+alt/base_var2_alt5.nit:42,6--7: Error: A variable named `a3' already exists
--- /dev/null
+alt/base_var2_alt6.nit:46,6--7: Error: A variable named `a2' already exists
--- /dev/null
+alt/base_var2_alt9.nit:27,18--19: Error: A variable named `p1' already exists
--- /dev/null
+alt/base_var_type_evolution_null3_alt1.nit:44,8--9: Type error: expected G#0, got nullable G#0
--- /dev/null
+true
+false
--- /dev/null
+alt/base_var_untyped_alt6.nit:50,6--7: Error: variable 'b3' is possibly unset.
--- /dev/null
+alt/base_vararg_alt1.nit:51,1--3: Error: arity mismatch; prototype is 'foo(a: Char...)'
--- /dev/null
+alt/base_vararg_alt2.nit:54,1--3: Error: arity mismatch; prototype is 'bar(b: Char, a: Char...)'
--- /dev/null
+alt/base_vararg_alt3.nit:55,1--8: Error: arity mismatch; prototype is 'bar(b: Char, a: Char...)'
--- /dev/null
+alt/base_vararg_alt4.nit:58,1--3: Error: arity mismatch; prototype is 'baz(a: Char..., b: Char)'
--- /dev/null
+alt/base_vararg_alt5.nit:59,1--8: Error: arity mismatch; prototype is 'baz(a: Char..., b: Char)'
--- /dev/null
+alt/base_vararg_alt6.nit:62,1--6: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char..., c: Char)'
--- /dev/null
+alt/base_vararg_alt7.nit:63,1--11: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char..., c: Char)'
--- /dev/null
+alt/base_vararg_alt8.nit:64,1--15: Error: arity mismatch; prototype is 'foobar(b: Char, a: Char..., c: Char)'
--- /dev/null
+../lib/standard/collection/array.nit:24,21--27: Error: No property AbstractArrayRead::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:26,12--19: Error: No property AbstractArrayRead::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:28,12--14: Error: No property AbstractArrayRead::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:28,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:39,12--19: Error: No property AbstractArrayRead::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:39,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:50,12--16: Error: No property AbstractArrayRead::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:50,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:62,12--19: Error: No property AbstractArrayRead::index_of is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:62,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:83,12--19: Error: No property NaiveCollection::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:85,12--17: Error: No property NaiveCollection::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:92,12--14: Error: No property NaiveCollection::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:92,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:98,12--19: Error: No property NaiveCollection::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:98,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:104,12--16: Error: No property NaiveCollection::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:104,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:111,12--16: Error: No property NaiveCollection::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:128,12--17: Error: No property AbstractArrayRead::output is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:137,12--16: Error: No property Container::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:139,12--19: Error: No property AbstractArrayRead::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:139,12--19: Error: No property Container::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:141,12--17: Error: No property Container::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:142,12--13: Error: No property AbstractArrayRead::== is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:142,15: Error: Untyped parameter `o'.
+../lib/standard/collection/abstract_collection.nit:143,12--14: Error: No property Container::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:143,16--22: Error: Untyped parameter `an_item'.
+../lib/standard/collection/abstract_collection.nit:145,12--19: Error: No property Container::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:145,21--27: Error: Untyped parameter `an_item'.
+../lib/standard/collection/abstract_collection.nit:147,12--16: Error: No property Container::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:147,18--24: Error: Untyped parameter `an_item'.
+../lib/standard/collection/abstract_collection.nit:156,12--19: Error: No property Container::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:166,12--15: Error: No property AbstractArray::push is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:166,17--20: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:168,12--14: Error: No property AbstractArray::pop is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:168,12--15: Error: No property ContainerIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:170,12--15: Error: No property ContainerIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:174,21--26: Error: No property ContainerIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:176,12--16: Error: No property AbstractArray::shift is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:190,12--18: Error: No property AbstractArray::unshift is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:190,20--23: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:212,12--14: Error: No property AbstractArray::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:212,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:214,12--16: Error: No property AbstractArray::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:215,12--19: Error: No property Set::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:215,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:216,12--17: Error: No property AbstractArray::remove is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:216,19--22: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:218,12--21: Error: No property AbstractArray::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:218,23--26: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:227,12--20: Error: No property AbstractArray::remove_at is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:227,22: Error: Untyped parameter `i'.
+../lib/standard/collection/abstract_collection.nit:228,12--16: Error: No property Set::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:228,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:238,12--21: Error: No property Set::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:238,23--26: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:266,12--18: Error: No property Array::iterate is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:278,12--13: Error: No property Array::[] is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:278,15--19: Error: Untyped parameter `index'.
+../lib/standard/collection/array.nit:284,12--14: Error: No property Array::[]= is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:284,16--20: Error: Untyped parameter `index'.
+../lib/standard/collection/array.nit:296,12--14: Error: No property Array::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:296,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:306,12--18: Error: No property Array::enlarge is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:306,20--22: Error: Untyped parameter `cap'.
+../lib/standard/collection/abstract_collection.nit:321,12--17: Error: No property Map::values is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:323,12--15: Error: No property Map::keys is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:375,12--16: Error: No property SequenceRead::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:407,12--19: Error: No property SequenceRead::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:431,12--15: Error: No property ArrayIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:434,12--14: Error: No property Sequence::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:434,16: Error: Untyped parameter `e'.
+../lib/standard/collection/array.nit:435,12--16: Error: No property ArrayIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:437,12--15: Error: No property ArrayIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:445,21--26: Error: No property ArrayIterator::index is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:458,12--14: Error: No property ArraySet::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:458,16: Error: Untyped parameter `e'.
+../lib/standard/collection/array.nit:460,12--14: Error: No property ArraySet::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:460,16: Error: Untyped parameter `e'.
+../lib/standard/collection/array.nit:462,12--19: Error: No property ArraySet::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:464,12--17: Error: No property ArraySet::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:466,12--16: Error: No property ArraySet::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:472,12--17: Error: No property ArraySet::remove is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:472,19--22: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:473,12--13: Error: No property CoupleMap::[] is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:473,15--17: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:478,12--21: Error: No property ArraySet::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:478,23--26: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:480,12--16: Error: No property ArraySet::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:482,12--19: Error: No property ArraySet::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:489,12--15: Error: No property CoupleMapIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:493,12--14: Error: No property CoupleMapIterator::key is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:495,12--16: Error: No property CoupleMapIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:497,12--15: Error: No property CoupleMapIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:504,12--16: Error: No property ArraySetIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:506,12--15: Error: No property ArraySetIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:508,12--15: Error: No property ArraySetIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:521,12--13: Error: No property ArrayMap::[] is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:521,15--17: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:532,12--14: Error: No property ArrayMap::[]= is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:532,16--18: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:542,12--15: Error: No property ArrayMap::keys is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:543,12--17: Error: No property ArrayMap::values is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:546,12--17: Error: No property ArrayMap::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:548,12--19: Error: No property ArrayMap::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:550,12--19: Error: No property ArrayMap::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:552,12--16: Error: No property ArrayMap::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:557,12--20: Error: No property ArrayMap::couple_at is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:557,22--24: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:629,12--16: Error: No property ArrayMapValues::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:630,12--19: Error: No property ArrayMapValues::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:631,12--17: Error: No property ArrayMapValues::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:632,12--19: Error: No property ArrayMapValues::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:635,12--14: Error: No property ArrayMapValues::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:635,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:642,12--19: Error: No property ArrayMapValues::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:642,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:649,12--16: Error: No property ArrayMapValues::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:649,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:656,12--16: Error: No property ArrayMapValues::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:658,12--17: Error: No property ArrayMapValues::remove is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:658,19--22: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:671,12--21: Error: No property ArrayMapValues::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:671,23--26: Error: Untyped parameter `item'.
--- /dev/null
+base_virtual_type7.nit:20,2--10: Error: circularity of virtual type definition: E -> F -> E
+base_virtual_type7.nit:21,2--10: Error: circularity of virtual type definition: F -> E -> F
--- /dev/null
+alt/base_virtual_type_self_alt1.nit:44,9: Type error: expected Int, got Float
+alt/base_virtual_type_self_alt1.nit:45,7--12: Type error: expected Float, got Int
+alt/base_virtual_type_self_alt1.nit:47,7--12: Type error: expected Float, got A[Int]
--- /dev/null
+alt/base_virtual_type_self_alt2.nit:44,9: Type error: expected U, got Float
+alt/base_virtual_type_self_alt2.nit:45,7--12: Type error: expected Float, got U
+alt/base_virtual_type_self_alt2.nit:47,7--12: Type error: expected Float, got A[U]
--- /dev/null
+alt/base_virtual_type_self_alt3.nit:44,9: Type error: expected Int, got Float
+alt/base_virtual_type_self_alt3.nit:45,7--12: Type error: expected Float, got Int
+alt/base_virtual_type_self_alt3.nit:47,7--12: Type error: expected Float, got A[Int]
--- /dev/null
+alt/base_virtual_type_self_alt4.nit:44,9: Type error: expected A[Int], got Float
+alt/base_virtual_type_self_alt4.nit:45,7--12: Type error: expected Float, got A[Int]
+alt/base_virtual_type_self_alt4.nit:47,7--12: Type error: expected Float, got A[A[Int]]
--- /dev/null
+alt/base_virtual_type_self_alt5.nit:44,9: Type error: expected A[U], got Float
+alt/base_virtual_type_self_alt5.nit:45,7--12: Type error: expected Float, got A[U]
+alt/base_virtual_type_self_alt5.nit:47,7--12: Type error: expected Float, got A[A[U]]
--- /dev/null
+error_array_ambig.nit:17,9--16: Type Error: ambiguous array type Int Char
--- /dev/null
+error_attr_2def.nit:19,6--10: Redef error: A::_toto is an inherited property. To redefine it, add the redef keyword.
+error_attr_2def.nit:19,13--18: Redef Error: Wrong static type. found Object, expected Int.
--- /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_alt2.nit:25,8--12: Type error: 'Array' is a generic class.
--- /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
+error_cons_arity.nit:19,7: Redef error: C is an imported class. Add the redef keyword to refine it.
--- /dev/null
+error_cons_arity2.nit:20,7: Redef error: A is an imported class. Add the redef keyword to refine it.
--- /dev/null
+error_constraint.nit:20,7: Redef error: A 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.
--- /dev/null
+alt/error_defs_alt2.nit:26,5--7: Redef error: A::foo is an inherited property. To redefine it, add the redef keyword.
+alt/error_defs_alt2.nit:26,8--16: Redef error: error_defs_alt2#A#foo redefines error_defs_alt2#A#foo with 1 parameter(s), 0 expected. Signature is error_defs_alt2#A#foo: 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_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_alt5.nit:30,14--22: Redef error: error_defs_alt5#A#baz redefines error_defs_alt5#Object#baz with 1 parameter(s), 0 expected. Signature is error_defs_alt5#A#baz: Int
--- /dev/null
+alt/error_defs_alt6.nit:35,7: Redef error: A is an imported class. Add the redef keyword to refine it.
--- /dev/null
+alt/error_defs_alt7.nit:25,6--8: Redef error: A::foo is an inherited property. To redefine it, add the redef keyword.
--- /dev/null
+alt/error_defs_alt8.nit:25,6--8: Redef error: A::foo is an inherited property. To redefine it, add the redef keyword.
+alt/error_defs_alt8.nit:42,11--13: Error: No property A::foo is inherited. Remove the redef keyword to define a new property.
--- /dev/null
+error_expr_not_ok.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+error_expr_not_ok.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+error_expr_not_ok.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+error_expr_not_ok.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+error_expr_not_ok.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+error_expr_not_ok.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+error_expr_not_ok.nit:41,16--19: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:42,7--9: Type error: expected A, got Int
+error_expr_not_ok.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+error_expr_not_ok.nit:44,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:48,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:49,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:50,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:51,1--9: Error: Method or variable 'fail=' unknown in Sys.
+error_expr_not_ok.nit:52,6--9: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:53,1--9: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:55,1--12: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:58,2--5: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:60,4--7: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:60,20: Type error: expected A, got Int
+error_expr_not_ok.nit:61,14--17: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:61,24--27: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:62,10--13: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:62,7--27: Type error: expected A, got Int
+error_expr_not_ok.nit:63,27--30: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:64,20--23: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:64,30--33: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:66,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:66,21: Type error: expected A, got Int
+error_expr_not_ok.nit:67,15--18: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+error_expr_not_ok.nit:69,10--13: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:70,20--23: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:71,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:72,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:73,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:73,7--18: Type error: expected A, got Bool
+error_expr_not_ok.nit:74,15--18: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:74,7--18: Type error: expected A, got Bool
+error_expr_not_ok.nit:75,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:75,15--18: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:75,7--18: Type error: expected A, got Bool
+error_expr_not_ok.nit:76,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:76,7--19: Type error: expected A, got Bool
+error_expr_not_ok.nit:77,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:77,16--19: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:77,7--19: Type error: expected A, got Bool
+error_expr_not_ok.nit:78,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:78,16--19: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:78,7--19: Type error: expected A, got Bool
+error_expr_not_ok.nit:79,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:79,7--14: Type error: expected A, got Bool
+error_expr_not_ok.nit:80,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:81,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:81,7--15: Type error: expected A, got Bool
+error_expr_not_ok.nit:82,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:83,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:84,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:84,7--15: Type error: expected A, got Bool
+error_expr_not_ok.nit:85,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:86,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:86,7--15: Type error: expected A, got Bool
+error_expr_not_ok.nit:87,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:87,7--15: Type error: expected A, got Bool
+error_expr_not_ok.nit:88,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:88,15--18: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:88,7--18: Type error: expected A, got Bool
+error_expr_not_ok.nit:89,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:90,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:90,7--14: Type error: expected A, got Bool
+error_expr_not_ok.nit:91,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:92,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:93,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:93,7--14: Type error: expected A, got Bool
+error_expr_not_ok.nit:94,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:95,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:96,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:96,7--15: Type error: expected A, got Bool
+error_expr_not_ok.nit:97,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:98,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:99,12--15: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:99,7--15: Type error: expected A, got Bool
+error_expr_not_ok.nit:100,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:101,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:102,13--16: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:102,7--16: Type error: expected A, got Int
+error_expr_not_ok.nit:103,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:104,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:105,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:105,7--14: Type error: expected A, got Int
+error_expr_not_ok.nit:106,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:107,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:108,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:108,7--14: Type error: expected A, got Int
+error_expr_not_ok.nit:109,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:110,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:111,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:111,7--14: Type error: expected A, got Int
+error_expr_not_ok.nit:112,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:113,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:114,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:114,7--14: Type error: expected A, got Int
+error_expr_not_ok.nit:115,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:116,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:117,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:117,7--14: Type error: expected A, got Int
+error_expr_not_ok.nit:118,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:119,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+error_expr_not_ok.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+error_expr_not_ok.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+error_expr_not_ok.nit:126,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:127,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:128,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:131,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:131,7--15: Type error: expected A, got Int
+error_expr_not_ok.nit:132,10--13: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:133,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:134,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:135,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:136,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:137,1--4: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:139,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:140,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:141,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:141,14--17: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:142,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:143,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:144,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:144,14--17: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:145,11--14: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:146,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:147,8--11: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:149,14--17: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:149,7--24: Type error: expected A, got String
+error_expr_not_ok.nit:150,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:151,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:152,7--10: Error: Method or variable 'fail' unknown in Sys.
+error_expr_not_ok.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+alt/error_expr_not_ok_alt2.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt2.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt2.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt2.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt2.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt2.nit:33,11--14: Type error: class Fail not found in module error_expr_not_ok_alt2.
+alt/error_expr_not_ok_alt2.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt2.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt2.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt2.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt2.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt2.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt2.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt2.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt2.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt2.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+alt/error_expr_not_ok_alt3.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt3.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt3.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt3.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt3.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt3.nit:34,12--18: Error: Method or variable 'fail' unknown in Sys.
+alt/error_expr_not_ok_alt3.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt3.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt3.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt3.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt3.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt3.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt3.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt3.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt3.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt3.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+alt/error_expr_not_ok_alt6.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt6.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt6.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt6.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt6.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt6.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:41,16--19: Type error: expected Int, got null
+alt/error_expr_not_ok_alt6.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:45,7--10: Type error: expected A, got null
+alt/error_expr_not_ok_alt6.nit:46,1--9: Error: Method 'fail' call on 'null'.
+alt/error_expr_not_ok_alt6.nit:49,7--10: Type error: expected A, got null
+alt/error_expr_not_ok_alt6.nit:50,1--10: Error: Method 'trash' call on 'null'.
+alt/error_expr_not_ok_alt6.nit:51,8--9: Type error: expected null, got Int
+alt/error_expr_not_ok_alt6.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt6.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt6.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt6.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt6.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt6.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+base_gen_f.nit:19,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+error_gen_f_inh_clash.nit:19,7--8: Cannot provide a defaut constructor: conflict for G1 and G2
+base_gen_f.nit:19,14: Type error: class E not found in module base_gen_f.
+base_gen_f.nit:19,14: Type error: class E not found in module base_gen_f.
+base_gen_f.nit:27,7--8: Redef error: G1 is an imported class. Add the redef keyword to refine it.
+base_gen_f.nit:37,7--8: Redef error: G2 is an imported class. Add the redef keyword to refine it.
--- /dev/null
+error_init_auto.nit:34,5--9: Error: Incorrect number of parameters. Got 0, expected 1. Signature is (x: Int)
+error_init_auto.nit:36,5--15: Error: Incorrect number of parameters. Got 2, expected 1. Signature is (x: Int)
+error_init_auto.nit:37,5--18: Error: Incorrect number of parameters. Got 3, expected 1. Signature is (x: Int)
+error_init_auto.nit:38,5--16: Error: Method 'foo' doesn't exists in A.
--- /dev/null
+alt/error_init_auto_alt1.nit:35,5--12: Error: Incorrect number of parameters. Got 1, expected 0. Signature is
+alt/error_init_auto_alt1.nit:36,5--15: Error: Incorrect number of parameters. Got 2, expected 0. Signature is
+alt/error_init_auto_alt1.nit:37,5--18: Error: Incorrect number of parameters. Got 3, expected 0. Signature is
+alt/error_init_auto_alt1.nit:38,5--16: Error: Method 'foo' doesn't exists in A.
--- /dev/null
+alt/error_init_auto_alt2.nit:34,5--9: Error: Incorrect number of parameters. Got 0, expected 2. Signature is (x: Int, y: Int)
+alt/error_init_auto_alt2.nit:35,5--12: Error: Incorrect number of parameters. Got 1, expected 2. Signature is (x: Int, y: Int)
+alt/error_init_auto_alt2.nit:37,5--18: Error: Incorrect number of parameters. Got 3, expected 2. Signature is (x: Int, y: Int)
+alt/error_init_auto_alt2.nit:38,5--16: Error: Method 'foo' doesn't exists in A.
--- /dev/null
+alt/error_init_auto_alt3.nit:34,5--9: Error: Incorrect number of parameters. Got 0, expected 1. Signature is (xx: Int)
+alt/error_init_auto_alt3.nit:36,5--15: Error: Incorrect number of parameters. Got 2, expected 1. Signature is (xx: Int)
+alt/error_init_auto_alt3.nit:37,5--18: Error: Incorrect number of parameters. Got 3, expected 1. Signature is (xx: Int)
+alt/error_init_auto_alt3.nit:38,5--16: Error: Method 'foo' doesn't exists in A.
--- /dev/null
+error_kern_attr_int.nit:18,6--10: Error: Attempt to define attribute _toto in the interface Int.
--- /dev/null
+error_meth_2def.nit:19,6--9: Redef error: A::toto is an inherited property. To redefine it, add the redef keyword.
+error_meth_2def.nit:19,11--17: Redef Error: Wrong type for parameter `a'. found Char, expected Int.
--- /dev/null
+error_meth_2def2.nit:19,6--9: Redef error: A::toto is an inherited property. To redefine it, add the redef keyword.
+error_meth_2def2.nit:19,20--22: Redef Error: toto is a procedure, not a function.
--- /dev/null
+error_mod_unk.nit:17,8--11: Error: cannot find module dfgd from error_mod_unk. tried ./dfgd.nit, dfgd.nit, ../lib/standard/dfgd.nit, ../lib/standard/collection/dfgd.nit, alt/dfgd.nit, ../lib/dfgd.nit, ../lib/dfgd.nit
--- /dev/null
+Fatal Error: no primitive class NativeArray
--- /dev/null
+alt/error_needed_method_alt3.nit:48,9--13: Fatal Error: String must have a property named from_cstring.
--- /dev/null
+alt/error_needed_method_alt6.nit:51,9--15: Fatal Error: Range[Int] must have a property named without_last.
--- /dev/null
+alt/error_needed_types_alt1.nit:14,9: Type Error: missing primitive class `Int'.
--- /dev/null
+alt/error_needed_types_alt2.nit:15,9--11: Type Error: missing primitive class `Float'.
--- /dev/null
+alt/error_needed_types_alt3.nit:16,9--11: Type Error: missing primitive class `Char'.
--- /dev/null
+alt/error_needed_types_alt4.nit:17,9--11: Type Error: missing primitive class `String'.
--- /dev/null
+alt/error_needed_types_alt6.nit:19,9--22: Type Error: missing primitive class `Array'.
--- /dev/null
+alt/error_needed_types_alt7.nit:20,9--15: Type Error: missing primitive class `Range'.
--- /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_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_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_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_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_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_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_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
+alt/error_redef2_1alt1_alt9.nit:34,8--15: Redef error: error_redef2_1alt1_alt9#B#f1 redefines error_redef2_1alt1_alt9#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt1_alt9#B#f1
--- /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_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_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_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_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_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
+alt/error_redef2_1alt2_alt9.nit:34,13--15: Redef Error: f1 is a procedure, not a function.
--- /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_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_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_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_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_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_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
+alt/error_redef2_1alt3_alt9.nit:34,8--15: Redef error: error_redef2_1alt3_alt9#B#f1 redefines error_redef2_1alt3_alt9#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef2_1alt3_alt9#B#f1: 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_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_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_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_alt9.nit:34,6--7: Redef error: B::f1 is an inherited property. To redefine it, add the redef keyword.
--- /dev/null
+alt/error_redef2_alt3.nit:28,9: Error: Untyped parameter `i'.
--- /dev/null
+alt/error_redef2_alt6.nit:31,9: Error: Untyped parameter `i'.
--- /dev/null
+alt/error_redef2_alt9.nit:34,9: Error: Untyped parameter `i'.
--- /dev/null
+alt/error_redef_1alt1_alt2.nit:27,14--21: Redef error: error_redef_1alt1_alt2#B#f1 redefines error_redef_1alt1_alt2#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt1_alt2#B#f1
--- /dev/null
+alt/error_redef_1alt1_alt3.nit:28,14--16: Redef error: error_redef_1alt1_alt3#B#f1 redefines error_redef_1alt1_alt3#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt1_alt3#B#f1
--- /dev/null
+alt/error_redef_1alt1_alt5.nit:30,14--21: Redef error: error_redef_1alt1_alt5#B#f1 redefines error_redef_1alt1_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt1_alt5#B#f1
--- /dev/null
+alt/error_redef_1alt1_alt6.nit:31,14--16: Redef error: error_redef_1alt1_alt6#B#f1 redefines error_redef_1alt1_alt6#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt1_alt6#B#f1
--- /dev/null
+alt/error_redef_1alt1_alt7.nit:32,16--18: Redef Error: f1 is a procedure, not a function.
--- /dev/null
+alt/error_redef_1alt1_alt8.nit:33,14--26: Redef error: error_redef_1alt1_alt8#B#f1 redefines error_redef_1alt1_alt8#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt1_alt8#B#f1
--- /dev/null
+alt/error_redef_1alt1_alt9.nit:34,14--21: Redef error: error_redef_1alt1_alt9#B#f1 redefines error_redef_1alt1_alt9#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt1_alt9#B#f1
--- /dev/null
+alt/error_redef_1alt2_alt1.nit:26,18: Redef error: error_redef_1alt2_alt1#B#f1 redefines error_redef_1alt2_alt1#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef_1alt2_alt1#B#f1(i: Int)
--- /dev/null
+alt/error_redef_1alt2_alt4.nit:29,25: Redef error: error_redef_1alt2_alt4#B#f1 redefines error_redef_1alt2_alt4#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef_1alt2_alt4#B#f1(i: Int)
--- /dev/null
+alt/error_redef_1alt2_alt7.nit:32,16--18: Redef error: error_redef_1alt2_alt7#B#f1 redefines error_redef_1alt2_alt7#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef_1alt2_alt7#B#f1(i: Int)
--- /dev/null
+alt/error_redef_1alt2_alt8.nit:33,24--26: Redef Error: f1 is a procedure, not a function.
--- /dev/null
+alt/error_redef_1alt2_alt9.nit:34,19--21: Redef Error: f1 is a procedure, not a function.
--- /dev/null
+alt/error_redef_1alt3_alt2.nit:27,14--21: Redef error: error_redef_1alt3_alt2#B#f1 redefines error_redef_1alt3_alt2#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt3_alt2#B#f1: Int
--- /dev/null
+alt/error_redef_1alt3_alt3.nit:28,14--16: Redef error: error_redef_1alt3_alt3#B#f1 redefines error_redef_1alt3_alt3#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt3_alt3#B#f1: Int
--- /dev/null
+alt/error_redef_1alt3_alt5.nit:30,14--21: Redef error: error_redef_1alt3_alt5#B#f1 redefines error_redef_1alt3_alt5#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt3_alt5#B#f1: Int
--- /dev/null
+alt/error_redef_1alt3_alt6.nit:31,14--16: Redef error: error_redef_1alt3_alt6#B#f1 redefines error_redef_1alt3_alt6#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt3_alt6#B#f1: Int
--- /dev/null
+alt/error_redef_1alt3_alt8.nit:33,14--26: Redef error: error_redef_1alt3_alt8#B#f1 redefines error_redef_1alt3_alt8#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt3_alt8#B#f1: Int
--- /dev/null
+alt/error_redef_1alt3_alt9.nit:34,14--21: Redef error: error_redef_1alt3_alt9#B#f1 redefines error_redef_1alt3_alt9#A#f1 with 1 parameter(s), 0 expected. Signature is error_redef_1alt3_alt9#B#f1: Int
--- /dev/null
+alt/error_redef_1alt4_alt1.nit:26,18: Redef error: error_redef_1alt4_alt1#B#f1 redefines error_redef_1alt4_alt1#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef_1alt4_alt1#B#f1(i: Int): Int
--- /dev/null
+alt/error_redef_1alt4_alt2.nit:27,12--13: Control error: Reached end of function (a 'return' with a value was expected).
--- /dev/null
+alt/error_redef_1alt4_alt4.nit:29,25: Redef error: error_redef_1alt4_alt4#B#f1 redefines error_redef_1alt4_alt4#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef_1alt4_alt4#B#f1(i: Int): Int
--- /dev/null
+alt/error_redef_1alt4_alt7.nit:32,16--18: Redef error: error_redef_1alt4_alt7#B#f1 redefines error_redef_1alt4_alt7#A#f1 with 0 parameter(s), 1 expected. Signature is error_redef_1alt4_alt7#B#f1(i: Int): Int
--- /dev/null
+alt/error_redef_alt3.nit:28,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
+alt/error_redef_alt3.nit:28,15: Error: Untyped parameter `i'.
--- /dev/null
+alt/error_redef_alt6.nit:31,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
+alt/error_redef_alt6.nit:31,15: Error: Untyped parameter `i'.
--- /dev/null
+alt/error_redef_alt9.nit:34,12--13: Error: No property B::f1 is inherited. Remove the redef keyword to define a new property.
+alt/error_redef_alt9.nit:34,15: Error: Untyped parameter `i'.
--- /dev/null
+error_ref_attr.nit:20,16--18: Redef Error: Wrong static type. found Int, expected B.
--- /dev/null
+error_ref_proc.nit:20,21: Redef Error: r is a procedure, not a function.
--- /dev/null
+error_ref_ret.nit:20,15--17: Redef Error: Wrong return type. found Int, expected B.
--- /dev/null
+error_spe_attr.nit:22,16--21: Redef Error: Wrong static type. found Object, expected Int.
--- /dev/null
+error_spe_param2.nit:24,16--22: Redef Error: Wrong type for parameter `c'. found Char, expected Int.
--- /dev/null
+error_spe_proc.nit:23,17--19: Redef Error: toto is a procedure, not a function.
--- /dev/null
+error_spe_ret.nit:23,17--20: Redef Error: Wrong return type. found Char, expected Int.
--- /dev/null
+error_type_not_ok5.nit:23,8--11: Type error: class Fail not found in module error_type_not_ok5.
+error_type_not_ok5.nit:25,9--21: Type error: class Fail not found in module error_type_not_ok5.
+error_type_not_ok5.nit:28,14--17: Type error: class Fail not found in module error_type_not_ok5.
+error_type_not_ok5.nit:28,7--17: Type error: expected Char, got Bool
+error_type_not_ok5.nit:29,11--14: Type error: class Fail not found in module error_type_not_ok5.
+error_type_not_ok5.nit:30,11--14: Type error: class Fail not found in module error_type_not_ok5.
+error_type_not_ok5.nit:31,13--16: Type error: class Fail not found in module error_type_not_ok5.
--- /dev/null
+alt/error_type_not_ok5_alt1.nit:23,8--11: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:25,9--21: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:28,14--17: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:28,7--17: Type error: expected Char, got Bool
+alt/error_type_not_ok5_alt1.nit:29,11--14: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:30,11--14: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok5_alt1.nit:31,13--16: Type error: 'Fail' is a generic class.
--- /dev/null
+error_type_unk.nit:22,17--20: Type error: class Fail not found in module error_type_unk.
+error_type_unk.nit:23,7--11: Error: Method '+' doesn't exists in Bool.
--- /dev/null
+alt/error_type_unk_alt2.nit:9,8--11: Type error: class Fail not found in module error_type_unk_alt2.
+alt/error_type_unk_alt2.nit:11,8--13: Type error: class Fail not found in module error_type_unk_alt2.
--- /dev/null
+alt/error_type_unk_alt6.nit:19,10--13: Type error: class Fail not found in module error_type_unk_alt6.
+alt/error_type_unk_alt6.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt6.
+alt/error_type_unk_alt6.nit:23,7--11: Error: Method '+' doesn't exists in Bool.
--- /dev/null
+alt/error_type_unk_alt7.nit:20,15--18: Type error: class Fail not found in module error_type_unk_alt7.
+alt/error_type_unk_alt7.nit:22,17--20: Type error: class Fail not found in module error_type_unk_alt7.
+alt/error_type_unk_alt7.nit:23,7--11: Error: Method '+' doesn't exists in Bool.
--- /dev/null
+base_gen_f.nit:19,14: Type error: class E not found in module base_gen_f.
--- /dev/null
+1
+2
+3
+4
+4
+5
+6
+6
+7
+7
+8
+8
--- /dev/null
+alt/base_no_object_alt1.nit:13,4--9: Type Error: missing primitive class `Bool'.
+alt/base_no_object_alt1.nit:13,4--9: Type Error: missing primitive class `Bool'.
--- /dev/null
+../lib/standard/collection/array.nit:24,21--27: Error: No property AbstractArrayRead::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:26,12--19: Error: No property AbstractArrayRead::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:28,12--14: Error: No property AbstractArrayRead::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:28,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:39,12--19: Error: No property AbstractArrayRead::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:39,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:50,12--16: Error: No property AbstractArrayRead::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:50,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:62,12--19: Error: No property AbstractArrayRead::index_of is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:62,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:83,12--19: Error: No property NaiveCollection::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:85,12--17: Error: No property NaiveCollection::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:92,12--14: Error: No property NaiveCollection::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:92,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:98,12--19: Error: No property NaiveCollection::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:98,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:104,12--16: Error: No property NaiveCollection::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:104,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:111,12--16: Error: No property NaiveCollection::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:128,12--17: Error: No property AbstractArrayRead::output is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:137,12--16: Error: No property Container::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:139,12--19: Error: No property AbstractArrayRead::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:139,12--19: Error: No property Container::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:141,12--17: Error: No property Container::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:142,12--13: Error: No property AbstractArrayRead::== is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:142,15: Error: Untyped parameter `o'.
+../lib/standard/collection/abstract_collection.nit:143,12--14: Error: No property Container::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:143,16--22: Error: Untyped parameter `an_item'.
+../lib/standard/collection/abstract_collection.nit:145,12--19: Error: No property Container::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:145,21--27: Error: Untyped parameter `an_item'.
+../lib/standard/collection/abstract_collection.nit:147,12--16: Error: No property Container::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:147,18--24: Error: Untyped parameter `an_item'.
+../lib/standard/collection/abstract_collection.nit:156,12--19: Error: No property Container::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:166,12--15: Error: No property AbstractArray::push is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:166,17--20: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:168,12--14: Error: No property AbstractArray::pop is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:168,12--15: Error: No property ContainerIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:170,12--15: Error: No property ContainerIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:174,21--26: Error: No property ContainerIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:176,12--16: Error: No property AbstractArray::shift is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:190,12--18: Error: No property AbstractArray::unshift is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:190,20--23: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:212,12--14: Error: No property AbstractArray::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:212,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:214,12--16: Error: No property AbstractArray::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:215,12--19: Error: No property Set::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:215,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:216,12--17: Error: No property AbstractArray::remove is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:216,19--22: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:218,12--21: Error: No property AbstractArray::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:218,23--26: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:227,12--20: Error: No property AbstractArray::remove_at is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:227,22: Error: Untyped parameter `i'.
+../lib/standard/collection/abstract_collection.nit:228,12--16: Error: No property Set::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:228,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:238,12--21: Error: No property Set::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:238,23--26: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:266,12--18: Error: No property Array::iterate is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:278,12--13: Error: No property Array::[] is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:278,15--19: Error: Untyped parameter `index'.
+../lib/standard/collection/array.nit:284,12--14: Error: No property Array::[]= is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:284,16--20: Error: Untyped parameter `index'.
+../lib/standard/collection/array.nit:296,12--14: Error: No property Array::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:296,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:306,12--18: Error: No property Array::enlarge is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:306,20--22: Error: Untyped parameter `cap'.
+../lib/standard/collection/abstract_collection.nit:321,12--17: Error: No property Map::values is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:323,12--15: Error: No property Map::keys is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:375,12--16: Error: No property SequenceRead::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:407,12--19: Error: No property SequenceRead::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:431,12--15: Error: No property ArrayIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:434,12--14: Error: No property Sequence::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:434,16: Error: Untyped parameter `e'.
+../lib/standard/collection/array.nit:435,12--16: Error: No property ArrayIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:437,12--15: Error: No property ArrayIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:445,21--26: Error: No property ArrayIterator::index is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:458,12--14: Error: No property ArraySet::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:458,16: Error: Untyped parameter `e'.
+../lib/standard/collection/array.nit:460,12--14: Error: No property ArraySet::add is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:460,16: Error: Untyped parameter `e'.
+../lib/standard/collection/array.nit:462,12--19: Error: No property ArraySet::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:464,12--17: Error: No property ArraySet::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:466,12--16: Error: No property ArraySet::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:472,12--17: Error: No property ArraySet::remove is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:472,19--22: Error: Untyped parameter `item'.
+../lib/standard/collection/abstract_collection.nit:473,12--13: Error: No property CoupleMap::[] is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:473,15--17: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:478,12--21: Error: No property ArraySet::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:478,23--26: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:480,12--16: Error: No property ArraySet::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:482,12--19: Error: No property ArraySet::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:489,12--15: Error: No property CoupleMapIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:493,12--14: Error: No property CoupleMapIterator::key is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:495,12--16: Error: No property CoupleMapIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/abstract_collection.nit:497,12--15: Error: No property CoupleMapIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:504,12--16: Error: No property ArraySetIterator::is_ok is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:506,12--15: Error: No property ArraySetIterator::next is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:508,12--15: Error: No property ArraySetIterator::item is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:521,12--13: Error: No property ArrayMap::[] is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:521,15--17: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:532,12--14: Error: No property ArrayMap::[]= is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:532,16--18: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:542,12--15: Error: No property ArrayMap::keys is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:543,12--17: Error: No property ArrayMap::values is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:546,12--17: Error: No property ArrayMap::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:548,12--19: Error: No property ArrayMap::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:550,12--19: Error: No property ArrayMap::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:552,12--16: Error: No property ArrayMap::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:557,12--20: Error: No property ArrayMap::couple_at is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:557,22--24: Error: Untyped parameter `key'.
+../lib/standard/collection/array.nit:629,12--16: Error: No property ArrayMapValues::first is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:630,12--19: Error: No property ArrayMapValues::is_empty is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:631,12--17: Error: No property ArrayMapValues::length is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:632,12--19: Error: No property ArrayMapValues::iterator is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:635,12--14: Error: No property ArrayMapValues::has is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:635,16--19: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:642,12--19: Error: No property ArrayMapValues::has_only is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:642,21--24: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:649,12--16: Error: No property ArrayMapValues::count is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:649,18--21: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:656,12--16: Error: No property ArrayMapValues::clear is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:658,12--17: Error: No property ArrayMapValues::remove is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:658,19--22: Error: Untyped parameter `item'.
+../lib/standard/collection/array.nit:671,12--21: Error: No property ArrayMapValues::remove_all is inherited. Remove the redef keyword to define a new property.
+../lib/standard/collection/array.nit:671,23--26: Error: Untyped parameter `item'.
--- /dev/null
+J<Tfalse
+J<Ufalse
+K<Ttrue
+K<Utrue
+L<Ttrue
+L<Utrue
+K<T
+L<T
+K<U
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+K<U
+L<U
--- /dev/null
+J<Tfalse
+J<Ufalse
+K<Ttrue
+K<Utrue
+L<Ttrue
+L<Utrue
+K<T
+L<T
+K<U
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+K<T
+L<T
+L<U
--- /dev/null
+base_gen_f.nit:19,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+error_gen_f_inh_clash.nit:19,7--8: Error: Cannot provide a defaut constructor: conflict for G1 and G2
+base_gen_f.nit:19,14: Type error: class E not found in module base_gen_f.
+base_gen_f.nit:19,14: Type error: class E not found in module base_gen_f.
+base_gen_f.nit:27,7--8: Redef error: G1 is an imported class. Add the redef keyword to refine it.
+base_gen_f.nit:37,7--8: Redef error: G2 is an imported class. Add the redef keyword to refine it.
--- /dev/null
+Runtime error: Assert failed (naive_interpreter.nit:291)
--- /dev/null
+alt/error_needed_types_alt5.nit:18,9--12: Type Error: missing primitive class `Bool'.
--- /dev/null
+true
+false
--- /dev/null
+test_gen_inh.nit:36,48: Redef Error: Wrong static type. found Gen3#0, expected Gen1#0.
+test_gen_inh.nit:37,19--22: Redef Error: Wrong static type. found Char, expected Gen1#1.
--- /dev/null
+1
+1
+5
+5
+1
+2
+5
+2
+1
+1
+3
+7
+1
+2
+3
+4
--- /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
--- /dev/null
+AB5
+B5
+5
+AB5
+5
+5
+5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+B5
+5
+5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+A5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+B5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+5
+B5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+5
+5
+5
+B5
+5
+5
+B5
+5
+5
+5
+5
+5
--- /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
+ --public Generate only the public API
+ --private Generate the private API
+ -d, --dir Directory where doc is generated
+ --source What link for source (%f for filename, %l for first line, %L for last line)
+ --no-dot Do not generate graphes with graphviz
+ --sharedir Directory containing the nitdoc files
+ --custom-title Title displayed in the top of the Overview page and as suffix of all page names
+ --custom-menu-items Items displayed in menu before the 'Overview' item (Each item must be enclosed in 'li' tags)
+ --custom-overview-text Text displayed as introduction of Overview page before the modules list
+ --custom-footer-text Text displayed as footer of all pages
+../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
--- /dev/null
+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
+dep.dot
+dep.map
+dep.png
+dep.s.dot
+full-index.html
+help.html
+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
+quicksearch-list.js
+resources/
+scripts/
+styles/
+../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
--- /dev/null
+base_classid.nit:47,2--8: Warning: Expression is already a A.
+base_classid.nit:48,2--9: Warning: Expression is already a A.
+base_classid.nit:49,2--8: Warning: Expression is already a A since it is a B.
+true
+true
+true
+true
+true
+true
+true
+true
--- /dev/null
+base_isa_nil.nit:33,2--13: Warning: Expression is already a Object.
+base_isa_nil.nit:36,2--22: Warning: Expression is already a nullable Object.
+base_isa_nil.nit:43,2--22: Warning: Expression is already a nullable Object.
+true
+true
+true
+true
+true
+true
+false
+false
+false
+true
+true
+true
--- /dev/null
+Fatal Error: no primitive class NativeArray
--- /dev/null
+alt/error_needed_method_alt7.nit:52,5--7: Fatal Error: Array[Int] must have a property named with_native.
--- /dev/null
+1
+Not implemented ADeferredMethPropdef base_abstract_fun_alt1#A#foo at alt/base_abstract_fun_alt1.nit:18,2--8
--- /dev/null
+Compilation error
--- /dev/null
+0
+0
+1
+2
+10
+20
+30
--- /dev/null
+1
+0
+1
+2
+10
+20
+30
--- /dev/null
+0
+0
+0
+1
+2
+10
+20
+30
--- /dev/null
+10
+0
+1
+2
+10
+20
+30
--- /dev/null
+10
+20
+0
+1
+2
+10
+20
+30
--- /dev/null
+String
+Int
+Test
+Test
+MyArray[Int]
+TotoToto
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Char
+Int
+Test
+Test
+MyArray[Int]
+0
\ No newline at end of file
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+J<Tfalse
+J<Ufalse
+K<Ttrue
+K<Utrue
+L<Ttrue
+L<Utrue
+K<T
+L<T
+K<U
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U
+L<U
--- /dev/null
+J<Tfalse
+J<Ufalse
+K<Ttrue
+K<Utrue
+L<Ttrue
+L<Utrue
+K<T
+L<T
+K<U
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<U
+J<Tfalse
+J<Ufalse
+K<Tfalse
+K<Ufalse
+L<Ttrue
+L<Utrue
+L<T
+L<T
+L<U
--- /dev/null
+Runtime error: Assert failed (global_compiler.nit:1039)
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+0
+sleeping 1 second...
+0.0
+from Nit: self + fib(self) = 8
--- /dev/null
+false
+false
--- /dev/null
+false
+false
--- /dev/null
+false
+false
--- /dev/null
+false
+false
--- /dev/null
+false
+false
--- /dev/null
+false
+false
--- /dev/null
+false
+false
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+Compilation error
--- /dev/null
+5.500000
+0.550000
+12.345678
+12.345678
+12.345
+12.3
+12
--- /dev/null
+NOT IMPLEMENTED AInternMethPropdef:gc#Sys#force_garbage_collection at ../lib/standard/gc.nit:17,2--18,29
+foo
+bar
--- /dev/null
+AB5
+B5
+5
+XB5
+5
+5
+5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+X5
+5
+5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+X5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+X5
+5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+5
+X5
+5
+B5
+5
+5
+5
+5
+5
+5
+5
+5
--- /dev/null
+AB5
+B5
+5
+B5
+5
+5
+5
+5
+5
+B5
+5
+5
+X5
+5
+5
+5
+5
+5
--- /dev/null
+0.123450
+1234.0
+0.989897
--- /dev/null
+true
+true
+true
+true
+true
+true
+true
+true
+base_classid.nit:47,2--8: Warning: Expression is already a A.
+base_classid.nit:48,2--9: Warning: Expression is already a A.
+base_classid.nit:49,2--8: Warning: Expression is already a A since it is a B.
--- /dev/null
+true
+true
+true
+true
+true
+true
+false
+false
+false
+true
+true
+true
+base_isa_nil.nit:33,2--13: Warning: Expression is already a Object.
+base_isa_nil.nit:36,2--22: Warning: Expression is already a nullable Object.
+base_isa_nil.nit:43,2--22: Warning: Expression is already a nullable Object.
--- /dev/null
+alt/error_needed_method_alt4.nit:49,10--14: Fatal Error: String must have a property named from_cstring.
--- /dev/null
+Fatal Error: no primitive class NativeArray
--- /dev/null
+Runtime error: Assert failed (naive_interpreter.nit:295)
--- /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]
+../src/syntax/mmbuilder.nit:998,8--28: Warning: Expression is already a AMethPropdef since it is a AInitPropdef.
--- /dev/null
+true
+false
+Runtime error: Uninitialized attribute _foo (alt/rterror_null_receiver_alt4.nit:29)
--- /dev/null
+true
+false
+Runtime error: Uninitialized attribute _foo (alt/rterror_null_receiver_alt6.nit:31)
--- /dev/null
+alt/test_array_comb_alt1.nit:23,9--22: Type Error: ambiguous array type null Int String
--- /dev/null
+alt/test_array_comb_alt2.nit:24,9--22: Type Error: ambiguous array type null nullable Int String
--- /dev/null
+true false 12345 1.234500 asdf true
+an instance of B
+true true true true
+true true true true
+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].
--- /dev/null
+int:
+true
+true
+true
+true
+true
+true
+string:
+true
+true
+true
+true
+true
+true
+null:
+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.
--- /dev/null
+test_multiconstraint.nit:64,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:70,7: Redef error: G is an imported class. Add the redef keyword to refine it.
--- /dev/null
+test_multiconstraint.nit:19,7: Redef error: A is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:28,7: Redef error: B is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:42,7: Redef error: C is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:56,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:64,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:64,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:70,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:70,7: Redef error: G is an imported class. Add the redef keyword to refine it.
--- /dev/null
+test_multiconstraint.nit:19,7: Redef error: A is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:28,7: Redef error: B is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:42,7: Redef error: C is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:56,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:64,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:64,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:70,7: Redef error: G is an imported class. Add the redef keyword to refine it.
+test_multiconstraint.nit:70,7: Redef error: G is an imported class. Add the redef keyword to refine it.
--- /dev/null
+test_paire.nit:45,7--10: Redef error: Pair is an imported class. Add the redef keyword to refine it.
+test_paire.nit:54,7--10: Redef error: Pair is an imported class. Add the redef keyword to refine it.
--- /dev/null
+1
+1
+1
+1
+1
+test_return.nit:45,2--47,4: Warning: use 'loop' instead of 'while true do'.
--- /dev/null
+test_variance_attr.nit:28,21--32: Redef Error: Wrong static type. found nullable Int, expected nullable Object.
+test_variance_attr.nit:29,21--30: Redef Error: Wrong static type. found nullable B, expected nullable A.
--- /dev/null
+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.
nitlanguage / nit.git / commitdiff