tests/error_type_unk.nit

   1 import kernel
   2
   3 class G[E]
   4 end
   5
   6 #alt1# class H[E: Fail] end
   7
   8 class A
   9         #alt2#super Fail
  10         #alt3#super G[Fail]
  11         #alt2#super Fail[G]
  12
  13         #alt4#var v: Fail
  14         #alt4#fun f(f: Fail): Fail do return f + 1
  15         #alt5#var v: Fail
  16         #alt5#fun f(f: Fail): Fail do return f + 1
  17
  18         fun f2 do
  19                 #alt6#var x: Fail
  20                 #alt7#var y = new Fail
  21                 var z = 1
  22                 var b = z isa Fail
  23                 z = b + 1
  24                 var c = z.as(Fail)
  25                 z = c + 1
  26         end
  27 end
  28
  29 class B
  30         super A
  31         #alt4# redef fun v do return super + 1
  32         #alt4# redef fun f(f) do return f + 1
  33         #alt5# redef fun v: Fail do return super + 1
  34         #alt5# redef fun f(f: Fail): Fail do return f + 1
  35 end