tests/sav/error_type_not_ok4.sav

   1 error_type_not_ok4.nit:21,10--13: Type error: class Fail not found in module error_type_not_ok4.
   2 error_type_not_ok4.nit:25,16--19: Type error: class Fail not found in module error_type_not_ok4.
   3 error_type_not_ok4.nit:29,28--31: Type error: class Fail not found in module error_type_not_ok4.
   4 error_type_not_ok4.nit:30,12--15: Type error: class Fail not found in module error_type_not_ok4.
   5 error_type_not_ok4.nit:31,18--21: Type error: class Fail not found in module error_type_not_ok4.
   6 error_type_not_ok4.nit:32,10--13: Type error: class Fail not found in module error_type_not_ok4.
   7 error_type_not_ok4.nit:33,16--19: Type error: class Fail not found in module error_type_not_ok4.