tests/sav/base_isa3.res

   1 base_isa3.nit:59,8--14: Warning: Expression is already a A since it is a B.
   2 base_isa3.nit:64,8--14: Warning: Expression is already a A since it is a C.
   3 base_isa3.nit:69,8--14: Warning: Expression is already a A since it is a D.
   4 base_isa3.nit:73,8--14: Warning: Expression is already a E since it is a D.
   5 base_isa3.nit:74,8--14: Warning: Expression is already a E.
   6 base_isa3.nit:75,8--14: Warning: Expression is already a E.
   7 base_isa3.nit:76,8--14: Warning: Expression is already a E.
   8 base_isa3.nit:79,8--14: Warning: Expression is already a A since it is a E.
   9 base_isa3.nit:84,8--14: Warning: Expression is already a A since it is a F.
  10 base_isa3.nit:87,8--14: Warning: Expression is already a G since it is a F.
  11 base_isa3.nit:91,8--14: Warning: Expression is already a A since it is a G.
  12 true