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
  def log1 : (untyped) -> untyped
  def log2 : -> String
end

Version data entries

11 entries across 11 versions & 1 rubygems

Version	Path
typeprof-0.7.0	smoke/rbs-proc2.rb
typeprof-0.6.1	smoke/rbs-proc2.rb
typeprof-0.6.0	smoke/rbs-proc2.rb
typeprof-0.5.4	smoke/rbs-proc2.rb
typeprof-0.5.3	smoke/rbs-proc2.rb
typeprof-0.5.2	smoke/rbs-proc2.rb
typeprof-0.5.1	smoke/rbs-proc2.rb
typeprof-0.5.0	smoke/rbs-proc2.rb
typeprof-0.4.2	smoke/rbs-proc2.rb
typeprof-0.4.1	smoke/rbs-proc2.rb
typeprof-0.4.0	smoke/rbs-proc2.rb