typeprof 0.9.1 → 0.13.0

data/smoke/block-args3-rest.rb

@@ -58,17 +58,18 @@ __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 log1: (String a, :opt | String o, Array[String] r, String c) -> nil
   def f2: { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
-  def log2: (:a, :opt | String, Array[String], String) -> nil
+  def log2: (:a a, :opt | String o, Array[String] r, String c) -> nil
   def f3: { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
-  def log3: (:a, :b | :opt, Array[String], :b | String) -> nil
+  def log3: (:a a, :b | :opt o, Array[String] r, :b | String c) -> nil
   def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
-  def log4: (:a, :b | :opt, Array[:c | String], :c | String) -> nil
+  def log4: (:a a, :b | :opt o, Array[:c | String] r, :c | String c) -> nil
   def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
-  def log5: (:a, :b | :opt, Array[:c | :d | String], :d | String) -> nil
+  def log5: (:a a, :b | :opt o, Array[:c | :d | String] r, :d | String c) -> nil
   def f6: { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
-  def log6: (:a, :b | :opt, Array[:c | :d | :e | String], :e | String) -> nil
+  def log6: (:a a, :b | :opt o, Array[:c | :d | :e | String] r, :e | String c) -> nil
 end

data/smoke/block-args3.rb

@@ -57,15 +57,15 @@ __END__
 class Object
   private
   def f1: { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
-  def log1: (nil, :opt, Array[bot], nil) -> nil
+  def log1: (nil a, :opt o, Array[bot] r, nil c) -> nil
   def f2: { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
-  def log2: (:a, :opt, Array[bot], nil) -> nil
+  def log2: (:a a, :opt o, Array[bot] r, nil c) -> nil
   def f3: { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
-  def log3: (:a, :opt, Array[bot], :b) -> nil
+  def log3: (:a a, :opt o, Array[bot] r, :b c) -> nil
   def f4: { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
-  def log4: (:a, :b | :opt, Array[bot], :c) -> nil
+  def log4: (:a a, :b | :opt o, Array[bot] r, :c c) -> nil
   def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
-  def log5: (:a, :b | :opt, [:c], :d) -> nil
+  def log5: (:a a, :b | :opt o, [:c] r, :d c) -> nil
   def f6: { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
-  def log6: (:a, :b | :opt, [:c, :d], :e) -> nil
+  def log6: (:a a, :b | :opt o, [:c, :d] r, :e c) -> nil
 end

data/smoke/block-blockarg.rb

@@ -21,8 +21,8 @@ __END__
 # Classes
 class Object
   private
-  def log1: (:a) -> nil
-  def log2: (:b) -> nil
-  def log3: (:c) -> nil
+  def log1: (:a x) -> nil
+  def log2: (:b x) -> nil
+  def log3: (:c x) -> nil
   def f: { -> :c } -> :d
 end

data/smoke/block-kwarg.rb

@@ -41,13 +41,13 @@ smoke/block-kwarg.rb:31: [error] no argument for required keywords
 class Object
   private
   def f1: { -> nil } -> nil
-  def log1: (Integer) -> nil
+  def log1: (Integer n) -> nil
   def f2: { -> nil } -> nil
-  def log2: (:opt | Integer) -> nil
+  def log2: (:opt | Integer n) -> nil
   def f3: { -> nil } -> nil
-  def log3: (Integer | String) -> nil
+  def log3: (Integer | String n) -> nil
   def f4: { -> nil } -> nil
-  def log4: ({k: Integer}) -> nil
+  def log4: ({k: Integer} kwrest) -> nil
   def f5: { -> nil } -> untyped
   def f6: { -> nil } -> untyped
 end

data/smoke/block1.rb

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

data/smoke/block10.rb

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

data/smoke/block11.rb

@@ -32,8 +32,8 @@ __END__
 # Classes
 class Object
   private
-  def log1: (Integer?) -> nil
-  def log2: (Integer?) -> nil
+  def log1: (Integer? x) -> nil
+  def log2: (Integer? x) -> nil
   def foo: -> Integer?
   def test_yield: { -> nil } -> nil
   def bar: -> Integer?

data/smoke/block2.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/block3.rb

@@ -26,7 +26,7 @@ Bar.new.bar
 __END__
 # Classes
 class Common
-  def func: (:sym | String) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
+  def func: (:sym | String x) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
 end
 
 class Foo

data/smoke/block5.rb

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

data/smoke/block_given.rb

@@ -0,0 +1,37 @@
+def foo
+  block_given?
+end
+
+foo {}
+
+def bar
+  block_given?
+end
+
+bar
+
+def baz
+  block_given?
+end
+
+baz {}
+baz
+
+def qux
+  block_given?
+end
+
+qux(&unknown)
+
+__END__
+# Errors
+smoke/block_given.rb:24: [error] undefined method: Object#unknown
+
+# Classes
+class Object
+  private
+  def foo: { -> nil } -> true
+  def bar: -> false
+  def baz: ?{ -> nil } -> bool
+  def qux: -> bool
+end

data/smoke/class_eval.rb

@@ -0,0 +1,22 @@
+module Foo
+end
+
+module Bar
+  Foo.class_eval do
+    @foo = self
+    def foo
+      "str"
+    end
+  end
+end
+
+__END__
+# Classes
+module Foo
+  self.@foo: singleton(Foo)
+
+  def self.foo: -> String
+end
+
+module Bar
+end

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/define_method7.rb

@@ -0,0 +1,18 @@
+class Human
+  define_method(:fo) { }
+  
+  [:a, :b].each { |m|
+    define_method(m) { }
+  }
+end
+
+Human.new.a
+Human.new.b
+
+__END__
+# Classes
+class Human
+  def fo: -> nil
+  def a: -> nil
+  def b: -> nil
+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