Contents

def bar(x)
  x
end

def foo
  yield 42
end

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

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

Version data entries

18 entries across 18 versions & 1 rubygems

Version	Path
typeprof-0.7.0	smoke/redo1.rb
typeprof-0.6.1	smoke/redo1.rb
typeprof-0.6.0	smoke/redo1.rb
typeprof-0.5.4	smoke/redo1.rb
typeprof-0.5.3	smoke/redo1.rb
typeprof-0.5.2	smoke/redo1.rb
typeprof-0.5.1	smoke/redo1.rb
typeprof-0.5.0	smoke/redo1.rb
typeprof-0.4.2	smoke/redo1.rb
typeprof-0.4.1	smoke/redo1.rb
typeprof-0.4.0	smoke/redo1.rb
typeprof-0.3.0	smoke/redo1.rb
typeprof-0.2.0	smoke/redo1.rb
typeprof-0.1.4	smoke/redo1.rb
typeprof-0.1.3	smoke/redo1.rb
typeprof-0.1.2	smoke/redo1.rb
typeprof-0.1.1	smoke/redo1.rb
typeprof-0.1.0	smoke/redo1.rb