typeprof 0.9.0 → 0.12.0

data/smoke/class_method.rb

@@ -20,6 +20,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo: (Integer) -> Integer
-  def self.bar: (String) -> String
+  def self.foo: (Integer x) -> Integer
+  def self.bar: (String x) -> String
 end

data/smoke/class_method2.rb

@@ -16,6 +16,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo: (Integer) -> Integer
-  def self.bar: (String) -> String
+  def self.foo: (Integer | String x) -> (Integer | String)
+  alias self.bar self.foo
 end

data/smoke/constant2.rb

@@ -25,9 +25,10 @@ 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
+  def foo: (Integer | untyped x) -> nil
+  def log: (String x) -> nil
 end
 
 class C

data/smoke/context-sensitive1.rb

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

data/smoke/cvar.rb

@@ -19,12 +19,13 @@ __END__
 # Classes
 class Object
   private
-  def log1: (Integer) -> nil
-  def log2: (Integer) -> nil
+  def log1: (Integer x) -> nil
+  def log2: (Integer x) -> nil
 end
 
 class A
   FOO: Integer
   @@var: Integer
+
   def foo: -> nil
 end

data/smoke/define_method.rb

@@ -11,6 +11,6 @@ end
 __END__
 # Classes
 class Foo
-  def bar: (:FOO | untyped) -> :BAR
-  def foo: (untyped) -> :BAR
+  def bar: (:FOO | untyped n) -> :BAR
+  def foo: (untyped n) -> :BAR
 end

data/smoke/define_method3.rb

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

data/smoke/define_method4.rb

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Foo
 # def foo: () -> NilClass
-  def bar: (*untyped, **Hash[untyped, untyped]) -> nil
+  def bar: (*untyped messages, **untyped) -> nil
 end

data/smoke/define_method6.rb

@@ -0,0 +1,19 @@
+class A
+  %i[a b].each.with_index { |sym, i| define_method(sym) { i } }
+end
+
+def foo
+  A.new.a + A.new.b
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Integer
+end
+
+class A
+  def a: -> Integer
+  def b: -> Integer
+end

data/smoke/demo.rb

@@ -66,16 +66,16 @@ __END__
 # Classes
 class Object
   private
-  def foo: (bool) -> (Integer | String)
-  def identity: (:sym | Integer | String) -> (:sym | Integer | String)
-  def fib: (Integer) -> Integer
+  def foo: (bool x) -> (Integer | String)
+  def identity: (:sym | Integer | String x) -> (:sym | Integer | String)
+  def fib: (Integer x) -> Integer
 end
 
 class A
-  def foo: (Integer | String) -> nil
-  def bar: (Integer | String) -> nil
+  def foo: (Integer | String x) -> nil
+  def bar: (Integer | String x) -> nil
 end
 
 class B < A
-  def bar: (Integer | String) -> nil
+  def bar: (Integer | String x) -> nil
 end

data/smoke/demo1.rb

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

data/smoke/demo11.rb

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

data/smoke/demo2.rb

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

data/smoke/demo3.rb

@@ -13,5 +13,5 @@ __END__
 # Classes
 class Object
   private
-  def fib: (Integer) -> Integer
+  def fib: (Integer x) -> Integer
 end

data/smoke/demo4.rb

@@ -18,10 +18,10 @@ B.new.foo("str")
 __END__
 # Classes
 class A
-  def foo: (Integer | String) -> nil
-  def bar: (Integer | String) -> nil
+  def foo: (Integer | String x) -> nil
+  def bar: (Integer | String x) -> nil
 end
 
 class B < A
-  def bar: (Integer | String) -> nil
+  def bar: (Integer | String x) -> nil
 end

data/smoke/demo5.rb

@@ -9,7 +9,7 @@ B.foo(Integer)
 __END__
 # Classes
 class A
-  def self.foo: (Integer | singleton(Integer)) -> String
+  def self.foo: (Integer | singleton(Integer) x) -> String
 end
 
 class B < A

data/smoke/demo6.rb

@@ -16,6 +16,7 @@ __END__
 # Classes
 class Foo
   @foo: Integer | String
-  def foo=: (Integer | String) -> (Integer | String)
+
+  def foo=: (Integer | String x) -> (Integer | String)
   def foo: -> (Integer | String)
 end

data/smoke/demo7.rb

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

data/smoke/demo9.rb

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

data/smoke/dummy-execution1.rb

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

data/smoke/dummy-execution2.rb

@@ -11,6 +11,6 @@ end
 __END__
 # Classes
 class Foo
-  def foo: (Integer | untyped) -> (Integer | untyped)
+  def foo: (Integer | untyped n) -> (Integer | untyped)
   def self.bar: -> (Integer | untyped)
 end

data/smoke/dummy_element.rb

@@ -10,5 +10,5 @@ Foo.new.f
 __END__
 # Classes
 class Foo
-  def f: (**Hash[untyped, untyped]) -> nil
+  def f: (**untyped) -> nil
 end

data/smoke/ensure1.rb

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

data/smoke/enum_for.rb

@@ -0,0 +1,15 @@
+def log
+  nn = nil
+  ary = [1, "str"].to_enum.map do |n|
+    nn = n
+    n.to_s
+  end
+  return nn, ary
+end
+
+__END__
+# Classes
+class Object
+  private
+  def log: -> ([(Integer | String)?, Array[String]])
+end

data/smoke/enum_for2.rb

@@ -0,0 +1,17 @@
+class Foo
+  def int_and_str_enum
+    return enum_for(__method__) unless block_given?
+
+    yield 1
+    yield 2
+    yield 3
+
+    1.0
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def int_and_str_enum: ?{ (Integer) -> untyped } -> (Enumerator[Integer, untyped] | Float)
+end

data/smoke/fib.rb

@@ -23,6 +23,6 @@ Fib.new.fib_rec(42)
 __END__
 # Classes
 class Fib
-  def fib_loop: (Integer) -> Integer
-  def fib_rec: (Integer) -> Integer
+  def fib_loop: (Integer x) -> Integer
+  def fib_rec: (Integer x) -> Integer
 end

data/smoke/flow1.rb

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

data/smoke/flow10.rb

@@ -0,0 +1,17 @@
+def foo
+  if block_given?
+    yield 42
+  else
+    1.0
+  end
+end
+
+foo
+foo {|n| n.to_s }
+
+__END__
+# Classes
+class Object
+  private
+  def foo: ?{ (Integer) -> String } -> (Float | String)
+end

data/smoke/flow2.rb

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

data/smoke/flow3.rb

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

data/smoke/flow5.rb

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

data/smoke/flow6.rb

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

data/smoke/flow7.rb

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

data/smoke/flow8.rb

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

data/smoke/flow9.rb

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (untyped) -> String?
+  def foo: (untyped obj) -> String?
 end

data/smoke/function.rb

@@ -13,5 +13,5 @@ __END__
 class Object
   private
   def no_argument: -> String
-  def one_argument: (Integer) -> nil
+  def one_argument: (Integer x) -> nil
 end

data/smoke/gvar.rb

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

data/smoke/gvar2.rb

@@ -6,7 +6,7 @@ end
 
 __END__
 # Errors
-smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared global variable
+smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared variable
 
 # Global variables
 #$foo: String

data/smoke/hash-fetch.rb

@@ -22,7 +22,7 @@ __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)?])
+  def foo: ({a: :A, b: :B} h) -> (:A | :B)
+  def bar: ({a: :A, b: :B} h) -> (:A | :B | :C)
+  def baz: ({a: :A, b: :B} h) -> ([:A | :B | :C, (:a | :b)?])
 end

data/smoke/inheritance.rb

@@ -24,11 +24,11 @@ B.test("str")
 __END__
 # Classes
 class A
-  def foo: (Integer | String) -> nil
-  def bar: (Integer | String) -> nil
-  def self.test: (Integer | String) -> nil
+  def foo: (Integer | String x) -> nil
+  def bar: (Integer | String x) -> nil
+  def self.test: (Integer | String x) -> nil
 end
 
 class B < A
-  def bar: ((Integer | String)?) -> nil
+  def bar: ((Integer | String)? x) -> nil
 end

data/smoke/initialize.rb

@@ -16,12 +16,13 @@ __END__
 # Classes
 class Object
   private
-  def log: (A) -> nil
+  def log: (A x) -> nil
 end
 
 class A
   @int: Integer
   @str: String
   @val: (Integer | String)?
-  def initialize: ((Integer | String)?) -> ((Integer | String)?)
+
+  def initialize: ((Integer | String)? x) -> ((Integer | String)?)
 end

data/smoke/instance_eval.rb

@@ -14,5 +14,5 @@ __END__
 # Classes
 class C
   def self.foo: { (C) -> nil } -> C
-  def log: (Integer) -> nil
+  def log: (Integer n) -> nil
 end