typeprof 0.9.0 → 0.12.0

data/smoke/int_times.rb

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

data/smoke/integer.rb

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

data/smoke/ivar.rb

@@ -20,11 +20,12 @@ __END__
 # Classes
 class Object
   private
-  def log: (Integer | String) -> nil
+  def log: (Integer | String x) -> nil
 end
 
 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/ivar2.rb

@@ -23,8 +23,8 @@ Foo.new.set
 __END__
 # Classes
 class Foo
-  attr_reader array: Array[:sym | Integer | String]
-  attr_reader hash: {a: Integer, b: String, c: :sym}
   def initialize: -> Hash[bot, bot]
   def set: -> :sym
+  attr_reader array: Array[:sym | Integer | String]
+  attr_reader hash: {a: Integer, b: String, c: :sym}
 end

data/smoke/ivar3.rb

@@ -7,10 +7,11 @@ end
 
 __END__
 # Errors
-smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared global variable
+smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared variable
 
 # Classes
 class Foo
   @bar: String
+
   def initialize: -> String
 end

data/smoke/ivar4.rb

@@ -0,0 +1,21 @@
+def foo
+  bot = @undefined_ivar
+  unless bot
+    bot.nil?
+  end
+end
+
+foo # There were a bug that type profiling is terminated at this line
+
+def bar
+end
+
+__END__
+# Classes
+class Object
+  @undefined_ivar: bot
+
+  private
+  def foo: -> bool
+  def bar: -> nil
+end

data/smoke/kernel-class.rb

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

data/smoke/keyword4.rb

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (**{n: Integer, s: String}) -> {n: Integer, s: String}
+  def foo: (**Integer | String) -> {n: Integer, s: String}
 end

data/smoke/kwrest.rb

@@ -8,5 +8,6 @@ __END__
 # Classes
 class Foo
   @r: Integer
+
 # def foo: (**Hash[Integer, Integer]) -> void
 end

data/smoke/kwsplat1.rb

@@ -38,6 +38,6 @@ class Object
   private
   def foo: (k: Integer) -> nil
   def bar: (int: Integer, str: String) -> nil
-  def baz: (**{int: Integer, str: String}) -> nil
-  def qux: (**Hash[untyped, untyped]) -> nil
+  def baz: (**Integer | String) -> nil
+  def qux: (**untyped) -> nil
 end

data/smoke/kwsplat2.rb

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

data/smoke/manual-rbs.rb

@@ -21,7 +21,8 @@ __END__
 # Classes
 class Object
 # def foo: (Integer) -> Integer
-#         | (String) -> String
+#        | (String) -> String
+
   private
   def ret_int: -> Integer
   def ret_str: -> String

data/smoke/manual-rbs3.rb

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

data/smoke/method_in_branch.rb

@@ -19,5 +19,5 @@ class Object
   private
   def foo: -> nil
   def bar: -> Integer
-          | -> String
+         | -> String
 end

data/smoke/method_missing.rb

@@ -18,11 +18,12 @@ C.new(D.new).foo(:X, :Y, :Z)
 __END__
 # Classes
 class D
-  def foo: (:X, :Y, :Z) -> nil
+  def foo: (:X x, :Y y, :Z z) -> nil
 end
 
 class C
   @target: D
-  def initialize: (D) -> D
-  def method_missing: (:foo, *:X | :Y | :Z) -> nil
+
+  def initialize: (D x) -> D
+  def method_missing: (:foo m, *:X | :Y | :Z args) -> nil
 end

data/smoke/module3.rb

@@ -28,6 +28,6 @@ module M2
 end
 
 class C
-  include M1
   include M2
+  include M1
 end

data/smoke/module4.rb

@@ -26,6 +26,7 @@ end
 
 module M1
   extend M2
+
   def foo: -> :m1_foo
 end
 

data/smoke/module5.rb

@@ -12,6 +12,6 @@ smoke/module5.rb:8: [error] undefined method: singleton(Foo)#foo
 
 # Classes
 module Foo
-  include Foo
   extend Foo
+  include Foo
 end

data/smoke/module_function1.rb

@@ -18,11 +18,12 @@ Bar.new.bar
 __END__
 # Classes
 module Foo
-  def foo: (:x | :y) -> (:x | :y)
-  def self.foo: (:x | :y) -> (:x | :y)
+  def foo: (:x | :y x) -> (:x | :y)
+  def self.foo: (:x | :y x) -> (:x | :y)
 end
 
 class Bar
   include Foo
+
   def bar: -> (:x | :y)
 end

data/smoke/module_function2.rb

@@ -18,11 +18,12 @@ Bar.new.bar
 __END__
 # Classes
 module Foo
-  def foo: (:x | :y) -> (:x | :y)
-  def self.foo: (:x | :y) -> (:x | :y)
+  def foo: (:x | :y x) -> (:x | :y)
+  def self.foo: (:x | :y x) -> (:x | :y)
 end
 
 class Bar
   include Foo
+
   def bar: -> (:x | :y)
 end

data/smoke/multiple-include.rb

@@ -10,5 +10,6 @@ __END__
 # Classes
 class Foo
   include Comparable
+
   def foo: -> nil
 end

data/smoke/next1.rb

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

data/smoke/object-send1.rb

@@ -17,7 +17,7 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer) -> Integer
-  def bar: (Integer) -> Integer
-  def dispatch: (:bar | :foo) -> Integer
+  def foo: (Integer x) -> Integer
+  def bar: (Integer x) -> Integer
+  def dispatch: (:bar | :foo mid) -> Integer
 end

data/smoke/optional1.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (String, ?Integer | String, ?Integer | String, String) -> ([String, Integer | String, Integer | String, String])
+  def foo: (String a, ?Integer | String o1, ?Integer | String o2, String z) -> ([String, Integer | String, Integer | String, String])
 end

data/smoke/optional2.rb

@@ -12,5 +12,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (String, ?Integer | String, ?Integer | String, *String, String) -> ([String, Integer | String, Integer | String, Array[String], String])
+  def foo: (String a, ?Integer | String o1, ?Integer | String o2, *String r, String z) -> ([String, Integer | String, Integer | String, Array[String], String])
 end

data/smoke/optional3.rb

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

data/smoke/parameterizedd-self.rb

@@ -14,6 +14,7 @@ __END__
 # Classes
 class Object
   def foo: -> Array[bot]
+
   private
-  def bar: (Array[bot]) -> Array[bot]
+  def bar: (Array[bot] ary) -> Array[bot]
 end

data/smoke/prepend1.rb

@@ -0,0 +1,33 @@
+module Mod
+  def foo
+    [42, super(:sym)]
+  end
+end
+
+class Foo
+  prepend Mod
+
+  def foo(sym_arg)
+    sym_arg.to_s
+  end
+
+  def bar
+    foo
+  end
+end
+
+__END__
+# Errors
+smoke/prepend1.rb:3: [error] no superclass method: Mod#foo
+
+# Classes
+module Mod
+  def foo: -> ([Integer, String | untyped])
+end
+
+class Foo
+  prepend Mod
+
+  def foo: (:sym | untyped sym_arg) -> (String | untyped)
+  def bar: -> ([Integer, String | untyped])
+end

data/smoke/prepend2.rb

@@ -0,0 +1,10 @@
+def log
+  Foo.new.foo("str")
+end
+
+__END__
+# Classes
+class Object
+  private
+  def log: -> Integer
+end

data/smoke/prepend2.rbs

@@ -0,0 +1,9 @@
+module Mod
+  def foo: (String | Integer) -> Integer
+end
+
+class Foo
+  prepend Mod
+
+  def foo: (Integer) -> (String | Integer)
+end

data/smoke/primitive_method.rb

@@ -0,0 +1,19 @@
+def foo
+  __method__
+end
+
+def log(dummy)
+end
+
+def bar
+  log(__method__)
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> :foo
+  def log: (:bar | untyped dummy) -> nil
+  def bar: -> nil
+end

data/smoke/proc4.rb

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (^(Integer) -> String) -> String
+  def foo: (^(Integer) -> String f) -> String
 end

data/smoke/public.rb

@@ -23,12 +23,16 @@ __END__
 # Classes
 class Foo
   def foo: -> nil
+
   private
   def bar: -> nil
+
   public
   def baz: -> nil
+
   private
   def qux: -> nil
+
   public
   def corge: -> nil
 end

data/smoke/range.rb

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

data/smoke/rbs-attr.rb

@@ -15,8 +15,8 @@ end
 
 __END__
 # Errors
-smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared global variable
-smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared global variable
+smoke/rbs-attr.rb:11: [warning] inconsistent assignment to RBS-declared variable
+smoke/rbs-attr.rb:13: [warning] inconsistent assignment to RBS-declared variable
 
 # Classes
 class Object

data/smoke/rbs-proc2.rb

@@ -16,6 +16,6 @@ __END__
 # Classes
 class Object
   private
-  def log1: (untyped) -> untyped
+  def log1: (untyped n) -> untyped
   def log2: -> String
 end

data/smoke/rbs-proc3.rb

@@ -10,5 +10,5 @@ __END__
 # Classes
 class Object
   private
-  def log: (Foo[Integer]) -> Integer
+  def log: (Foo[Integer] foo) -> Integer
 end

data/smoke/rbs-tyvar4.rb

@@ -31,6 +31,7 @@ __END__
 # Classes
 class Foo
   @ivar: Array[Array[String]]
-  def initialize: (Array[Array[String]]) -> Array[Array[String]]
-  def foo: (:a | :b) -> nil
+
+  def initialize: (Array[Array[String]] ivar) -> Array[Array[String]]
+  def foo: (:a | :b n) -> nil
 end

data/smoke/rbs-tyvar6.rb

@@ -12,7 +12,7 @@ __END__
 # Classes
 class Object
   private
-  def log1: (Bar[String]) -> nil
-  def log2: (Array[String]) -> nil
-  def log3: (Integer) -> nil
+  def log1: (Bar[String] obj) -> nil
+  def log2: (Array[String] obj) -> nil
+  def log3: (Integer obj) -> nil
 end