From d17c0cfaa79226725d74d9aaef00f76a5ab5e7af Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Fri, 18 Oct 2013 15:04:09 -0400 Subject: [PATCH] nitg: Changed specification of 'for .. do' statements 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 --- src/typing.nit | 116 ++++++++++++++----------- tests/base_iterator1.nit | 38 ++++++++ tests/base_iterator2.nit | 49 +++++++++++ tests/base_iterator3.nit | 47 ++++++++++ tests/sav/base_iterator1.res | 6 ++ tests/sav/base_iterator2.res | 6 ++ tests/sav/base_iterator3.res | 5 ++ tests/sav/error_expr_not_ok_alt4.res | 109 +++++++++++++++++++++++ tests/sav/error_expr_not_ok_alt5.res | 105 ++++++++++++++++++++++ tests/sav/error_expr_not_ok_alt6.res | 65 +++++++++++++- tests/sav/error_for_coll.res | 1 + tests/sav/error_needed_method_alt2.res | 1 - tests/sav/error_needed_types_alt8.res | 1 + tests/sav/nitc/fixme/base_iterator1.res | 2 + tests/sav/nitc/fixme/base_iterator2.res | 2 + tests/sav/nitc/fixme/base_iterator3.res | 5 ++ tests/sav/nitg-e/base_iterator1.res | 6 ++ tests/sav/nitg-e/base_iterator2.res | 6 ++ tests/sav/nitg-e/base_iterator3.res | 5 ++ tests/sav/nitg-e/error_expr_not_ok_alt4.res | 109 +++++++++++++++++++++++ tests/sav/nitg-e/error_expr_not_ok_alt5.res | 105 ++++++++++++++++++++++ tests/sav/nitg-e/error_expr_not_ok_alt6.res | 109 +++++++++++++++++++++++ tests/sav/nitg-e/error_for_coll.res | 1 + tests/sav/nitg-e/error_needed_method_alt2.res | 2 + tests/sav/nitg-e/error_needed_types_alt8.res | 1 + 25 files changed, 848 insertions(+), 54 deletions(-) create mode 100644 tests/base_iterator1.nit create mode 100644 tests/base_iterator2.nit create mode 100644 tests/base_iterator3.nit create mode 100644 tests/sav/base_iterator1.res create mode 100644 tests/sav/base_iterator2.res create mode 100644 tests/sav/base_iterator3.res create mode 100644 tests/sav/error_expr_not_ok_alt4.res create mode 100644 tests/sav/error_expr_not_ok_alt5.res create mode 100644 tests/sav/error_for_coll.res create mode 100644 tests/sav/error_needed_types_alt8.res create mode 100644 tests/sav/nitc/fixme/base_iterator1.res create mode 100644 tests/sav/nitc/fixme/base_iterator2.res create mode 100644 tests/sav/nitc/fixme/base_iterator3.res create mode 100644 tests/sav/nitg-e/base_iterator1.res create mode 100644 tests/sav/nitg-e/base_iterator2.res create mode 100644 tests/sav/nitg-e/base_iterator3.res create mode 100644 tests/sav/nitg-e/error_expr_not_ok_alt4.res create mode 100644 tests/sav/nitg-e/error_expr_not_ok_alt5.res create mode 100644 tests/sav/nitg-e/error_expr_not_ok_alt6.res create mode 100644 tests/sav/nitg-e/error_for_coll.res create mode 100644 tests/sav/nitg-e/error_needed_method_alt2.res create mode 100644 tests/sav/nitg-e/error_needed_types_alt8.res diff --git a/src/typing.nit b/src/typing.nit index be7b9ea..abf1597 100644 --- a/src/typing.nit +++ b/src/typing.nit @@ -830,16 +830,44 @@ redef class AForExpr 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") @@ -849,10 +877,9 @@ redef class AForExpr 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") @@ -863,57 +890,42 @@ redef class AForExpr 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) diff --git a/tests/base_iterator1.nit b/tests/base_iterator1.nit new file mode 100644 index 0000000..e3113a3 --- /dev/null +++ b/tests/base_iterator1.nit @@ -0,0 +1,38 @@ +# 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(",")}" + diff --git a/tests/base_iterator2.nit b/tests/base_iterator2.nit new file mode 100644 index 0000000..3417bc0 --- /dev/null +++ b/tests/base_iterator2.nit @@ -0,0 +1,49 @@ +# 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}" + diff --git a/tests/base_iterator3.nit b/tests/base_iterator3.nit new file mode 100644 index 0000000..18012b2 --- /dev/null +++ b/tests/base_iterator3.nit @@ -0,0 +1,47 @@ +# 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 diff --git a/tests/sav/base_iterator1.res b/tests/sav/base_iterator1.res new file mode 100644 index 0000000..4c16bf2 --- /dev/null +++ b/tests/sav/base_iterator1.res @@ -0,0 +1,6 @@ +Riri +Fidi +Loulou +Riri: R,i,r,i +Fifi: F,i,f,i +Loulou: L,o,u,l,o,u diff --git a/tests/sav/base_iterator2.res b/tests/sav/base_iterator2.res new file mode 100644 index 0000000..1321151 --- /dev/null +++ b/tests/sav/base_iterator2.res @@ -0,0 +1,6 @@ +Item0 +Item1 +Item2 +Key0:Item0 +Key1:Item1 +Key2:Item2 diff --git a/tests/sav/base_iterator3.res b/tests/sav/base_iterator3.res new file mode 100644 index 0000000..e07734d --- /dev/null +++ b/tests/sav/base_iterator3.res @@ -0,0 +1,5 @@ +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 diff --git a/tests/sav/error_expr_not_ok_alt4.res b/tests/sav/error_expr_not_ok_alt4.res new file mode 100644 index 0000000..544d47c --- /dev/null +++ b/tests/sav/error_expr_not_ok_alt4.res @@ -0,0 +1,109 @@ +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 diff --git a/tests/sav/error_expr_not_ok_alt5.res b/tests/sav/error_expr_not_ok_alt5.res new file mode 100644 index 0000000..ead84b9 --- /dev/null +++ b/tests/sav/error_expr_not_ok_alt5.res @@ -0,0 +1,105 @@ +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 diff --git a/tests/sav/error_expr_not_ok_alt6.res b/tests/sav/error_expr_not_ok_alt6.res index 25b17c2..afbbbd8 100644 --- a/tests/sav/error_expr_not_ok_alt6.res +++ b/tests/sav/error_expr_not_ok_alt6.res @@ -11,36 +11,99 @@ 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,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 diff --git a/tests/sav/error_for_coll.res b/tests/sav/error_for_coll.res new file mode 100644 index 0000000..cfcda5e --- /dev/null +++ b/tests/sav/error_for_coll.res @@ -0,0 +1 @@ +error_for_coll.nit:17,1--18,3: Type Error: Expected method 'iterator' in type Int diff --git a/tests/sav/error_needed_method_alt2.res b/tests/sav/error_needed_method_alt2.res index 2549828..557ff19 100644 --- a/tests/sav/error_needed_method_alt2.res +++ b/tests/sav/error_needed_method_alt2.res @@ -1,3 +1,2 @@ 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] diff --git a/tests/sav/error_needed_types_alt8.res b/tests/sav/error_needed_types_alt8.res new file mode 100644 index 0000000..e0c62db --- /dev/null +++ b/tests/sav/error_needed_types_alt8.res @@ -0,0 +1 @@ +alt/error_needed_types_alt8.nit:21,1--22,3: Type Error: Expected method 'iterator' in type L diff --git a/tests/sav/nitc/fixme/base_iterator1.res b/tests/sav/nitc/fixme/base_iterator1.res new file mode 100644 index 0000000..c97a43a --- /dev/null +++ b/tests/sav/nitc/fixme/base_iterator1.res @@ -0,0 +1,2 @@ +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. diff --git a/tests/sav/nitc/fixme/base_iterator2.res b/tests/sav/nitc/fixme/base_iterator2.res new file mode 100644 index 0000000..8b28cf1 --- /dev/null +++ b/tests/sav/nitc/fixme/base_iterator2.res @@ -0,0 +1,2 @@ +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. diff --git a/tests/sav/nitc/fixme/base_iterator3.res b/tests/sav/nitc/fixme/base_iterator3.res new file mode 100644 index 0000000..9537c49 --- /dev/null +++ b/tests/sav/nitc/fixme/base_iterator3.res @@ -0,0 +1,5 @@ +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. diff --git a/tests/sav/nitg-e/base_iterator1.res b/tests/sav/nitg-e/base_iterator1.res new file mode 100644 index 0000000..4c16bf2 --- /dev/null +++ b/tests/sav/nitg-e/base_iterator1.res @@ -0,0 +1,6 @@ +Riri +Fidi +Loulou +Riri: R,i,r,i +Fifi: F,i,f,i +Loulou: L,o,u,l,o,u diff --git a/tests/sav/nitg-e/base_iterator2.res b/tests/sav/nitg-e/base_iterator2.res new file mode 100644 index 0000000..1321151 --- /dev/null +++ b/tests/sav/nitg-e/base_iterator2.res @@ -0,0 +1,6 @@ +Item0 +Item1 +Item2 +Key0:Item0 +Key1:Item1 +Key2:Item2 diff --git a/tests/sav/nitg-e/base_iterator3.res b/tests/sav/nitg-e/base_iterator3.res new file mode 100644 index 0000000..61a23fc --- /dev/null +++ b/tests/sav/nitg-e/base_iterator3.res @@ -0,0 +1,5 @@ +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 diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt4.res b/tests/sav/nitg-e/error_expr_not_ok_alt4.res new file mode 100644 index 0000000..544d47c --- /dev/null +++ b/tests/sav/nitg-e/error_expr_not_ok_alt4.res @@ -0,0 +1,109 @@ +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 diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt5.res b/tests/sav/nitg-e/error_expr_not_ok_alt5.res new file mode 100644 index 0000000..ead84b9 --- /dev/null +++ b/tests/sav/nitg-e/error_expr_not_ok_alt5.res @@ -0,0 +1,105 @@ +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 diff --git a/tests/sav/nitg-e/error_expr_not_ok_alt6.res b/tests/sav/nitg-e/error_expr_not_ok_alt6.res new file mode 100644 index 0000000..afbbbd8 --- /dev/null +++ b/tests/sav/nitg-e/error_expr_not_ok_alt6.res @@ -0,0 +1,109 @@ +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 diff --git a/tests/sav/nitg-e/error_for_coll.res b/tests/sav/nitg-e/error_for_coll.res new file mode 100644 index 0000000..cfcda5e --- /dev/null +++ b/tests/sav/nitg-e/error_for_coll.res @@ -0,0 +1 @@ +error_for_coll.nit:17,1--18,3: Type Error: Expected method 'iterator' in type Int diff --git a/tests/sav/nitg-e/error_needed_method_alt2.res b/tests/sav/nitg-e/error_needed_method_alt2.res new file mode 100644 index 0000000..557ff19 --- /dev/null +++ b/tests/sav/nitg-e/error_needed_method_alt2.res @@ -0,0 +1,2 @@ +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] diff --git a/tests/sav/nitg-e/error_needed_types_alt8.res b/tests/sav/nitg-e/error_needed_types_alt8.res new file mode 100644 index 0000000..e0c62db --- /dev/null +++ b/tests/sav/nitg-e/error_needed_types_alt8.res @@ -0,0 +1 @@ +alt/error_needed_types_alt8.nit:21,1--22,3: Type Error: Expected method 'iterator' in type L -- 1.7.9.5