Contents

def foo(x)
  case x
  when Integer
    x
  when String
    x.to_i
  else
    raise
  end
end

foo(1)
foo("1")

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

Version data entries

11 entries across 11 versions & 1 rubygems

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