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

typeprof 0.7.0 → 0.8.0

Files changed (184) hide show

data/smoke/any1.rb CHANGED

@@ -11,5 +11,6 @@ smoke/any1.rb:2: [error] undefined method: Integer#undefined_method
 # Classes
 class Object
+  private
   def foo : -> untyped
 end

data/smoke/any2.rb CHANGED

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

data/smoke/arguments.rb CHANGED

@@ -11,6 +11,7 @@ smoke/arguments.rb:6: [error] wrong number of arguments (given 2, expected 1)
 # Classes
 class Object
+  private
   def foo : (untyped) -> nil
   def bar : (untyped) -> nil
 end

data/smoke/arguments2.rb CHANGED

@@ -42,6 +42,7 @@ f10 {|n| }
 __END__
 # Classes
 class Object
+  private
   def f1 : -> nil
   def f2 : (:x, :y, :z) -> nil
   def f3 : (?String, ?String) -> nil

data/smoke/array-each.rb CHANGED

@@ -10,5 +10,6 @@ log(nil)
 __END__
 # Classes
 class Object
+  private
   def log : ((:sym | Integer | String)?) -> nil
 end

data/smoke/array-each2.rb CHANGED

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

data/smoke/array-each3.rb CHANGED

@@ -8,5 +8,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def log : (bot) -> nil
 end

data/smoke/array-ltlt.rb CHANGED

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

data/smoke/array-ltlt2.rb CHANGED

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

data/smoke/array-map.rb CHANGED

@@ -7,5 +7,6 @@ foo([1, 2, 3])
 __END__
 # Classes
 class Object
+  private
   def foo : ([Integer, Integer, Integer]) -> Array[String]
 end

data/smoke/array-map2.rb CHANGED

@@ -6,5 +6,6 @@ foo([1, 2, 3])
 __END__
 # Classes
 class Object
+  private
   def foo : ([Integer, Integer, Integer]) -> (Array[Integer | String])
 end

data/smoke/array-map3.rb CHANGED

@@ -16,6 +16,7 @@ map_bang_test_known_bug([1, 2, 3])
 __END__
 # Classes
 class Object
+  private
   def map_test : ([Integer, Integer, Integer]) -> Array[String]
   def map_bang_test : ([Integer, Integer, Integer]) -> (Array[Integer | String])
   def map_bang_test_known_bug : ([Integer, Integer, Integer]) -> [Integer, Integer, Integer]

data/smoke/array-mul.rb CHANGED

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

data/smoke/array-plus1.rb CHANGED

@@ -6,5 +6,6 @@ log([1] + ["str"] + [2] + [:sym])
 __END__
 # Classes
 class Object
+  private
   def log : (Array[:sym | Integer | String]) -> nil
 end

data/smoke/array-pop.rb CHANGED

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

data/smoke/array-range-aref.rb CHANGED

@@ -56,6 +56,7 @@ dispatch(:a, :b, :c, :d, :e)
 __END__
 # Classes
 class Object
+  private
   def f1 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
   def f2 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])
   def f3 : (*:a | :b | :c | :d | :e) -> (Array[:a | :b | :c | :d | :e])

data/smoke/array-replace.rb CHANGED

@@ -8,5 +8,6 @@ foo([1, 2, 3])
 __END__
 # Classes
 class Object
+  private
   def foo : ([Integer, Integer, Integer]) -> (Array[Integer | String])
 end

data/smoke/array-s-aref.rb CHANGED

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

data/smoke/array1.rb CHANGED

@@ -18,6 +18,7 @@ quux(a[n])
 __END__
 # Classes
 class Object
+  private
   def foo : ([Integer, String]) -> Integer
   def bar : (Integer) -> nil
   def baz : (String) -> nil

data/smoke/array10.rb CHANGED

@@ -10,5 +10,6 @@ foo([:a, :b, :c])
 __END__
 # Classes
 class Object
+  private
   def foo : ([:a, :b, :c]) -> :a
 end

data/smoke/array11.rb CHANGED

@@ -9,5 +9,6 @@ array("foo")
 __END__
 # Classes
 class Object
+  private
   def array : (Array[Integer] | Hash[Integer, Integer] | String) -> (Array[Hash[Integer, Integer] | Integer | String])
 end

data/smoke/array12.rb CHANGED

@@ -18,6 +18,7 @@ foo
 __END__
 # Classes
 class Object
+  private
   def bar : ([Integer]) -> nil
   def test_yield : { -> nil } -> nil
   def foo : -> [Integer]

data/smoke/array13.rb CHANGED

@@ -23,6 +23,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def tuple_set : -> [:a, :b, :z]
   def tuple_get : -> :c
   def seq_set : -> (Array[:a | :b | :c | :z])

data/smoke/array14.rb CHANGED

@@ -9,5 +9,6 @@ f(:a, :b, :c)
 __END__
 # Classes
 class Object
+  private
   def f : (:a, :b, :c) -> :c
 end

data/smoke/array2.rb CHANGED

@@ -21,6 +21,7 @@ log(a)
 __END__
 # Classes
 class Object
+  private
   def foo : -> [[String]]
   def bar : ([[Integer]]) -> [[String]]
   def log : ([[Integer]]) -> nil

data/smoke/array4.rb CHANGED

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

data/smoke/array5.rb CHANGED

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

data/smoke/array6.rb CHANGED

@@ -11,5 +11,6 @@ __END__
 # Classes
 class Object
   ARY : Array[bot]
+  private
   def foo : (Integer, String) -> Array[bot]
 end

data/smoke/array7.rb CHANGED

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

data/smoke/array9.rb CHANGED

@@ -8,5 +8,6 @@ foo([:a])
 __END__
 # Classes
 class Object
+  private
   def foo : (Array[:a | :b | :c]) -> nil
 end

data/smoke/autoload.rb CHANGED

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

data/smoke/backtrace.rb CHANGED

@@ -26,6 +26,7 @@ smoke/backtrace.rb:2: [error] undefined method: Object#unknown_method
 # Classes
 class Object
+  private
   def foo : -> untyped
   def bar : -> untyped
   def baz : -> untyped

data/smoke/block-ambiguous.rb CHANGED

@@ -25,6 +25,7 @@ f4 {|x,| log4(x) }
 __END__
 # Classes
 class Object
+  private
   def f1 : { (:a, :b, :c) -> nil } -> nil
   def log1 : (:a) -> nil
   def f2 : { (:a, :b, :c) -> nil } -> nil

data/smoke/block-args1-rest.rb CHANGED

@@ -49,6 +49,7 @@ __END__
 # Classes
 class Object
   StringArray : Array[String]
+  private
   def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
   def log1 : (String, :opt | String, String) -> nil
   def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, String) -> nil)

data/smoke/block-args1.rb CHANGED

@@ -46,6 +46,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> ^(nil, ?:opt, nil) -> nil
   def log1 : (nil, :opt, nil) -> nil
   def f2 : { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil

data/smoke/block-args2-rest.rb CHANGED

@@ -49,6 +49,7 @@ __END__
 # Classes
 class Object
   StringArray : Array[String]
+  private
   def f1 : { (*String) -> nil } -> ^(String, *String, String) -> nil
   def log1 : (String, Array[String], String) -> nil
   def f2 : { (:a, *String) -> nil } -> ^(:a, *String, String) -> nil

data/smoke/block-args2.rb CHANGED

@@ -46,6 +46,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> ^(nil, *bot, nil) -> nil
   def log1 : (nil, Array[bot], nil) -> nil
   def f2 : { (:a) -> nil } -> ^(:a, *bot, nil) -> nil

data/smoke/block-args3-rest.rb CHANGED

@@ -58,6 +58,7 @@ __END__
 # Classes
 class Object
   StringArray : Array[String]
+  private
   def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
   def log1 : (String, :opt | String, Array[String], String) -> nil
   def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)

data/smoke/block-args3.rb CHANGED

@@ -55,6 +55,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
   def log1 : (nil, :opt, Array[bot], nil) -> nil
   def f2 : { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil

data/smoke/block-blockarg.rb CHANGED

@@ -20,6 +20,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def log1 : (:a) -> nil
   def log2 : (:b) -> nil
   def log3 : (:c) -> nil

data/smoke/block-kwarg.rb CHANGED

@@ -39,6 +39,7 @@ smoke/block-kwarg.rb:31: [error] no argument for required keywords
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> nil
   def log1 : (Integer) -> nil
   def f2 : { -> nil } -> nil

data/smoke/block1.rb CHANGED

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

data/smoke/block10.rb CHANGED

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

data/smoke/block11.rb CHANGED

@@ -31,6 +31,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def log1 : (Integer?) -> nil
   def log2 : (Integer?) -> nil
   def foo : -> Integer?

data/smoke/block12.rb CHANGED

@@ -17,6 +17,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> [:foo]
   def bar : -> [:bar]
 end

data/smoke/block14.rb CHANGED

@@ -13,5 +13,6 @@ $blk : ^(Integer) -> nil
 # Classes
 class Object
+  private
   def foo : { (Integer) -> nil } -> nil
 end

data/smoke/block2.rb CHANGED

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

data/smoke/block4.rb CHANGED

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

data/smoke/block5.rb CHANGED

@@ -15,5 +15,6 @@ __END__
 # Classes
 class Object
   F : ^(Integer) -> String
+  private
   def foo : { (:sym) -> String } -> String
 end

data/smoke/block6.rb CHANGED

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

data/smoke/block7.rb CHANGED

@@ -14,5 +14,6 @@ smoke/block7.rb:8: [error] wrong argument type Integer<1> (expected Proc)
 # Classes
 class Object
+  private
   def foo : -> untyped
 end

data/smoke/block8.rb CHANGED

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

data/smoke/block9.rb CHANGED

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

data/smoke/blown.rb CHANGED

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