Contents

def log1(x); end
def log2(x); end
def log3(x); end

def f(&blk)
  log3(
    blk.call do |x|
      log1(x)
      :b
    end
  )
  :d
end

f do |&blk|
  log2(blk.call(:a))
  :c
end

__END__
# Classes
class Object
  def log1 : (:a) -> nil
  def log2 : (:b) -> nil
  def log3 : (:c) -> nil
  def f : { { (:a) -> :b } -> :c } -> :d
end

Version data entries

7 entries across 7 versions & 1 rubygems

Version	Path
typeprof-0.5.3	smoke/block-blockarg.rb
typeprof-0.5.2	smoke/block-blockarg.rb
typeprof-0.5.1	smoke/block-blockarg.rb
typeprof-0.5.0	smoke/block-blockarg.rb
typeprof-0.4.2	smoke/block-blockarg.rb
typeprof-0.4.1	smoke/block-blockarg.rb
typeprof-0.4.0	smoke/block-blockarg.rb