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

typeprof 0.7.0 → 0.8.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

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