typeprof 0.20.0 → 0.20.1

data/smoke/rbs-attr.rb

@@ -1,27 +0,0 @@
-def read_test_1
-  Foo.new.reader_example
-end
-
-def read_test_2
-  Foo.new.accessor_example
-end
-
-def write_test
-  Foo.new.writer_example = 1
-  Foo.new.writer_example = "str"
-  Foo.new.accessor_example = 1
-  Foo.new.accessor_example = "str"
-end
-
-__END__
-# Errors
-smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared variable
-smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared variable
-
-# Classes
-class Object
-  private
-  def read_test_1: -> Integer
-  def read_test_2: -> Integer
-  def write_test: -> String
-end

data/smoke/rbs-attr.rbs

@@ -1,5 +0,0 @@
-class Foo
-  attr_reader reader_example: Integer
-  attr_writer writer_example: Integer
-  attr_accessor accessor_example: Integer
-end

data/smoke/rbs-attr2.rb

@@ -1,11 +0,0 @@
-class Foo
-  def foo
-    @name
-  end
-end
-
-__END__
-# Classes
-class Foo
-  def foo: -> String
-end

data/smoke/rbs-attr2.rbs

@@ -1,3 +0,0 @@
-class Foo
-  attr_reader name: String
-end

data/smoke/rbs-extend.rb

@@ -1,10 +0,0 @@
-def log
-  C.foo
-end
-
-__END__
-# Classes
-class Object
-  private
-  def log: -> Integer
-end

data/smoke/rbs-extend.rbs

@@ -1,7 +0,0 @@
-module M
-  def foo: -> Integer
-end
-
-class C
-  extend M
-end

data/smoke/rbs-interface.rb

@@ -1,25 +0,0 @@
-def get_module
-  C.new.get_module
-end
-
-def get_module_foo
-  C.new.get_module.foo
-end
-
-def get_interface
-  C.new.get_interface
-end
-
-def get_interface_foo
-  C.new.get_interface.foo
-end
-
-__END__
-# Classes
-class Object
-  private
-  def get_module: -> M
-  def get_module_foo: -> Integer
-  def get_interface: -> _I
-  def get_interface_foo: -> Integer
-end

data/smoke/rbs-interface.rbs

@@ -1,12 +0,0 @@
-module M
-  def foo: -> Integer
-end
-
-interface _I
-  def foo: -> Integer
-end
-
-class C
-  def get_module : -> M
-  def get_interface : -> _I
-end

data/smoke/rbs-module.rb

@@ -1,26 +0,0 @@
-module Foo
-  class << self
-    def foo
-    end
-
-    def foo2
-      foo
-    end
-  end
-
-  def bar
-  end
-
-  def bar2
-    bar
-  end
-end
-
-__END__
-# Classes
-module Foo
-# def self.foo: -> Integer
-# def bar: -> Integer
-  def self.foo2: -> Integer
-  def bar2: -> Integer
-end

data/smoke/rbs-module.rbs

@@ -1,4 +0,0 @@
-module Foo
-  def self.foo: -> Integer
-  def bar: -> Integer
-end

data/smoke/rbs-opt-and-rest.rb

@@ -1,10 +0,0 @@
-def foo
-  Foo.foo
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> void
-end

data/smoke/rbs-opt-and-rest.rbs

@@ -1,3 +0,0 @@
-module Foo
-  def self.foo: (?Integer, *String) -> void
-end

data/smoke/rbs-proc1.rb

@@ -1,10 +0,0 @@
-def log
-  Foo.new.foo.call(42)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def log: -> Integer
-end

data/smoke/rbs-proc1.rbs

@@ -1,3 +0,0 @@
-class Foo
-  def foo: -> ^(Integer) -> Integer
-end

data/smoke/rbs-proc2.rb

@@ -1,21 +0,0 @@
-# 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

data/smoke/rbs-proc2.rbs

@@ -1,3 +0,0 @@
-class Foo
-  def foo: (^(Integer) -> Integer) -> String
-end

data/smoke/rbs-proc3.rb

@@ -1,14 +0,0 @@
-def log(foo)
-  foo.get.call
-end
-
-foo = Foo.new
-foo.set(1)
-log(foo)
-
-__END__
-# Classes
-class Object
-  private
-  def log: (Foo[Integer] foo) -> Integer
-end

data/smoke/rbs-proc3.rbs

@@ -1,4 +0,0 @@
-class Foo[X]
-  def set: (X) -> void
-  def get: -> ^() -> X
-end

data/smoke/rbs-record.rb

@@ -1,18 +0,0 @@
-def test_foo
-  h = C.new.foo
-  return h[:aaa], h[:bbb]
-end
-
-def test_bar
-  h = { }
-  h[:a] = 42
-  C.new.bar(h)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def test_foo: -> [Integer, String]
-  def test_bar: -> Integer
-end

data/smoke/rbs-record.rbs

@@ -1,4 +0,0 @@
-class C
-  def foo: -> { aaa: Integer, bbb: String }
-  def bar: ({ a: Integer }) -> Integer
-end

data/smoke/rbs-tyvar.rb

@@ -1,19 +0,0 @@
-def foo
-  cell = Cell.new("str")
-  cell.set_elem(42) if rand < 0.5
-  cell
-end
-
-def bar
-  foo.get_elem
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> (Cell[Integer | String])
-  def bar: -> (Integer | String)
-end

data/smoke/rbs-tyvar.rbs

@@ -1,5 +0,0 @@
-class Cell[T]
-  def initialize : (T) -> void
-  def set_elem : (T) -> void
-  def get_elem : -> T
-end

data/smoke/rbs-tyvar2.rb

@@ -1,21 +0,0 @@
-def foo
-  cell = Cell.new(:a1, :b1, :c1)
-  cell.set_a(:a2)
-  cell.set_b(:b2)
-  cell.set_c(:c2)
-  cell
-end
-
-def bar
-  foo.get_b
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
-  def bar: -> (:b1 | :b2)
-end

data/smoke/rbs-tyvar2.rbs

@@ -1,9 +0,0 @@
-class Cell[A, B, C]
-  def initialize : (A, B, C) -> void
-  def set_a : (A) -> void
-  def set_b : (B) -> void
-  def set_c : (C) -> void
-  def get_a : -> A
-  def get_b : -> B
-  def get_c : -> C
-end

data/smoke/rbs-tyvar3.rb

@@ -1,18 +0,0 @@
-def foo
-  cell = Cell.new(42)
-  cell.map {|s| (s + 1).to_s }
-end
-
-def bar
-  cell = Cell.new(42)
-  cell.map! {|s| (s + 1).to_s }
-  cell
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Cell[String]
-  def bar: -> (Cell[Integer | String])
-end

data/smoke/rbs-tyvar3.rbs

@@ -1,5 +0,0 @@
-class Cell[T]
-  def initialize : (T) -> void
-  def map: [A] { (T) -> A } -> Cell[A]
-  def map!: { (T) -> T } -> self
-end

data/smoke/rbs-tyvar4.rb

@@ -1,37 +0,0 @@
-# This code is created by simplifying matrix.rb.
-# The issue occurs when `Array.new` creates a cell-type container,
-# so this test will be obsolete, but keep it just for case of regression.
-#
-# https://github.com/ruby/typeprof/issues/14
-
-class Foo
-  def initialize(ivar)
-    @ivar = ivar
-  end
-
-  def foo(n)
-    @ivar.each_with_index { }
-    nil
-  end
-end
-
-Foo.new([])
-
-rows = Array.new(1) do |i|
-  Array.new(1) do |j|
-    "str"
-  end
-end
-obj = Foo.new(rows)
-
-obj.foo(:a)
-obj.foo(:b)
-
-__END__
-# Classes
-class Foo
-  @ivar: Array[Array[String]]
-
-  def initialize: (Array[Array[String]] ivar) -> void
-  def foo: (:a | :b n) -> nil
-end

data/smoke/rbs-tyvar5.rb

@@ -1,13 +0,0 @@
-def foo
-  cell = Cell.new
-  cell.set { Foo.new(:a, :b) }
-  cell.dummy { }
-  cell
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Cell[Foo[:a, :b]]
-end

data/smoke/rbs-tyvar5.rbs

@@ -1,8 +0,0 @@
-class Cell[X]
-  def set: { -> X } -> self
-  def dummy: { -> void } -> self
-end
-
-class Foo[X, Y]
-  def initialize: (X, Y) -> void
-end

data/smoke/rbs-tyvar6.rb

@@ -1,18 +0,0 @@
-def log1(obj) end
-def log2(obj) end
-def log3(obj) end
-
-obj = Bar.new("str")
-
-log1(obj)
-log2(obj.test_superclass)
-log3(obj.test_module)
-
-__END__
-# Classes
-class Object
-  private
-  def log1: (Bar[String] obj) -> nil
-  def log2: (Array[String] obj) -> nil
-  def log3: (Integer obj) -> nil
-end

data/smoke/rbs-tyvar6.rbs

@@ -1,12 +0,0 @@
-class Foo[X]
-  def test_superclass: -> X
-end
-
-module M[X]
-  def test_module: -> X
-end
-
-class Bar[X] < Foo[Array[X]]
-  def initialize: (X) -> void
-  include M[Integer]
-end

data/smoke/rbs-tyvar7.rb

@@ -1,12 +0,0 @@
-def foo
-  bar = Bar.new(1)
-  bar.set(["str"]) # TODO: This should update Bar[Integer] to Bar[Integer | String]
-  bar
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Bar[Integer]
-end

data/smoke/rbs-tyvar7.rbs

@@ -1,7 +0,0 @@
-class Foo[X]
-  def set: (X) -> void
-end
-
-class Bar[X] < Foo[Integer]
-  def initialize: (X) -> void
-end

data/smoke/rbs-vars.rb

@@ -1,35 +0,0 @@
-def gvar_test
-  $gvar
-end
-
-class Foo
-  def const_test
-    CONST
-  end
-
-  def ivar_test
-    @ivar
-  end
-
-  def cvar_test
-    @@cvar
-  end
-
-  def self.cvar_test2
-    @@cvar
-  end
-end
-
-__END__
-# Classes
-class Object
-  private
-  def gvar_test: -> :gvar_example
-end
-
-class Foo
-  def const_test: -> :const_example
-  def ivar_test: -> :ivar_example
-  def cvar_test: -> :cvar_example
-  def self.cvar_test2: -> :cvar_example
-end

data/smoke/rbs-vars.rbs

@@ -1,7 +0,0 @@
-$gvar: :gvar_example
-
-class Foo
-  CONST: :const_example
-  @ivar: :ivar_example
-  @@cvar: :cvar_example
-end

data/smoke/redo1.rb

@@ -1,22 +0,0 @@
-def bar(x)
-  x
-end
-
-def foo
-  yield 42
-end
-
-foo do |x|
-  bar(x)
-  x = "str"
-  redo if rand < 0.5
-  x
-end
-
-__END__
-# Classes
-class Object
-  private
-  def bar: (Integer | String x) -> (Integer | String)
-  def foo: { (Integer) -> String } -> String
-end

data/smoke/redo2.rb

@@ -1,23 +0,0 @@
-def bar(x)
-  x
-end
-
-def foo
-  yield 42
-end
-
-foo do |x|
-  bar(x)
-rescue
-  x = "str"
-  redo if rand < 0.5
-  42
-end
-
-__END__
-# Classes
-class Object
-  private
-  def bar: (Integer | String x) -> (Integer | String)
-  def foo: { (Integer) -> (Integer | String) } -> (Integer | String)
-end

data/smoke/req-keyword.rb

@@ -1,13 +0,0 @@
-def foo(a:)
-  foo(a: a + 1) if rand < 0.5
-  a
-end
-
-foo(a:1)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (a: Integer) -> Integer
-end

data/smoke/require1.rb

@@ -1,13 +0,0 @@
-require_relative "require2"
-
-class Foo
-  def foo
-  end
-end
-
-__END__
-# Classes
-class Foo
-  def bar: -> nil
-  def foo: -> nil
-end

data/smoke/require2.rb

@@ -1,13 +0,0 @@
-require_relative "require1"
-
-class Foo
-  def bar
-  end
-end
-
-__END__
-# Classes
-class Foo
-  def foo: -> nil
-  def bar: -> nil
-end

data/smoke/rescue1.rb

@@ -1,21 +0,0 @@
-def foo(x)
-  42
-end
-
-def bar
-  x = 1
-  x = "str"
-  x = :sym
-rescue
-  foo(x)
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: ((:sym | Integer | String)? x) -> Integer
-  def bar: -> (:sym | Integer)
-end

data/smoke/rescue2.rb

@@ -1,23 +0,0 @@
-def foo(x)
-  42
-end
-
-def bar
-  begin
-    x = 1
-    x = "str"
-    x = :sym
-  rescue
-  end
-  foo(x)
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: ((:sym | Integer | String)? x) -> Integer
-  def bar: -> Integer
-end

data/smoke/rescue3.rb

@@ -1,20 +0,0 @@
-Ary = [1, "str"]
-
-def foo
-  Ary[
-    begin
-      0
-    rescue
-      1
-    end
-  ]
-end
-
-__END__
-# Classes
-class Object
-  Ary: [Integer, String]
-
-  private
-  def foo: -> (Integer | String)
-end

data/smoke/rescue4.rb

@@ -1,17 +0,0 @@
-def log(n)
-end
-
-log(
-  begin
-    1
-  rescue
-    "str"
-  end
-)
-
-__END__
-# Classes
-class Object
-  private
-  def log: (Integer | String n) -> nil
-end