RubyGems - typeprof - Versions diffs - 0.7.0 → 0.8.0 - Mend

typeprof 0.7.0 → 0.8.0

Files changed (184) hide show

@@ -16,5 +16,6 @@ smoke/manual-rbs2.rb:4: [error] undefined method: A::B#unknown
 # Classes
 class Object
+  private
   def bar : -> untyped
 end

data/smoke/masgn1.rb CHANGED

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

data/smoke/masgn2.rb CHANGED

@@ -12,6 +12,7 @@ foo
 __END__
 # Classes
 class Object
+  private
   def ary : -> [Integer, String, :sym, Float]
   def foo : -> [Integer, [String, :sym], Float]
 end

data/smoke/masgn3.rb CHANGED

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

data/smoke/method_in_branch.rb CHANGED

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

data/smoke/next1.rb CHANGED

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

data/smoke/next2.rb CHANGED

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

data/smoke/object-send1.rb CHANGED

@@ -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 CHANGED

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

data/smoke/optional1.rb CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

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

data/smoke/parameterizedd-self.rb CHANGED

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

data/smoke/pathname1.rb CHANGED

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

data/smoke/pathname2.rb CHANGED

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

data/smoke/pattern-match1.rb CHANGED

@@ -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 CHANGED

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

data/smoke/proc.rb CHANGED

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

data/smoke/proc2.rb CHANGED

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

data/smoke/proc3.rb CHANGED

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

data/smoke/proc4.rb CHANGED

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

data/smoke/range.rb CHANGED

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

data/smoke/rbs-alias.rb CHANGED

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

data/smoke/rbs-attr.rb CHANGED

@@ -20,6 +20,7 @@ smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared global v
 # Classes
 class Object
+  private
   def read_test_1 : -> Integer
   def read_test_2 : -> Integer
   def write_test : -> String

data/smoke/rbs-extend.rb CHANGED

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

data/smoke/rbs-interface.rb CHANGED

@@ -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 CHANGED

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

data/smoke/rbs-proc2.rb CHANGED

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

data/smoke/rbs-proc3.rb CHANGED

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

data/smoke/rbs-record.rb CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

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

data/smoke/rbs-tyvar6.rb CHANGED

@@ -11,6 +11,7 @@ log3(obj.test_module)
 __END__
 # Classes
 class Object
+  private
   def log1 : (Bar[String]) -> nil
   def log2 : (Array[String]) -> nil
   def log3 : (Integer) -> nil

data/smoke/rbs-tyvar7.rb CHANGED

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

data/smoke/rbs-vars.rb CHANGED

@@ -26,6 +26,7 @@ __END__
 # Classes
 class Object
+  private
   def gvar_test : -> :gvar_example
 end

data/smoke/redo1.rb CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

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

data/smoke/rescue1.rb CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

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

data/smoke/rest1.rb CHANGED

@@ -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 CHANGED

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

data/smoke/rest3.rb CHANGED

@@ -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 CHANGED

@@ -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 CHANGED

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

data/smoke/rest6.rb CHANGED

@@ -7,5 +7,6 @@ foo("x", "x")
 __END__
 # Classes
 class Object
+  private
   def foo : (?Integer | String, *String) -> [Array[String]]
 end

data/smoke/retry1.rb CHANGED

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

data/smoke/return.rb CHANGED

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

data/smoke/step.rb CHANGED

@@ -11,6 +11,7 @@ log3(1.step(5))
 __END__
 # Classes
 class Object
+  private
   def log1 : (Integer | Numeric) -> nil
   def log2 : (void) -> nil
   def log3 : (Enumerator[Integer | Numeric]) -> nil

data/smoke/string-split.rb CHANGED

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