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--15: Error: Method or variable 'fail2' unknown in Sys.
   7 alt/error_expr_not_ok_alt5.nit:40,1--7: Error: Method 'fail' doesn't 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,1--8: Error: Method 'fail' doesn't 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,24: Type error: expected A, got Int
  20 alt/error_expr_not_ok_alt5.nit:69,1--25: Type Error: 'for' expects a type providing 'iterator' method, got 'Int'.
  21 alt/error_expr_not_ok_alt5.nit:69,1--25: Error: Method 'iterator' doesn't exists in 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,7--15: Error: Attribute _fail doesn't exists in String.
  82 alt/error_expr_not_ok_alt5.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
  83 alt/error_expr_not_ok_alt5.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
  84 alt/error_expr_not_ok_alt5.nit:126,7--13: Error: Attribute _x doesn't exists in Int.
  85 alt/error_expr_not_ok_alt5.nit:127,1--11: Error: Attribute _x doesn't exists in Int.
  86 alt/error_expr_not_ok_alt5.nit:128,1--12: Error: Attribute _x doesn't exists 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 '[]' doesn't exists in Int.
  89 alt/error_expr_not_ok_alt5.nit:135,1--11: Error: Method '[]=' doesn't exists in Int.
  90 alt/error_expr_not_ok_alt5.nit:136,1--12: Error: Method '[]' doesn't exists in Int.
  91 alt/error_expr_not_ok_alt5.nit:137,1--17: Error: Method '[]=' doesn't 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: Warning: Expression is already a Int.
 103 alt/error_expr_not_ok_alt5.nit:150,7--18: Type error: expected A, got 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: Warning: Expression is already a Int.
 107 alt/error_expr_not_ok_alt5.nit:152,7--18: Type error: expected A, got Bool