error_type_not_ok5.nit:23,8--11: Error: class `Fail` not found in module `error_type_not_ok5`.
error_type_not_ok5.nit:25,18--21: Error: class `Fail` not found in module `error_type_not_ok5`.
error_type_not_ok5.nit:28,14--17: Error: class `Fail` not found in module `error_type_not_ok5`.
error_type_not_ok5.nit:28,7--17: Type Error: expected `Char`, got `Bool`.
error_type_not_ok5.nit:29,11--14: Error: class `Fail` not found in module `error_type_not_ok5`.
error_type_not_ok5.nit:30,11--14: Error: class `Fail` not found in module `error_type_not_ok5`.
error_type_not_ok5.nit:31,13--16: Error: class `Fail` not found in module `error_type_not_ok5`.