-./error_type_not_ok3.nit:23,18--21: 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.