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/break1.rb CHANGED

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

data/smoke/break2.rb CHANGED

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

data/smoke/case.rb CHANGED

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

data/smoke/case2.rb CHANGED

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

data/smoke/class_method3.rb CHANGED

@@ -19,9 +19,11 @@ v.foo
 __END__
 # Classes
 class ForWin
+  private
   def self.foo : -> nil
 end
 class ForLinux
+  private
   def self.foo : -> nil
 end

data/smoke/constant2.rb CHANGED

@@ -25,6 +25,7 @@ smoke/constant2.rb:15: [warning] already initialized constant Object::BAR
 # Classes
 class Object
   BAR : String
+  private
   def foo : (Integer | untyped) -> nil
   def log : (String) -> nil
 end

data/smoke/constant3.rb CHANGED

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

data/smoke/constant4.rb CHANGED

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

data/smoke/context-sensitive1.rb CHANGED

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

data/smoke/cvar.rb CHANGED

@@ -18,6 +18,7 @@ A.new.foo
 __END__
 # Classes
 class Object
+  private
   def log1 : (Integer) -> nil
   def log2 : (Integer) -> nil
 end

data/smoke/demo.rb CHANGED

@@ -65,6 +65,7 @@ B.new.foo("str")
 __END__
 # Classes
 class Object
+  private
   def foo : (bool) -> (Integer | String)
   def identity : (:sym | Integer | String) -> (:sym | Integer | String)
   def fib : (Integer) -> Integer

data/smoke/demo1.rb CHANGED

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

data/smoke/demo10.rb CHANGED

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

data/smoke/demo11.rb CHANGED

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

data/smoke/demo2.rb CHANGED

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

data/smoke/demo3.rb CHANGED

@@ -12,5 +12,6 @@ fib(40000)
 __END__
 # Classes
 class Object
+  private
   def fib : (Integer) -> Integer
 end

data/smoke/demo7.rb CHANGED

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

data/smoke/demo8.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/demo9.rb CHANGED

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

data/smoke/dummy-execution1.rb CHANGED

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

data/smoke/ensure1.rb CHANGED

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

data/smoke/enumerator.rb CHANGED

@@ -10,6 +10,7 @@ fuga
 __END__
 # Classes
 class Object
+  private
   def hoge : -> Enumerator[Integer]
   def fuga : -> Enumerator[Integer]
 end

data/smoke/expandarray1.rb CHANGED

@@ -18,5 +18,6 @@ smoke/expandarray1.rb:3: [error] undefined method: Object#unknown
 # Classes
 class Object
+  private
   def foo : -> ([:a, [:b, :c]] | untyped)
 end

data/smoke/expandarray2.rb CHANGED

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

data/smoke/flow1.rb CHANGED

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

data/smoke/flow2.rb CHANGED

@@ -10,5 +10,6 @@ smoke/flow2.rb:5: [error] undefined method: Object#unknown
 # Classes
 class Object
+  private
   def foo : (untyped) -> Integer
 end

data/smoke/flow3.rb CHANGED

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

data/smoke/flow5.rb CHANGED

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

data/smoke/flow6.rb CHANGED

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

data/smoke/flow7.rb CHANGED

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

data/smoke/flow8.rb CHANGED

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

data/smoke/freeze.rb CHANGED

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

data/smoke/function.rb CHANGED

@@ -11,6 +11,7 @@ one_argument(1)
 __END__
 # Classes
 class Object
+  private
   def no_argument : -> String
   def one_argument : (Integer) -> nil
 end

data/smoke/gvar.rb CHANGED

@@ -9,5 +9,6 @@ $foo : Integer | String
 # Classes
 class Object
+  private
   def log : (Integer | String) -> nil
 end

data/smoke/gvar2.rb CHANGED

@@ -13,5 +13,6 @@ smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared global varia
 # Classes
 class Object
+  private
   def log : -> String
 end

data/smoke/hash-fetch.rb CHANGED

@@ -21,6 +21,7 @@ baz(h)
 __END__
 # Classes
 class Object
+  private
   def foo : ({a: :A, b: :B}) -> (:A | :B)
   def bar : ({a: :A, b: :B}) -> (:A | :B | :C)
   def baz : ({a: :A, b: :B}) -> ([:A | :B | :C, (:a | :b)?])

data/smoke/hash-merge-bang.rb CHANGED

@@ -7,5 +7,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> [{a: Integer}, {a: Integer, b: String}]
 end

data/smoke/hash1.rb CHANGED

@@ -14,6 +14,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> {int: Integer, str: String}
   def bar : -> (Hash[Integer | String, Integer | String])
 end

data/smoke/hash2.rb CHANGED

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

data/smoke/hash3.rb CHANGED

@@ -9,5 +9,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> {int: Integer, str: String}
 end

data/smoke/hash4.rb CHANGED

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

data/smoke/initialize.rb CHANGED

@@ -15,6 +15,7 @@ A.new(nil)
 __END__
 # Classes
 class Object
+  private
   def log : (A) -> nil
 end

data/smoke/int_times.rb CHANGED

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

data/smoke/integer.rb CHANGED

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

data/smoke/ivar.rb CHANGED

@@ -19,6 +19,7 @@ log(Foo.new.foo)
 __END__
 # Classes
 class Object
+  private
   def log : (Integer | String) -> nil
 end

data/smoke/kernel-class.rb CHANGED

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

data/smoke/keyword1.rb CHANGED

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

data/smoke/keyword2.rb CHANGED

@@ -7,5 +7,6 @@ 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 CHANGED

@@ -7,5 +7,6 @@ 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 CHANGED

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

data/smoke/keyword5.rb CHANGED

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

data/smoke/kwsplat1.rb CHANGED

@@ -35,6 +35,7 @@ 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 : (**{int: Integer, str: String}) -> nil

data/smoke/kwsplat2.rb CHANGED

@@ -8,5 +8,6 @@ foo(*a, **h)
 __END__
 # Classes
 class Object
+  private
   def foo : (*Integer | {k: Integer}, k: Integer) -> nil
 end

data/smoke/manual-rbs.rb CHANGED

@@ -22,6 +22,7 @@ __END__
 class Object
 # def foo : (Integer) -> Integer
 #         | (String) -> String
+  private
   def ret_int : -> Integer
   def ret_str : -> String
 end