tests/sav/error_expr_not_ok_alt6.sav

   1 alt/error_expr_not_ok_alt6.nit:19,19--22: Error: Method or variable 'fail' unknown in A.
   2 alt/error_expr_not_ok_alt6.nit:21,11--14: Error: Method or variable 'fail' unknown in A.
   3 alt/error_expr_not_ok_alt6.nit:22,26--29: Error: Method or variable 'fail' unknown in A.
   4 alt/error_expr_not_ok_alt6.nit:24,8--11: Error: Method or variable 'fail' unknown in A.
   5 alt/error_expr_not_ok_alt6.nit:25,9--12: Error: Method or variable 'fail' unknown in A.
   6 alt/error_expr_not_ok_alt6.nit:40,1--7: Error: Method 'fail' doesn't exists in Int.
   7 alt/error_expr_not_ok_alt6.nit:41,16--19: Type error: expected Int, got null
   8 alt/error_expr_not_ok_alt6.nit:42,7--9: Type error: expected A, got Int
   9 alt/error_expr_not_ok_alt6.nit:43,1--8: Error: Method 'fail' doesn't exists in Int.
  10 alt/error_expr_not_ok_alt6.nit:45,7--10: Type error: expected A, got null
  11 alt/error_expr_not_ok_alt6.nit:46,1--9: Error: Method 'fail' call on 'null'.
  12 alt/error_expr_not_ok_alt6.nit:49,7--10: Type error: expected A, got null
  13 alt/error_expr_not_ok_alt6.nit:50,1--10: Error: Method 'trash' call on 'null'.
  14 alt/error_expr_not_ok_alt6.nit:51,8--9: Type error: expected null, got Int
  15 alt/error_expr_not_ok_alt6.nit:52,6--9: Type error: expected Int, got null
  16 alt/error_expr_not_ok_alt6.nit:53,1--9: Error: Method '+' call on 'null'.
  17 alt/error_expr_not_ok_alt6.nit:54,7--10: Type error: expected Int, got null
  18 alt/error_expr_not_ok_alt6.nit:55,1--12: Error: Method '+' call on 'null'.
  19 alt/error_expr_not_ok_alt6.nit:60,4--7: Type error: expected Bool, got null
  20 alt/error_expr_not_ok_alt6.nit:60,20: Type error: expected A, got Int
  21 alt/error_expr_not_ok_alt6.nit:62,10--13: Type error: expected Bool, got null
  22 alt/error_expr_not_ok_alt6.nit:62,7--27: Type error: expected A, got Int
  23 alt/error_expr_not_ok_alt6.nit:63,7--30: Type error: expected A, got nullable Int
  24 alt/error_expr_not_ok_alt6.nit:64,7--33: Type error: expected A, got null
  25 alt/error_expr_not_ok_alt6.nit:66,7--10: Type error: expected Bool, got null
  26 alt/error_expr_not_ok_alt6.nit:66,21: Type error: expected A, got Int
  27 alt/error_expr_not_ok_alt6.nit:69,10--13: Type error: expected Collection[nullable Object], got null
  28 alt/error_expr_not_ok_alt6.nit:71,8--11: Type error: expected Bool, got null
  29 alt/error_expr_not_ok_alt6.nit:72,7--15: Type error: expected A, got null
  30 alt/error_expr_not_ok_alt6.nit:73,7--10: Type error: expected Bool, got null
  31 alt/error_expr_not_ok_alt6.nit:73,7--18: Type error: expected A, got Bool
  32 alt/error_expr_not_ok_alt6.nit:74,15--18: Type error: expected Bool, got null
  33 alt/error_expr_not_ok_alt6.nit:74,7--18: Type error: expected A, got Bool
  34 alt/error_expr_not_ok_alt6.nit:75,7--10: Type error: expected Bool, got null
  35 alt/error_expr_not_ok_alt6.nit:75,15--18: Type error: expected Bool, got null
  36 alt/error_expr_not_ok_alt6.nit:75,7--18: Type error: expected A, got Bool
  37 alt/error_expr_not_ok_alt6.nit:76,7--10: Type error: expected Bool, got null
  38 alt/error_expr_not_ok_alt6.nit:76,7--19: Type error: expected A, got Bool
  39 alt/error_expr_not_ok_alt6.nit:77,7--10: Type error: expected Bool, got null
  40 alt/error_expr_not_ok_alt6.nit:77,16--19: Type error: expected Bool, got null
  41 alt/error_expr_not_ok_alt6.nit:77,7--19: Type error: expected A, got Bool
  42 alt/error_expr_not_ok_alt6.nit:78,7--10: Type error: expected Bool, got null
  43 alt/error_expr_not_ok_alt6.nit:78,16--19: Type error: expected Bool, got null
  44 alt/error_expr_not_ok_alt6.nit:78,7--19: Type error: expected A, got Bool
  45 alt/error_expr_not_ok_alt6.nit:79,11--14: Type error: expected Bool, got null
  46 alt/error_expr_not_ok_alt6.nit:79,7--14: Type error: expected A, got Bool
  47 alt/error_expr_not_ok_alt6.nit:80,7--15: Type error: expected A, got Bool
  48 alt/error_expr_not_ok_alt6.nit:81,7--15: Type error: expected A, got Bool
  49 alt/error_expr_not_ok_alt6.nit:82,7--18: Type error: expected A, got Bool
  50 alt/error_expr_not_ok_alt6.nit:83,7--15: Type error: expected A, got Bool
  51 alt/error_expr_not_ok_alt6.nit:84,7--15: Type error: expected A, got Bool
  52 alt/error_expr_not_ok_alt6.nit:85,7--18: Type error: expected A, got Bool
  53 alt/error_expr_not_ok_alt6.nit:86,7--15: Type error: expected A, got Bool
  54 alt/error_expr_not_ok_alt6.nit:87,7--15: Type error: expected A, got Bool
  55 alt/error_expr_not_ok_alt6.nit:88,7--18: Type error: expected A, got Bool
  56 alt/error_expr_not_ok_alt6.nit:89,7--14: Error: Method '<' call on 'null'.
  57 alt/error_expr_not_ok_alt6.nit:90,11--14: Type error: expected Int, got null
  58 alt/error_expr_not_ok_alt6.nit:90,7--14: Type error: expected A, got Bool
  59 alt/error_expr_not_ok_alt6.nit:91,7--17: Error: Method '<' call on 'null'.
  60 alt/error_expr_not_ok_alt6.nit:92,7--14: Error: Method '>' call on 'null'.
  61 alt/error_expr_not_ok_alt6.nit:93,11--14: Type error: expected Int, got null
  62 alt/error_expr_not_ok_alt6.nit:93,7--14: Type error: expected A, got Bool
  63 alt/error_expr_not_ok_alt6.nit:94,7--17: Error: Method '>' call on 'null'.
  64 alt/error_expr_not_ok_alt6.nit:95,7--15: Error: Method '<=' call on 'null'.
  65 alt/error_expr_not_ok_alt6.nit:96,12--15: Type error: expected Int, got null
  66 alt/error_expr_not_ok_alt6.nit:96,7--15: Type error: expected A, got Bool
  67 alt/error_expr_not_ok_alt6.nit:97,7--18: Error: Method '<=' call on 'null'.
  68 alt/error_expr_not_ok_alt6.nit:98,7--15: Error: Method '>=' call on 'null'.
  69 alt/error_expr_not_ok_alt6.nit:99,12--15: Type error: expected Int, got null
  70 alt/error_expr_not_ok_alt6.nit:99,7--15: Type error: expected A, got Bool
  71 alt/error_expr_not_ok_alt6.nit:100,7--18: Error: Method '>=' call on 'null'.
  72 alt/error_expr_not_ok_alt6.nit:101,7--16: Error: Method '<=>' call on 'null'.
  73 alt/error_expr_not_ok_alt6.nit:102,13--16: Type error: expected Int, got null
  74 alt/error_expr_not_ok_alt6.nit:102,7--16: Type error: expected A, got Int
  75 alt/error_expr_not_ok_alt6.nit:103,7--19: Error: Method '<=>' call on 'null'.
  76 alt/error_expr_not_ok_alt6.nit:104,7--14: Error: Method '+' call on 'null'.
  77 alt/error_expr_not_ok_alt6.nit:105,11--14: Type error: expected Int, got null
  78 alt/error_expr_not_ok_alt6.nit:105,7--14: Type error: expected A, got Int
  79 alt/error_expr_not_ok_alt6.nit:106,7--17: Error: Method '+' call on 'null'.
  80 alt/error_expr_not_ok_alt6.nit:107,7--14: Error: Method '-' call on 'null'.
  81 alt/error_expr_not_ok_alt6.nit:108,11--14: Type error: expected Int, got null
  82 alt/error_expr_not_ok_alt6.nit:108,7--14: Type error: expected A, got Int
  83 alt/error_expr_not_ok_alt6.nit:109,7--17: Error: Method '-' call on 'null'.
  84 alt/error_expr_not_ok_alt6.nit:110,7--14: Error: Method '*' call on 'null'.
  85 alt/error_expr_not_ok_alt6.nit:111,11--14: Type error: expected Int, got null
  86 alt/error_expr_not_ok_alt6.nit:111,7--14: Type error: expected A, got Int
  87 alt/error_expr_not_ok_alt6.nit:112,7--17: Error: Method '*' call on 'null'.
  88 alt/error_expr_not_ok_alt6.nit:113,7--14: Error: Method '/' call on 'null'.
  89 alt/error_expr_not_ok_alt6.nit:114,11--14: Type error: expected Int, got null
  90 alt/error_expr_not_ok_alt6.nit:114,7--14: Type error: expected A, got Int
  91 alt/error_expr_not_ok_alt6.nit:115,7--17: Error: Method '/' call on 'null'.
  92 alt/error_expr_not_ok_alt6.nit:116,7--14: Error: Method '%' call on 'null'.
  93 alt/error_expr_not_ok_alt6.nit:117,11--14: Type error: expected Int, got null
  94 alt/error_expr_not_ok_alt6.nit:117,7--14: Type error: expected A, got Int
  95 alt/error_expr_not_ok_alt6.nit:118,7--17: Error: Method '%' call on 'null'.
  96 alt/error_expr_not_ok_alt6.nit:119,7--11: Error: Method 'unary -' call on 'null'.
  97 alt/error_expr_not_ok_alt6.nit:122,7--15: Error: Attribute _fail doesn't exists in String.
  98 alt/error_expr_not_ok_alt6.nit:123,1--13: Error: Attribute _fail doesn't exists in String.
  99 alt/error_expr_not_ok_alt6.nit:124,1--14: Error: Attribute _fail doesn't exists in String.
 100 alt/error_expr_not_ok_alt6.nit:126,7--13: Error: Attribute '_x' access on 'null'.
 101 alt/error_expr_not_ok_alt6.nit:127,1--11: Error: Attribute '_x' access on 'null'.
 102 alt/error_expr_not_ok_alt6.nit:128,1--12: Error: Attribute '_x' access on 'null'.
 103 alt/error_expr_not_ok_alt6.nit:131,11--14: Type error: expected Int, got null
 104 alt/error_expr_not_ok_alt6.nit:131,7--14: Type error: expected A, got Int
 105 alt/error_expr_not_ok_alt6.nit:132,10--13: Type error: expected Int, got null
 106 alt/error_expr_not_ok_alt6.nit:133,11--14: Type error: expected Int, got null
 107 alt/error_expr_not_ok_alt6.nit:134,7--12: Error: Method '[]' call on 'null'.
 108 alt/error_expr_not_ok_alt6.nit:135,1--11: Error: Method '[]=' call on 'null'.
 109 alt/error_expr_not_ok_alt6.nit:136,1--12: Error: Method '[]' call on 'null'.
 110 alt/error_expr_not_ok_alt6.nit:137,1--17: Error: Method '[]=' call on 'null'.
 111 alt/error_expr_not_ok_alt6.nit:139,8--14: Type error: Int incompatible with null.
 112 alt/error_expr_not_ok_alt6.nit:140,8--14: Type error: null incompatible with Int.
 113 alt/error_expr_not_ok_alt6.nit:141,8--11: Type error: expected Discrete, got null
 114 alt/error_expr_not_ok_alt6.nit:142,8--14: Type error: Int incompatible with null.
 115 alt/error_expr_not_ok_alt6.nit:143,8--14: Type error: null incompatible with Int.
 116 alt/error_expr_not_ok_alt6.nit:144,8--11: Type error: expected Discrete, got null
 117 alt/error_expr_not_ok_alt6.nit:145,8--14: Type error: expected A, got Array[nullable Int]
 118 alt/error_expr_not_ok_alt6.nit:146,8--14: Type error: expected A, got Array[nullable Int]
 119 alt/error_expr_not_ok_alt6.nit:147,8--17: Type error: expected A, got Array[null]
 120 alt/error_expr_not_ok_alt6.nit:149,14--17: Type error: expected Object, got null
 121 alt/error_expr_not_ok_alt6.nit:149,7--24: Type error: expected A, got String
 122 alt/error_expr_not_ok_alt6.nit:150,7--17: Type error: expected A, got Int
 123 alt/error_expr_not_ok_alt6.nit:151,7--10: Type error: 'as(not null)' on 'null' value.
 124 alt/error_expr_not_ok_alt6.nit:152,7--18: Type error: expected A, got Bool