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