-./error_type_not_ok3.nit:23,18: Type error: class Fail not found in module error_type_not_ok3.
-./error_type_not_ok3.nit:20,12: Type error: class Fail not found in module error_type_not_ok3.
+./error_type_not_ok3.nit:20,12--15: Type error: class Fail not found in module error_type_not_ok3.
+./error_type_not_ok3.nit:23,18--21: Type error: class Fail not found in module error_type_not_ok3.