Contents

def foo(x)
  "s" + case x
  when Integer
    x.to_s
  when String
    x
  else
    raise
  end
end

foo(1)
foo("1")

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

Version data entries

11 entries across 11 versions & 1 rubygems

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