Contents

def bar(x)
  x
end

def foo
  yield 42
end

foo do |x|
  bar(x)
rescue
  x = "str"
  redo if rand < 0.5
  42
end

__END__
# Classes
class Object
  private
  def bar: (Integer | String x) -> (Integer | String)
  def foo: { (Integer) -> (Integer | String) } -> (Integer | String)
end

Version data entries

11 entries across 11 versions & 1 rubygems

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