tests/sav/error_type_not_ok5.sav

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