error_type_not_ok4.nit:21,10--13: Error: class `Fail` not found in module `error_type_not_ok4`.
error_type_not_ok4.nit:25,16--19: Error: class `Fail` not found in module `error_type_not_ok4`.
error_type_not_ok4.nit:29,9--12: Error: class `Fail` not found in module `error_type_not_ok4`.
error_type_not_ok4.nit:30,12--15: Error: class `Fail` not found in module `error_type_not_ok4`.
error_type_not_ok4.nit:31,18--21: Error: class `Fail` not found in module `error_type_not_ok4`.
error_type_not_ok4.nit:32,10--13: Error: class `Fail` not found in module `error_type_not_ok4`.
error_type_not_ok4.nit:33,16--19: Error: class `Fail` not found in module `error_type_not_ok4`.