Contents

# two issues:
# (1) TypedProc should call `-> n { log1(n) }` with an Integer, but not implemented yet
# (2) log1 returns a String, which is inconsistent and should be reported

def log1(n)
  n.to_s # XXX: should be reported as "inconsistent with RBS"
end

def log2
  Foo.new.foo(-> n { log1(n) })
end

log2

__END__
# Classes
class Object
  private
  def log1: (untyped n) -> untyped
  def log2: -> String
end

Version data entries

11 entries across 11 versions & 1 rubygems

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