tests/sav/error_expr_not_ok_alt5.res

   1 alt/error_expr_not_ok_alt5.nit:19,18--21: Error: method or variable `fail` unknown in `A`.
   2 alt/error_expr_not_ok_alt5.nit:21,11--14: Error: method or variable `fail` unknown in `A`.
   3 alt/error_expr_not_ok_alt5.nit:22,26--29: Error: method or variable `fail` unknown in `A`.
   4 alt/error_expr_not_ok_alt5.nit:24,8--11: Error: method or variable `fail` unknown in `A`.
   5 alt/error_expr_not_ok_alt5.nit:25,9--12: Error: method or variable `fail` unknown in `A`.
   6 alt/error_expr_not_ok_alt5.nit:37,8--12: Error: method or variable `fail2` unknown in `Sys`.
   7 alt/error_expr_not_ok_alt5.nit:40,4--7: Error: method `fail` does not exists in `Int`.
   8 alt/error_expr_not_ok_alt5.nit:42,7--9: Type Error: expected `A`, got `Int`.
   9 alt/error_expr_not_ok_alt5.nit:43,5--8: Error: method `fail` does not exists in `Int`.
  10 alt/error_expr_not_ok_alt5.nit:60,4--7: Type Error: expected `Bool`, got `Int`.
  11 alt/error_expr_not_ok_alt5.nit:60,20: Type Error: expected `A`, got `Int`.
  12 alt/error_expr_not_ok_alt5.nit:62,10--13: Type Error: expected `Bool`, got `Int`.
  13 alt/error_expr_not_ok_alt5.nit:62,7--27: Type Error: expected `A`, got `Int`.
  14 alt/error_expr_not_ok_alt5.nit:63,7--30: Type Error: expected `A`, got `Int`.
  15 alt/error_expr_not_ok_alt5.nit:64,7--33: Type Error: expected `A`, got `Int`.
  16 alt/error_expr_not_ok_alt5.nit:66,7--10: Type Error: expected `Bool`, got `Int`.
  17 alt/error_expr_not_ok_alt5.nit:66,21: Type Error: expected `A`, got `Int`.
  18 alt/error_expr_not_ok_alt5.nit:67,1--18: Warning: use `loop` instead of `while true do`.
  19 alt/error_expr_not_ok_alt5.nit:69,5--13: Type Error: `for` expects a type providing an `iterator` method, got `Int`.
  20 alt/error_expr_not_ok_alt5.nit:69,5--13: Error: method `iterator` does not exists in `Int`.
  21 alt/error_expr_not_ok_alt5.nit:69,24: Type Error: expected `A`, got `Int`.
  22 alt/error_expr_not_ok_alt5.nit:71,8--11: Type Error: expected `Bool`, got `Int`.
  23 alt/error_expr_not_ok_alt5.nit:72,7--15: Type Error: expected `A`, got `Int`.
  24 alt/error_expr_not_ok_alt5.nit:73,7--10: Type Error: expected `Bool`, got `Int`.
  25 alt/error_expr_not_ok_alt5.nit:73,7--18: Type Error: expected `A`, got `Bool`.
  26 alt/error_expr_not_ok_alt5.nit:74,15--18: Type Error: expected `Bool`, got `Int`.
  27 alt/error_expr_not_ok_alt5.nit:74,7--18: Type Error: expected `A`, got `Bool`.
  28 alt/error_expr_not_ok_alt5.nit:75,7--10: Type Error: expected `Bool`, got `Int`.
  29 alt/error_expr_not_ok_alt5.nit:75,15--18: Type Error: expected `Bool`, got `Int`.
  30 alt/error_expr_not_ok_alt5.nit:75,7--18: Type Error: expected `A`, got `Bool`.
  31 alt/error_expr_not_ok_alt5.nit:76,7--10: Type Error: expected `Bool`, got `Int`.
  32 alt/error_expr_not_ok_alt5.nit:76,7--19: Type Error: expected `A`, got `Bool`.
  33 alt/error_expr_not_ok_alt5.nit:77,7--10: Type Error: expected `Bool`, got `Int`.
  34 alt/error_expr_not_ok_alt5.nit:77,16--19: Type Error: expected `Bool`, got `Int`.
  35 alt/error_expr_not_ok_alt5.nit:77,7--19: Type Error: expected `A`, got `Bool`.
  36 alt/error_expr_not_ok_alt5.nit:78,7--10: Type Error: expected `Bool`, got `Int`.
  37 alt/error_expr_not_ok_alt5.nit:78,16--19: Type Error: expected `Bool`, got `Int`.
  38 alt/error_expr_not_ok_alt5.nit:78,7--19: Type Error: expected `A`, got `Bool`.
  39 alt/error_expr_not_ok_alt5.nit:79,11--14: Type Error: expected `Bool`, got `Int`.
  40 alt/error_expr_not_ok_alt5.nit:79,7--14: Type Error: expected `A`, got `Bool`.
  41 alt/error_expr_not_ok_alt5.nit:80,7--15: Type Error: expected `A`, got `Bool`.
  42 alt/error_expr_not_ok_alt5.nit:81,7--15: Type Error: expected `A`, got `Bool`.
  43 alt/error_expr_not_ok_alt5.nit:82,7--18: Type Error: expected `A`, got `Bool`.
  44 alt/error_expr_not_ok_alt5.nit:83,7--15: Type Error: expected `A`, got `Bool`.
  45 alt/error_expr_not_ok_alt5.nit:84,7--15: Type Error: expected `A`, got `Bool`.
  46 alt/error_expr_not_ok_alt5.nit:85,7--18: Type Error: expected `A`, got `Bool`.
  47 alt/error_expr_not_ok_alt5.nit:86,7--30: Type Error: expected `A`, got `Bool`.
  48 alt/error_expr_not_ok_alt5.nit:87,7--30: Type Error: expected `A`, got `Bool`.
  49 alt/error_expr_not_ok_alt5.nit:88,7--33: Type Error: expected `A`, got `Bool`.
  50 alt/error_expr_not_ok_alt5.nit:89,7--14: Type Error: expected `A`, got `Bool`.
  51 alt/error_expr_not_ok_alt5.nit:90,7--14: Type Error: expected `A`, got `Bool`.
  52 alt/error_expr_not_ok_alt5.nit:91,7--17: Type Error: expected `A`, got `Bool`.
  53 alt/error_expr_not_ok_alt5.nit:92,7--14: Type Error: expected `A`, got `Bool`.
  54 alt/error_expr_not_ok_alt5.nit:93,7--14: Type Error: expected `A`, got `Bool`.
  55 alt/error_expr_not_ok_alt5.nit:94,7--17: Type Error: expected `A`, got `Bool`.
  56 alt/error_expr_not_ok_alt5.nit:95,7--15: Type Error: expected `A`, got `Bool`.
  57 alt/error_expr_not_ok_alt5.nit:96,7--15: Type Error: expected `A`, got `Bool`.
  58 alt/error_expr_not_ok_alt5.nit:97,7--18: Type Error: expected `A`, got `Bool`.
  59 alt/error_expr_not_ok_alt5.nit:98,7--15: Type Error: expected `A`, got `Bool`.
  60 alt/error_expr_not_ok_alt5.nit:99,7--15: Type Error: expected `A`, got `Bool`.
  61 alt/error_expr_not_ok_alt5.nit:100,7--18: Type Error: expected `A`, got `Bool`.
  62 alt/error_expr_not_ok_alt5.nit:101,7--16: Type Error: expected `A`, got `Int`.
  63 alt/error_expr_not_ok_alt5.nit:102,7--16: Type Error: expected `A`, got `Int`.
  64 alt/error_expr_not_ok_alt5.nit:103,7--19: Type Error: expected `A`, got `Int`.
  65 alt/error_expr_not_ok_alt5.nit:104,7--14: Type Error: expected `A`, got `Int`.
  66 alt/error_expr_not_ok_alt5.nit:105,7--14: Type Error: expected `A`, got `Int`.
  67 alt/error_expr_not_ok_alt5.nit:106,7--17: Type Error: expected `A`, got `Int`.
  68 alt/error_expr_not_ok_alt5.nit:107,7--14: Type Error: expected `A`, got `Int`.
  69 alt/error_expr_not_ok_alt5.nit:108,7--14: Type Error: expected `A`, got `Int`.
  70 alt/error_expr_not_ok_alt5.nit:109,7--17: Type Error: expected `A`, got `Int`.
  71 alt/error_expr_not_ok_alt5.nit:110,7--14: Type Error: expected `A`, got `Int`.
  72 alt/error_expr_not_ok_alt5.nit:111,7--14: Type Error: expected `A`, got `Int`.
  73 alt/error_expr_not_ok_alt5.nit:112,7--17: Type Error: expected `A`, got `Int`.
  74 alt/error_expr_not_ok_alt5.nit:113,7--14: Type Error: expected `A`, got `Int`.
  75 alt/error_expr_not_ok_alt5.nit:114,7--14: Type Error: expected `A`, got `Int`.
  76 alt/error_expr_not_ok_alt5.nit:115,7--17: Type Error: expected `A`, got `Int`.
  77 alt/error_expr_not_ok_alt5.nit:116,7--14: Type Error: expected `A`, got `Int`.
  78 alt/error_expr_not_ok_alt5.nit:117,7--14: Type Error: expected `A`, got `Int`.
  79 alt/error_expr_not_ok_alt5.nit:118,7--17: Type Error: expected `A`, got `Int`.
  80 alt/error_expr_not_ok_alt5.nit:119,7--11: Type Error: expected `A`, got `Int`.
  81 alt/error_expr_not_ok_alt5.nit:122,11--15: Error: attribute `_fail` does not exist in `String`.
  82 alt/error_expr_not_ok_alt5.nit:123,5--9: Error: attribute `_fail` does not exist in `String`.
  83 alt/error_expr_not_ok_alt5.nit:124,5--9: Error: attribute `_fail` does not exist in `String`.
  84 alt/error_expr_not_ok_alt5.nit:126,12--13: Error: attribute `_x` does not exist in `Int`.
  85 alt/error_expr_not_ok_alt5.nit:127,6--7: Error: attribute `_x` does not exist in `Int`.
  86 alt/error_expr_not_ok_alt5.nit:128,6--7: Error: attribute `_x` does not exist in `Int`.
  87 alt/error_expr_not_ok_alt5.nit:131,7--15: Type Error: expected `A`, got `Int`.
  88 alt/error_expr_not_ok_alt5.nit:134,7--13: Error: method `[]` does not exists in `Int`.
  89 alt/error_expr_not_ok_alt5.nit:135,1--11: Error: method `[]=` does not exists in `Int`.
  90 alt/error_expr_not_ok_alt5.nit:136,1--12: Error: method `[]` does not exists in `Int`.
  91 alt/error_expr_not_ok_alt5.nit:137,1--17: Error: method `[]=` does not exists in `Int`.
  92 alt/error_expr_not_ok_alt5.nit:139,7--15: Type Error: expected `A`, got `Range[Int]`.
  93 alt/error_expr_not_ok_alt5.nit:140,7--15: Type Error: expected `A`, got `Range[Int]`.
  94 alt/error_expr_not_ok_alt5.nit:141,7--18: Type Error: expected `A`, got `Range[Int]`.
  95 alt/error_expr_not_ok_alt5.nit:142,7--15: Type Error: expected `A`, got `Range[Int]`.
  96 alt/error_expr_not_ok_alt5.nit:143,7--15: Type Error: expected `A`, got `Range[Int]`.
  97 alt/error_expr_not_ok_alt5.nit:144,7--18: Type Error: expected `A`, got `Range[Int]`.
  98 alt/error_expr_not_ok_alt5.nit:145,7--15: Type Error: expected `A`, got `Array[Int]`.
  99 alt/error_expr_not_ok_alt5.nit:146,7--15: Type Error: expected `A`, got `Array[Int]`.
 100 alt/error_expr_not_ok_alt5.nit:147,7--18: Type Error: expected `A`, got `Array[Int]`.
 101 alt/error_expr_not_ok_alt5.nit:149,7--24: Type Error: expected `A`, got `String`.
 102 alt/error_expr_not_ok_alt5.nit:150,7--18: Type Error: expected `A`, got `Int`.
 103 alt/error_expr_not_ok_alt5.nit:150,7--18: Warning: expression is already a `Int`.
 104 alt/error_expr_not_ok_alt5.nit:151,7--10: Warning: expression is not null, since it is a `Int`.
 105 alt/error_expr_not_ok_alt5.nit:151,7--23: Type Error: expected `A`, got `Int`.
 106 alt/error_expr_not_ok_alt5.nit:152,7--18: Type Error: expected `A`, got `Bool`.
 107 alt/error_expr_not_ok_alt5.nit:152,7--18: Warning: expression is already a `Int`.