typeprof 0.20.0 → 0.20.1

data/smoke/ivar.rb

@@ -1,31 +0,0 @@
-class Foo
-  def foo=(x)
-    @foo = x
-  end
-
-  def foo
-    @foo
-  end
-end
-
-def log(x)
-end
-
-Foo.new.foo = 1
-log(Foo.new.foo)
-Foo.new.foo = "str"
-log(Foo.new.foo)
-
-__END__
-# Classes
-class Object
-  private
-  def log: (Integer | String x) -> nil
-end
-
-class Foo
-  @foo: Integer | String
-
-  def foo=: (Integer | String x) -> (Integer | String)
-  def foo: -> (Integer | String)
-end

data/smoke/ivar2.rb

@@ -1,30 +0,0 @@
-class Foo
-  def initialize
-    @array = []
-    @hash = {}
-  end
-
-  def set
-    @array << 1
-    @array << "str"
-    @array << :sym
-    @hash[:a] = 1
-    @hash[:b] = "str"
-    @hash[:c] = :sym
-  end
-
-  attr_reader :array, :hash
-end
-
-Foo.new.array
-Foo.new.hash
-Foo.new.set
-
-__END__
-# Classes
-class Foo
-  def initialize: -> void
-  def set: -> :sym
-  attr_reader array: Array[:sym | Integer | String]
-  attr_reader hash: {a: Integer, b: String, c: :sym}
-end

data/smoke/ivar3.rb

@@ -1,17 +0,0 @@
-class Foo
-  def initialize
-    @foo = "str"
-    @bar = "str"
-  end
-end
-
-__END__
-# Errors
-smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared variable
-
-# Classes
-class Foo
-  @bar: String
-
-  def initialize: -> void
-end

data/smoke/ivar3.rbs

@@ -1,3 +0,0 @@
-class Foo
-  @foo : Integer
-end

data/smoke/ivar4.rb

@@ -1,21 +0,0 @@
-def foo
-  bot = @undefined_ivar
-  unless bot
-    bot.nil?
-  end
-end
-
-foo # There were a bug that type profiling is terminated at this line
-
-def bar
-end
-
-__END__
-# Classes
-class Object
-  @undefined_ivar: bot
-
-  private
-  def foo: -> bool
-  def bar: -> nil
-end

data/smoke/kernel-class.rb

@@ -1,13 +0,0 @@
-def foo(n)
-  n.class
-end
-
-foo(1)
-foo("")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer | String n) -> (singleton(Integer) | singleton(String))
-end

data/smoke/keyword1.rb

@@ -1,12 +0,0 @@
-def foo(n:, s:)
-  [n, s]
-end
-
-foo(n: 42, s: "str")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (n: Integer, s: String) -> [Integer, String]
-end

data/smoke/keyword2.rb

@@ -1,12 +0,0 @@
-def foo(n: 42, s: 42)
-  [n, s]
-end
-
-foo(n: 42, s: "str")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (?n: Integer, ?s: Integer | String) -> ([Integer, Integer | String])
-end

data/smoke/keyword3.rb

@@ -1,12 +0,0 @@
-def foo(n: 42, s: [n])
-  [n, s]
-end
-
-foo(n: 42, s: "str")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (?n: Integer, ?s: String | [Integer]) -> ([Integer, String | [Integer]])
-end

data/smoke/keyword4.rb

@@ -1,12 +0,0 @@
-def foo(**kw)
-  kw
-end
-
-foo(n: 42, s: "str")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (**Integer | String) -> {n: Integer, s: String}
-end

data/smoke/keyword5.rb

@@ -1,16 +0,0 @@
-def foo(req:)
-  req
-end
-
-foo()
-foo(req: 1)
-
-__END__
-# Errors
-smoke/keyword5.rb:5: [error] no argument for required keywords
-
-# Classes
-class Object
-  private
-  def foo: (req: Integer) -> Integer
-end

data/smoke/kwrest.rb

@@ -1,13 +0,0 @@
-class Foo
-  def foo(**r)
-    @r = r["foo".to_sym][42]
-  end
-end
-
-__END__
-# Classes
-class Foo
-  @r: Integer
-
-# def foo: (**Integer) -> void
-end

data/smoke/kwrest.rbs

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

data/smoke/kwsplat1.rb

@@ -1,43 +0,0 @@
-def foo(k:)
-end
-
-h = { k: 42 }
-foo(**h)
-
-def bar(int:, str:)
-end
-
-if rand < 0.5
-  h = { int: 42 }
-else
-  h = { str: "str" }
-end
-bar(**h)
-
-def baz(**kw)
-end
-
-if rand < 0.5
-  h = { int: 42 }
-else
-  h = { str: "str" }
-end
-baz(**h)
-
-def qux(**kw)
-end
-
-qux(**any)
-
-__END__
-# Errors
-smoke/kwsplat1.rb:30: [error] undefined method: Object#any
-
-# Classes
-class Object
-  private
-  def foo: (k: Integer) -> nil
-  def bar: (int: Integer, str: String) -> nil
-  def baz: (**Integer | String) -> nil
-  def qux: (**untyped) -> nil
-end

data/smoke/kwsplat2.rb

@@ -1,13 +0,0 @@
-def foo(*r, k:)
-end
-
-a = [1, 2, 3]
-h = { k: 42 }
-foo(*a, **h)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (*Integer | {k: Integer} r, k: Integer) -> nil
-end

data/smoke/lit-complex.rb

@@ -1,10 +0,0 @@
-def foo
-  1i
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Complex
-end

data/smoke/lit-encoding.rb

@@ -1,10 +0,0 @@
-def foo
-  __ENCODING__
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Encoding
-end

data/smoke/manual-rbs.rb

@@ -1,29 +0,0 @@
-def foo(n)
-  case n
-  when Integer
-    n + 1
-  when String
-    n + "STR"
-  else
-    raise
-  end
-end
-
-def ret_int
-  foo(42)
-end
-
-def ret_str
-  foo("str")
-end
-
-__END__
-# Classes
-class Object
-# def foo: (Integer) -> Integer
-#        | (String) -> String
-
-  private
-  def ret_int: -> Integer
-  def ret_str: -> String
-end

data/smoke/manual-rbs.rbs

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

data/smoke/manual-rbs2.rb

@@ -1,21 +0,0 @@
-class A
-  class B
-    def foo
-      unknown
-    end
-  end
-end
-
-def bar
-  A::B.new.foo + 1
-end
-
-__END__
-# Errors
-smoke/manual-rbs2.rb:4: [error] undefined method: A::B#unknown
-
-# Classes
-class Object
-  private
-  def bar: -> untyped
-end

data/smoke/manual-rbs2.rbs

@@ -1,8 +0,0 @@
-class A
-end
-
-type A::int_or_float = Integer | Float
-
-class A::B
-  def foo: -> int_or_float
-end

data/smoke/manual-rbs3.rb

@@ -1,13 +0,0 @@
-class Foo
-  def foo
-    @foo = 1
-  end
-end
-
-__END__
-# Classes
-class Foo
-  @foo: Integer
-
-# def foo: -> Integer
-end

data/smoke/manual-rbs3.rbs

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

data/smoke/masgn1.rb

@@ -1,14 +0,0 @@
-def foo
-  ary = [1, "str", :sym, nil]
-  a, *rest, z = *ary
-  [a, rest, z]
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [Integer, [String, :sym], nil]
-end

data/smoke/masgn2.rb

@@ -1,18 +0,0 @@
-def ary
-  [1, "str", :sym, 1.0]
-end
-
-def foo
-  a, *rest, z = *ary
-  [a, rest, z]
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def ary: -> [Integer, String, :sym, Float]
-  def foo: -> [Integer, [String, :sym], Float]
-end

data/smoke/masgn3.rb

@@ -1,13 +0,0 @@
-def foo
-  a, b, c = 42
-  [a, b, c]
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [Integer, nil, nil]
-end

data/smoke/method_in_branch.rb

@@ -1,23 +0,0 @@
-if 1+1
-  def foo
-  end
-  def bar
-    foo
-    42
-  end
-else
-  def bar
-    "str"
-  end
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> nil
-  def bar: -> Integer
-         | -> String
-end

data/smoke/method_missing.rb

@@ -1,29 +0,0 @@
-class D
-  def foo(x, y, z)
-  end
-end
-
-class C
-  def initialize(x)
-    @target = x
-  end
-
-  def method_missing(m, *args)
-    @target.send(m, *args)
-  end
-end
-
-C.new(D.new).foo(:X, :Y, :Z)
-
-__END__
-# Classes
-class D
-  def foo: (:X x, :Y y, :Z z) -> nil
-end
-
-class C
-  @target: D
-
-  def initialize: (D x) -> void
-  def method_missing: (:foo m, *:X | :Y | :Z args) -> nil
-end

data/smoke/module1.rb

@@ -1,29 +0,0 @@
-module M
-  def foo
-    :foo
-  end
-end
-
-class C
-  include M
-end
-
-module M
-  def bar
-    :bar
-  end
-end
-
-C.new.foo
-C.new.bar
-
-__END__
-# Classes
-module M
-  def foo: -> :foo
-  def bar: -> :bar
-end
-
-class C
-  include M
-end

data/smoke/module2.rb

@@ -1,28 +0,0 @@
-module M1
-  def foo
-    :foo
-  end
-end
-
-module M2
-  include M1
-end
-
-class C
-  include M2
-end
-
-C.new.foo
-__END__
-# Classes
-module M1
-  def foo: -> :foo
-end
-
-module M2
-  include M1
-end
-
-class C
-  include M2
-end

data/smoke/module3.rb

@@ -1,33 +0,0 @@
-module M1
-  def foo
-    :m1
-  end
-end
-
-module M2
-  def foo
-    :m2
-  end
-end
-
-class C
-  include M1
-  include M2
-end
-
-C.new.foo
-
-__END__
-# Classes
-module M1
-  def foo: -> :m1
-end
-
-module M2
-  def foo: -> :m2
-end
-
-class C
-  include M2
-  include M1
-end

data/smoke/module4.rb

@@ -1,35 +0,0 @@
-module M2
-  def foo
-    :m2_foo
-  end
-end
-
-module M1
-  extend M2
-
-  def foo
-    :m1_foo
-  end
-end
-
-class C
-  extend M1
-end
-
-M1.foo
-C.foo
-__END__
-# Classes
-module M2
-  def foo: -> :m2_foo
-end
-
-module M1
-  extend M2
-
-  def foo: -> :m1_foo
-end
-
-class C
-  extend M1
-end

data/smoke/module5.rb

@@ -1,17 +0,0 @@
-module Foo
-  Module.new do
-    include Foo
-    extend Foo
-  end
-end
-
-Foo.foo
-__END__
-# Errors
-smoke/module5.rb:8: [error] undefined method: singleton(Foo)#foo
-
-# Classes
-module Foo
-  extend Foo
-  include Foo
-end

data/smoke/module6.rb

@@ -1,40 +0,0 @@
-module A
-end
-
-module B
-  include A
-end
-
-module A
-  include B
-end
-
-class C
-  include A
-end
-
-def log
-  C.new.foo
-end
-
-__END__
-# Errors
-smoke/module6.rb:17: [error] undefined method: C#foo
-
-# Classes
-class Object
-  private
-  def log: -> untyped
-end
-
-module A
-  include B
-end
-
-module B
-  include A
-end
-
-class C
-  include A
-end

data/smoke/module_function1.rb

@@ -1,29 +0,0 @@
-module Foo
-  def foo(x)
-    x
-  end
-  module_function :foo
-end
-
-class Bar
-  include Foo
-  def bar
-    foo(:y)
-  end
-end
-
-Foo.foo(:x)
-Bar.new.bar
-
-__END__
-# Classes
-module Foo
-  def foo: (:x | :y x) -> (:x | :y)
-  def self.foo: (:x | :y x) -> (:x | :y)
-end
-
-class Bar
-  include Foo
-
-  def bar: -> (:x | :y)
-end