Contents

module M
  def f(m); super :M; end
end
class C
  def f(m); end
end
class D < C
  def f(m); super :D; end
  include M
end
class E < D
  def f(m); super :E; end
  include M
end

E.new.f(:top)

__END__
# Classes
module M
  def f: (:D | :E m) -> nil
end

class C
  def f: (:M m) -> nil
end

class D < C
  include M

  def f: (:M m) -> nil
end

class E < D
  include M

  def f: (:top m) -> nil
end

Version data entries

11 entries across 11 versions & 1 rubygems

Version	Path
typeprof-0.20.0	smoke/super5.rb
typeprof-0.15.3	smoke/super5.rb
typeprof-0.15.2	smoke/super5.rb
typeprof-0.15.1	smoke/super5.rb
typeprof-0.15.0	smoke/super5.rb
typeprof-0.14.1	smoke/super5.rb
typeprof-0.14.0	smoke/super5.rb
typeprof-0.13.0	smoke/super5.rb
typeprof-0.12.0	smoke/super5.rb
typeprof-0.11.0	smoke/super5.rb
typeprof-0.10.0	smoke/super5.rb