./error_type_not_ok5.nit:23,8: Type error: class Fail not found in module error_type_not_ok5.
./error_type_not_ok5.nit:25,18: Type error: class Fail not found in module error_type_not_ok5.
./error_type_not_ok5.nit:28,14: Type error: class Fail not found in module error_type_not_ok5.
./error_type_not_ok5.nit:29,11: Type error: class Fail not found in module error_type_not_ok5.
./error_type_not_ok5.nit:30,11: Type error: class Fail not found in module error_type_not_ok5.
./error_type_not_ok5.nit:31,13: Type error: class Fail not found in module error_type_not_ok5.