Contents

def foo(x)
  x.is_a?(Integer) ? x : x
  1
end
foo(unknown)

__END__
# Errors
smoke/flow2.rb:5: [error] undefined method: Object#unknown

# Classes
class Object
  def foo : (untyped) -> Integer
end

Version data entries

18 entries across 18 versions & 1 rubygems

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