Contents

F = -> x { "str" }

def foo(&blk)
  blk.call(:sym, &F)
end

foo do |dummy, &blk|
  blk.call(42)
end

# truly expected:
# Object#foo :: (&Proc[(Symbol, &Proc[(Integer) -> String]) -> String]) -> String

__END__
# Classes
class Object
  def foo : { (:sym) { (Integer) -> String } -> String } -> String
end

Version data entries

14 entries across 7 versions & 1 rubygems

Version	Path
typeprof-0.3.0	smoke/demo9.rb
typeprof-0.3.0	smoke/block5.rb
typeprof-0.2.0	smoke/demo9.rb
typeprof-0.2.0	smoke/block5.rb
typeprof-0.1.4	smoke/block5.rb
typeprof-0.1.4	smoke/demo9.rb
typeprof-0.1.3	smoke/demo9.rb
typeprof-0.1.3	smoke/block5.rb
typeprof-0.1.2	smoke/demo9.rb
typeprof-0.1.2	smoke/block5.rb
typeprof-0.1.1	smoke/demo9.rb
typeprof-0.1.1	smoke/block5.rb
typeprof-0.1.0	smoke/block5.rb
typeprof-0.1.0	smoke/demo9.rb