typeprof 0.5.3 → 0.8.0

data/smoke/next2.rb

@@ -12,5 +12,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : { -> (Integer | String) } -> (Integer | String)
 end

data/smoke/object-send1.rb

@@ -16,6 +16,7 @@ dispatch(:bar)
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer) -> Integer
   def bar : (Integer) -> Integer
   def dispatch : (:bar | :foo) -> Integer

data/smoke/once.rb

@@ -8,5 +8,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> [Regexp, Integer?]
 end

data/smoke/optional1.rb

@@ -9,5 +9,6 @@ foo("A", "B", "C", "Z")
 __END__
 # Classes
 class Object
+  private
   def foo : (String, ?Integer | String, ?Integer | String, String) -> ([String, Integer | String, Integer | String, String])
 end

data/smoke/optional2.rb

@@ -11,5 +11,6 @@ foo("A", "B", "C", "D", "E", "Z")
 __END__
 # Classes
 class Object
+  private
   def foo : (String, ?Integer | String, ?Integer | String, *String, String) -> ([String, Integer | String, Integer | String, Array[String], String])
 end

data/smoke/optional3.rb

@@ -6,5 +6,6 @@ foo("str")
 __END__
 # Classes
 class Object
+  private
   def foo : (?Integer | String) -> nil
 end

data/smoke/parameterizedd-self.rb

@@ -13,6 +13,7 @@ bar([])
 __END__
 # Classes
 class Object
-  def foo : -> []
-  def bar : ([]) -> []
+  def foo : -> Array[bot]
+  private
+  def bar : (Array[bot]) -> Array[bot]
 end

data/smoke/parameterizedd-self2.rb

@@ -0,0 +1,15 @@
+class Object
+  def foo
+    # The receiver is considered as an empty array
+    self[0]
+  end
+end
+
+# The elements are dropped when it is passed as a receiver (to avoid state explosion)
+[0].foo
+
+__END__
+# Classes
+class Object
+  def foo : -> nil
+end

data/smoke/pathname1.rb

@@ -9,5 +9,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> Pathname
 end

data/smoke/pathname2.rb

@@ -9,5 +9,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> Pathname
 end

data/smoke/pattern-match1.rb

@@ -19,5 +19,6 @@ smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
 
 # Classes
 class Object
+  private
   def foo : -> ([:a | untyped, :b | untyped])
 end

data/smoke/pattern-match2.rb

@@ -11,5 +11,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> [:A, :B]
 end

data/smoke/proc.rb

@@ -14,6 +14,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> Integer
   def bar : -> String
 end

data/smoke/proc2.rb

@@ -12,5 +12,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> Integer
 end

data/smoke/proc3.rb

@@ -10,5 +10,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> [Integer]
 end

data/smoke/proc4.rb

@@ -7,5 +7,6 @@ foo(-> x { "str" })
 __END__
 # Classes
 class Object
+  private
   def foo : (^(Integer) -> String) -> String
 end

data/smoke/range.rb

@@ -9,5 +9,6 @@ foo(1, 2)
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer, Integer) -> Range
 end

data/smoke/rbs-alias.rb

@@ -5,5 +5,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def log : -> Integer
 end

data/smoke/rbs-attr.rb

@@ -15,11 +15,12 @@ end
 
 __END__
 # Errors
-smoke/rbs-attr.rb:11: [error] failed to resolve overload: Foo#writer_example=
-smoke/rbs-attr.rb:13: [error] failed to resolve overload: Foo#accessor_example=
+smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared global variable
+smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared global variable
 
 # Classes
 class Object
+  private
   def read_test_1 : -> Integer
   def read_test_2 : -> Integer
   def write_test : -> String

data/smoke/rbs-attr2.rb

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

data/smoke/rbs-attr2.rbs

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

data/smoke/rbs-extend.rb

@@ -5,5 +5,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def log : -> Integer
 end

data/smoke/rbs-interface.rb

@@ -17,6 +17,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def get_module : -> M
   def get_module_foo : -> Integer
   def get_interface : -> _I

data/smoke/rbs-proc1.rb

@@ -5,5 +5,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def log : -> Integer
 end

data/smoke/rbs-proc2.rb

@@ -15,6 +15,7 @@ log2
 __END__
 # Classes
 class Object
+  private
   def log1 : (untyped) -> untyped
   def log2 : -> String
 end

data/smoke/rbs-proc3.rb

@@ -9,5 +9,6 @@ log(foo)
 __END__
 # Classes
 class Object
+  private
   def log : (Foo[Integer]) -> Integer
 end

data/smoke/rbs-record.rb

@@ -12,6 +12,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def test_foo : -> [Integer, String]
   def test_bar : -> Integer
 end

data/smoke/rbs-tyvar.rb

@@ -13,6 +13,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> (Cell[Integer | String])
   def bar : -> (Integer | String)
 end

data/smoke/rbs-tyvar2.rb

@@ -15,6 +15,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> (Cell[:a1 | :a2, :b1 | :b2, :c1 | :c2])
   def bar : -> (:b1 | :b2)
 end

data/smoke/rbs-tyvar3.rb

@@ -12,6 +12,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> Cell[String]
   def bar : -> (Cell[Integer | String])
 end

data/smoke/rbs-tyvar5.rb

@@ -8,5 +8,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> Cell[Foo[:a, :b]]
 end

data/smoke/rbs-tyvar6.rb

@@ -0,0 +1,18 @@
+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]) -> nil
+  def log2 : (Array[String]) -> nil
+  def log3 : (Integer) -> nil
+end

data/smoke/rbs-tyvar6.rbs

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

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

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

data/smoke/rbs-vars.rb

@@ -26,12 +26,11 @@ __END__
 
 # Classes
 class Object
+  private
   def gvar_test : -> :gvar_example
 end
 
 class Foo
-# @ivar : :ivar_example
-# @@cvar : :cvar_example
   def const_test : -> :const_example
   def ivar_test : -> :ivar_example
   def cvar_test : -> :cvar_example

data/smoke/redo1.rb

@@ -16,6 +16,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def bar : (Integer | String) -> (Integer | String)
   def foo : { (Integer) -> String } -> String
 end

data/smoke/redo2.rb

@@ -17,6 +17,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def bar : (Integer | String) -> (Integer | String)
   def foo : { (Integer) -> (Integer | String) } -> (Integer | String)
 end

data/smoke/req-keyword.rb

@@ -8,5 +8,6 @@ foo(a:1)
 __END__
 # Classes
 class Object
+  private
   def foo : (a: Integer) -> Integer
 end

data/smoke/rescue1.rb

@@ -15,6 +15,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : ((:sym | Integer | String)?) -> Integer
   def bar : -> (:sym | Integer)
 end

data/smoke/rescue2.rb

@@ -17,6 +17,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : ((:sym | Integer | String)?) -> Integer
   def bar : -> Integer
 end

data/smoke/respond_to.rb

@@ -18,5 +18,6 @@ foo(true)
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer | String | true) -> (Integer | String | bool)
 end

data/smoke/rest-farg.rb

@@ -6,5 +6,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> bool
 end

data/smoke/rest1.rb

@@ -20,6 +20,7 @@ bar("A", "B", "C", "D", "E", "Z")
 __END__
 # Classes
 class Object
+  private
   def foo : (:a | Integer | String, *Integer | String, :z | Integer | String) -> (Array[Integer | String])
   def bar : (String, ?Integer | String, *String, String) -> Array[String]
 end

data/smoke/rest2.rb

@@ -26,5 +26,6 @@ foo(*a)
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer, String, :s) -> [Integer, String, :s]
 end

data/smoke/rest3.rb

@@ -27,6 +27,7 @@ grault(*string_array)
 __END__
 # Classes
 class Object
+  private
   def foo : (*String) -> nil
   def bar : (*Integer | String) -> nil
   def baz : (String, *String) -> nil

data/smoke/rest4.rb

@@ -13,6 +13,7 @@ bar(1, *a, :s)
 __END__
 # Classes
 class Object
+  private
   def foo : (*:s | Integer | String) -> nil
   def bar : (Integer, :s | String, :s | String) -> nil
 end

data/smoke/rest5.rb

@@ -6,5 +6,6 @@ foo(42)
 __END__
 # Classes
 class Object
+  private
   def foo : (*Integer) -> [Integer]
 end