Can now iterate over every type that provides an iterator method.
Method iterator must return an instance of Iterator[E] of MapIterator[K, E]
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
private fun do_type_iterator(v: TypeVisitor, mtype: MType)
do
+ # get obj class
var objcla = v.get_mclass(self, "Object")
if objcla == null then return
+ # check iterator method
+ var unsafe_type = v.anchor_to(mtype)
+ if v.try_get_mproperty_by_name2(self, unsafe_type, "iterator") == null then
+ if v.try_get_mproperty_by_name2(self, unsafe_type, "iterate") == null then
+ v.error(self, "Type Error: Expected method 'iterator' in type {mtype}")
+ else
+ v.modelbuilder.error(self, "NOT YET IMPLEMENTED: Do 'for' on {mtype}")
+ end
+ return
+ end
+
+ var itdef = v.get_method(self, mtype, "iterator", true)
+ if itdef == null then
+ v.error(self, "Type Error: Expected method 'iterator' in type {mtype}")
+ return
+ end
+ self.method_iterator = itdef.mproperty
+
+ # check that iterator return something
+ var ittype = itdef.msignature.return_mtype
+ if ittype == null then
+ v.error(self, "Type Error: Expected method 'iterator' to return an Iterator or MapIterator type")
+ return
+ end
+
+ # get iterator type
+ var colit_cla = v.try_get_mclass(self, "Iterator")
+ var mapit_cla = v.try_get_mclass(self, "MapIterator")
var is_col = false
var is_map = false
- var colcla = v.try_get_mclass(self, "Collection")
- if colcla != null and v.is_subtype(mtype, colcla.get_mtype([objcla.mclass_type.as_nullable])) then
- var coltype = mtype.supertype_to(v.mmodule, v.anchor, colcla)
- self.coltype = coltype
+ if colit_cla != null and v.is_subtype(ittype, colit_cla.get_mtype([objcla.mclass_type.as_nullable])) then
+ # Iterator
+ var coltype = ittype.supertype_to(v.mmodule, v.anchor, colit_cla)
var variables = self.variables
if variables.length != 1 then
v.error(self, "Type Error: Expected one variable")
is_col = true
end
- var mapcla = v.try_get_mclass(self, "Map")
- if mapcla != null and v.is_subtype(mtype, mapcla.get_mtype([objcla.mclass_type.as_nullable, objcla.mclass_type.as_nullable])) then
- var coltype = mtype.supertype_to(v.mmodule, v.anchor, mapcla)
- self.coltype = coltype
+ if mapit_cla != null and v.is_subtype(ittype, mapit_cla.get_mtype([objcla.mclass_type, objcla.mclass_type.as_nullable])) then
+ # Map Iterator
+ var coltype = ittype.supertype_to(v.mmodule, v.anchor, mapit_cla)
var variables = self.variables
if variables.length != 2 then
v.error(self, "Type Error: Expected two variables")
is_map = true
end
- if is_col or is_map then
- # get iterator method
- var coltype = self.coltype.as(not null)
- var itdef = v.get_method(self, coltype, "iterator", true)
- if itdef == null then
- v.error(self, "Type Error: Expected method 'iterator' in type {coltype}")
- return
- end
- self.method_iterator = itdef.mproperty
+ if not is_col and not is_map then
+ v.error(self, "Type Error: Expected method 'iterator' to return an Iterator of MapIterator type")
+ return
+ end
+ self.coltype = mtype.as(MClassType)
- # get iterator type
- var ittype = itdef.msignature.return_mtype
- if ittype == null then
- v.error(self, "Type Error: Expected method 'iterator' to return an Iterator type")
- return
- end
+ # get methods is_ok, next, item
+ var ikdef = v.get_method(self, ittype, "is_ok", false)
+ if ikdef == null then
+ v.error(self, "Type Error: Expected method 'is_ok' in Iterator type {ittype}")
+ return
+ end
+ self.method_is_ok = ikdef.mproperty
- # get methods is_ok, next, item
- var ikdef = v.get_method(self, ittype, "is_ok", false)
- if ikdef == null then
- v.error(self, "Type Error: Expected method 'is_ok' in Iterator type {ittype}")
- return
- end
- self.method_is_ok = ikdef.mproperty
+ var itemdef = v.get_method(self, ittype, "item", false)
+ if itemdef == null then
+ v.error(self, "Type Error: Expected method 'item' in Iterator type {ittype}")
+ return
+ end
+ self.method_item = itemdef.mproperty
- var itemdef = v.get_method(self, ittype, "item", false)
- if itemdef == null then
- v.error(self, "Type Error: Expected method 'item' in Iterator type {ittype}")
- return
- end
- self.method_item = itemdef.mproperty
+ var nextdef = v.get_method(self, ittype, "next", false)
+ if nextdef == null then
+ v.error(self, "Type Error: Expected method 'next' in Iterator type {ittype}")
+ return
+ end
+ self.method_next = nextdef.mproperty
- var nextdef = v.get_method(self, ittype, "next", false)
- if nextdef == null then
- v.error(self, "Type Error: Expected method 'next' in Iterator type {ittype}")
+ if is_map then
+ var keydef = v.get_method(self, ittype, "key", false)
+ if keydef == null then
+ v.error(self, "Type Error: Expected method 'key' in Iterator type {ittype}")
return
end
- self.method_next = nextdef.mproperty
-
- if is_map then
- var keydef = v.get_method(self, ittype, "key", false)
- if keydef == null then
- v.error(self, "Type Error: Expected method 'key' in Iterator type {ittype}")
- return
- end
- self.method_key = keydef.mproperty
- end
- return
+ self.method_key = keydef.mproperty
end
-
- v.modelbuilder.error(self, "NOT YET IMPLEMENTED: Do 'for' on {mtype}")
end
redef fun accept_typing(v)
--- /dev/null
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+class ColIterable
+ var col = new Array[String]
+ fun iterator: Iterator[String] do return new ArrayIterator[String](col)
+end
+
+class MapIterable
+ var map = new HashMap[String, Array[Char]]
+ fun iterator: MapIterator[String, Array[Char]] do return new HashMapIterator[String, Array[Char]](map)
+end
+
+# ok
+var col = new ColIterable
+col.col.add("Riri")
+col.col.add("Fidi")
+col.col.add("Loulou")
+for v in col do print v
+
+# ok
+var map = new MapIterable
+map.map["Riri"] = "Riri".to_a
+map.map["Fifi"] = "Fifi".to_a
+map.map["Loulou"] = "Loulou".to_a
+for k, v in map do print "{k}: {v.join(",")}"
+
--- /dev/null
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+class ColIterable
+ fun iterator: MyIterator do return new MyIterator
+end
+
+class MyIterator
+ super Iterator[String]
+
+ var count = 0
+ redef fun is_ok do return count < 3
+ redef fun next do count += 1
+ redef fun item do return "Item{count}"
+end
+
+class MapIterable
+ fun iterator: MyMapIterator do return new MyMapIterator
+end
+
+class MyMapIterator
+ super MapIterator[String, String]
+
+ var count = 0
+ redef fun is_ok do return count < 3
+ redef fun next do count += 1
+ redef fun item do return "Item{count}"
+ redef fun key do return "Key{count}"
+end
+
+#ok
+var col = new ColIterable
+for v in col do print v
+
+#ok
+var map = new MapIterable
+for k, v in map do print "{k}:{v}"
+
--- /dev/null
+# This file is part of NIT ( http://www.nitlanguage.org ).
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+# http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+class Test1
+ fun iterator: nullable Iterator[String] do return null
+end
+
+class Test2
+ fun iterator do end
+end
+
+class Test3
+end
+
+class Test4
+ fun iterator: TestIterator do return new TestIterator
+end
+
+class TestIterator
+end
+
+# wrong return type
+var test1 = new Test1
+for v in test1 do print v
+
+# wrong return type
+var test2 = new Test2
+for v in test2 do print v
+
+# no method iterator
+var test3 = new Test3
+for v in test3 do print v
+
+# wrong numbe of variables
+for k, v in new Array[String] do print "{k}:{v}"
+for v in new HashMap[String, String] do print v
--- /dev/null
+Riri
+Fidi
+Loulou
+Riri: R,i,r,i
+Fifi: F,i,f,i
+Loulou: L,o,u,l,o,u
--- /dev/null
+Item0
+Item1
+Item2
+Key0:Item0
+Key1:Item1
+Key2:Item2
--- /dev/null
+base_iterator3.nit:35,1--25: Type Error: Expected method 'iterator' to return an Iterator of MapIterator type
+base_iterator3.nit:39,1--25: Type Error: Expected method 'iterator' to return an Iterator or MapIterator type
+base_iterator3.nit:43,1--25: Type Error: Expected method 'iterator' in type Test3
+base_iterator3.nit:46,1--48: Type Error: Expected one variable
+base_iterator3.nit:47,1--47: Type Error: Expected two variables
--- /dev/null
+alt/error_expr_not_ok_alt4.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:41,16--19: Type error: expected Int, got Object
+alt/error_expr_not_ok_alt4.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:45,7--10: Type error: expected A, got Object
+alt/error_expr_not_ok_alt4.nit:46,1--9: Error: Method 'fail' doesn't exists in Object.
+alt/error_expr_not_ok_alt4.nit:49,7--10: Type error: expected A, got Object
+alt/error_expr_not_ok_alt4.nit:50,1--10: Error: Incorrect number of parameters. Got 0, expected 1. Signature is (x: A)
+alt/error_expr_not_ok_alt4.nit:60,4--7: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:62,10--13: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:66,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt4.nit:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
+alt/error_expr_not_ok_alt4.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:73,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:74,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:75,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:75,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:76,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:77,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:77,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:78,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:78,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:79,11--14: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:80,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:83,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:85,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:89,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:92,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:95,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:98,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:101,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:104,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:107,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:110,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:113,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:116,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:119,7--11: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt4.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt4.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt4.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt4.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt4.nit:147,7--18: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt4.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt4.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt4.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:152,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt4.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+alt/error_expr_not_ok_alt5.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:37,8--15: Error: Method or variable 'fail2' unknown in Sys.
+alt/error_expr_not_ok_alt5.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:60,4--7: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:62,10--13: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:66,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt5.nit:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
+alt/error_expr_not_ok_alt5.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:73,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:74,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:75,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:75,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:76,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:77,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:77,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:78,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:78,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:79,11--14: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:80,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:83,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:85,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:89,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:92,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:95,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:98,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:101,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:104,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:107,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:110,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:113,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:116,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:119,7--11: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt5.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt5.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt5.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt5.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt5.nit:147,7--18: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt5.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt5.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt5.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:152,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt5.nit:152,7--18: Type error: expected A, got Bool
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,4--7: Type error: expected Bool, 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,10--13: Type error: expected Bool, 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:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:66,7--10: Type error: expected Bool, 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:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
+alt/error_expr_not_ok_alt6.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:73,7--10: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt6.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:74,15--18: Type error: expected Bool, got Int
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--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:75,15--18: Type error: expected Bool, got Int
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--10: Type error: expected Bool, got Int
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--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:77,16--19: Type error: expected Bool, got Int
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--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:78,16--19: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt6.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:79,11--14: Type error: expected Bool, got Int
alt/error_expr_not_ok_alt6.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:80,7--15: 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:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:83,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:85,7--18: 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:89,7--14: 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:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:92,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:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:95,7--15: 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:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:98,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:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:101,7--16: Type error: expected A, got Int
alt/error_expr_not_ok_alt6.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:104,7--14: 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:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:107,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:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:110,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:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:113,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:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:116,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:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:119,7--11: 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:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
alt/error_expr_not_ok_alt6.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:147,7--18: Type error: expected A, got Array[Int]
alt/error_expr_not_ok_alt6.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt6.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt6.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:152,7--18: Warning: Expression is already a Int.
alt/error_expr_not_ok_alt6.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+error_for_coll.nit:17,1--18,3: Type Error: Expected method 'iterator' in type Int
alt/error_needed_method_alt2.nit:47,10--27: Error: Method 'init' doesn't exists in Collection[Int].
-alt/error_needed_method_alt2.nit:47,1--40: Error: Method or variable 'iterator' unknown in Collection[Int].
alt/error_needed_method_alt2.nit:47,1--40: Type Error: Expected method 'iterator' in type Collection[Int]
--- /dev/null
+alt/error_needed_types_alt8.nit:21,1--22,3: Type Error: Expected method 'iterator' in type L
--- /dev/null
+base_iterator1.nit:30,10--12: Type error: Expected a type with an 'iterate' method. Found ColIterable.
+base_iterator1.nit:37,13--15: Type error: Expected a type with an 'iterate' method. Found MapIterable.
--- /dev/null
+base_iterator2.nit:44,10--12: Type error: Expected a type with an 'iterate' method. Found ColIterable.
+base_iterator2.nit:48,13--15: Type error: Expected a type with an 'iterate' method. Found MapIterable.
--- /dev/null
+base_iterator3.nit:35,10--14: Type error: Expected a type with an 'iterate' method. Found Test1.
+base_iterator3.nit:39,10--14: Type error: Expected a type with an 'iterate' method. Found Test2.
+base_iterator3.nit:43,10--14: Type error: Expected a type with an 'iterate' method. Found Test3.
+base_iterator3.nit:46,1--48: Error: Expected 1 variable (e: String), found 2.
+base_iterator3.nit:47,1--47: Error: Expected 2 variables (k: String, v: String), found 1.
--- /dev/null
+Riri
+Fidi
+Loulou
+Riri: R,i,r,i
+Fifi: F,i,f,i
+Loulou: L,o,u,l,o,u
--- /dev/null
+Item0
+Item1
+Item2
+Key0:Item0
+Key1:Item1
+Key2:Item2
--- /dev/null
+base_iterator3.nit:37,1--25: Type Error: Expected method 'iterator' to return an Iterator of MapIterator type
+base_iterator3.nit:41,1--25: Type Error: Expected method 'iterator' to return an Iterator or MapIterator type
+base_iterator3.nit:45,1--25: Type Error: Expected method 'iterator' in type Test3
+base_iterator3.nit:48,1--48: Type Error: Expected one variable
+base_iterator3.nit:49,1--47: Type Error: Expected two variables
--- /dev/null
+alt/error_expr_not_ok_alt4.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt4.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:41,16--19: Type error: expected Int, got Object
+alt/error_expr_not_ok_alt4.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:45,7--10: Type error: expected A, got Object
+alt/error_expr_not_ok_alt4.nit:46,1--9: Error: Method 'fail' doesn't exists in Object.
+alt/error_expr_not_ok_alt4.nit:49,7--10: Type error: expected A, got Object
+alt/error_expr_not_ok_alt4.nit:50,1--10: Error: Incorrect number of parameters. Got 0, expected 1. Signature is (x: A)
+alt/error_expr_not_ok_alt4.nit:60,4--7: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:62,10--13: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:66,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt4.nit:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
+alt/error_expr_not_ok_alt4.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:73,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:74,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:75,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:75,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:76,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:77,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:77,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:78,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:78,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:79,11--14: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt4.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:80,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:83,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:85,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:89,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:92,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:95,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:98,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt4.nit:101,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:104,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:107,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:110,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:113,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:116,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:119,7--11: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt4.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt4.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt4.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt4.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt4.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt4.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt4.nit:147,7--18: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt4.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt4.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt4.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt4.nit:152,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt4.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+alt/error_expr_not_ok_alt5.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
+alt/error_expr_not_ok_alt5.nit:37,8--15: Error: Method or variable 'fail2' unknown in Sys.
+alt/error_expr_not_ok_alt5.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:42,7--9: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:60,4--7: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:60,20: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:62,10--13: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:62,7--27: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:66,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:66,21: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:67,1--18: Warning: use 'loop' instead of 'while true do'.
+alt/error_expr_not_ok_alt5.nit:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
+alt/error_expr_not_ok_alt5.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:73,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:74,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:74,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:75,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:75,15--18: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:75,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:76,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:76,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:77,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:77,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:77,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:78,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:78,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:79,11--14: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt5.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:80,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:81,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:83,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:84,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:85,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:86,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:87,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:88,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:89,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:90,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:92,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:93,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:95,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:96,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:98,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:99,7--15: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt5.nit:101,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:104,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:105,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:107,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:108,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:110,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:111,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:113,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:114,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:116,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:117,7--14: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:119,7--11: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt5.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt5.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
+alt/error_expr_not_ok_alt5.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt5.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt5.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt5.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt5.nit:147,7--18: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt5.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt5.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt5.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt5.nit:152,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt5.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:60,4--7: Type error: expected Bool, 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,10--13: Type error: expected Bool, 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:63,7--30: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:64,7--33: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:66,7--10: Type error: expected Bool, 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:69,24: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:69,1--25: Type Error: Expected method 'iterator' in type Int
+alt/error_expr_not_ok_alt6.nit:71,8--11: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:72,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:73,7--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:73,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:74,15--18: Type error: expected Bool, got Int
+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--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:75,15--18: Type error: expected Bool, got Int
+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--10: Type error: expected Bool, got Int
+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--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:77,16--19: Type error: expected Bool, got Int
+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--10: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:78,16--19: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:78,7--19: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:79,11--14: Type error: expected Bool, got Int
+alt/error_expr_not_ok_alt6.nit:79,7--14: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:80,7--15: 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:82,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:83,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:85,7--18: 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:89,7--14: 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:91,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:92,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:94,7--17: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:95,7--15: 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:97,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:98,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:100,7--18: Type error: expected A, got Bool
+alt/error_expr_not_ok_alt6.nit:101,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:102,7--16: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:103,7--19: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:104,7--14: 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:106,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:107,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:109,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:110,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:112,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:113,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:115,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:116,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:118,7--17: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:119,7--11: 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:126,7--13: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:128,1--12: Error: Attribute _x doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:131,7--15: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:134,7--13: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:137,1--17: Error: Method '[]=' doesn't exists in Int.
+alt/error_expr_not_ok_alt6.nit:139,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:140,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:141,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:142,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:143,7--15: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:144,7--18: Type error: expected A, got Range[Int]
+alt/error_expr_not_ok_alt6.nit:145,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:146,7--15: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:147,7--18: Type error: expected A, got Array[Int]
+alt/error_expr_not_ok_alt6.nit:149,7--24: Type error: expected A, got String
+alt/error_expr_not_ok_alt6.nit:150,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt6.nit:150,7--18: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:151,7--23: Type error: expected A, got Int
+alt/error_expr_not_ok_alt6.nit:152,7--18: Warning: Expression is already a Int.
+alt/error_expr_not_ok_alt6.nit:152,7--18: Type error: expected A, got Bool
--- /dev/null
+error_for_coll.nit:17,1--18,3: Type Error: Expected method 'iterator' in type Int
--- /dev/null
+alt/error_needed_method_alt2.nit:47,10--27: Error: Method 'init' doesn't exists in Collection[Int].
+alt/error_needed_method_alt2.nit:47,1--40: Type Error: Expected method 'iterator' in type Collection[Int]
--- /dev/null
+alt/error_needed_types_alt8.nit:21,1--22,3: Type Error: Expected method 'iterator' in type L