typeprof 0.9.2 → 0.14.0

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

data/smoke/redo1.rb

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

data/smoke/redo2.rb

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

data/smoke/rescue1.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 | Integer)
 end

data/smoke/rescue2.rb

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

data/smoke/rescue3.rb

@@ -14,6 +14,7 @@ __END__
 # Classes
 class Object
   Ary: [Integer, String]
+
   private
   def foo: -> (Integer | String)
 end

data/smoke/rescue4.rb

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

data/smoke/respond_to.rb

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

data/smoke/rest1.rb

@@ -21,6 +21,6 @@ __END__
 # Classes
 class Object
   private
-  def foo: (:a | Integer | String, *Integer | String, :z | Integer | String) -> (Array[Integer | String])
-  def bar: (String, ?Integer | String, *String, String) -> Array[String]
+  def foo: (:a | Integer | String a, *Integer | String r, :z | Integer | String z) -> (Array[Integer | String])
+  def bar: (String a, ?Integer | String o, *String r, String z) -> Array[String]
 end

data/smoke/rest2.rb

@@ -27,5 +27,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: (Integer, String, :s) -> [Integer, String, :s]
+  def foo: (Integer a, String b, :s c) -> [Integer, String, :s]
 end

data/smoke/rest3.rb

@@ -28,10 +28,10 @@ __END__
 # Classes
 class Object
   private
-  def foo: (*String) -> nil
-  def bar: (*Integer | String) -> nil
-  def baz: (String, *String) -> nil
-  def qux: (Integer, *String) -> nil
-  def corge: (*Integer | String, Integer | String) -> nil
-  def grault: (String, ?Integer | String, *String, String) -> nil
+  def foo: (*String r) -> nil
+  def bar: (*Integer | String r) -> nil
+  def baz: (String x, *String r) -> nil
+  def qux: (Integer x, *String r) -> nil
+  def corge: (*Integer | String r, Integer | String z) -> nil
+  def grault: (String a, ?Integer | String o, *String r, String z) -> nil
 end

data/smoke/rest4.rb

@@ -14,6 +14,6 @@ __END__
 # Classes
 class Object
   private
-  def foo: (*:s | Integer | String) -> nil
-  def bar: (Integer, :s | String, :s | String) -> nil
+  def foo: (*:s | Integer | String a) -> nil
+  def bar: (Integer x, :s | String y, :s | String z) -> nil
 end

data/smoke/rest5.rb

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

data/smoke/rest6.rb

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

data/smoke/retry1.rb

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

data/smoke/simple.rb

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

data/smoke/step.rb

@@ -12,7 +12,7 @@ __END__
 # Classes
 class Object
   private
-  def log1: (Integer | Numeric) -> nil
-  def log2: (void) -> nil
-  def log3: (Enumerator[Integer | Numeric]) -> nil
+  def log1: (Integer | Numeric x) -> nil
+  def log2: (void x) -> nil
+  def log3: (Enumerator[Integer | Numeric] x) -> nil
 end

data/smoke/struct-keyword_init.rb

@@ -1,20 +1,10 @@
-# XXX: Need to support keyword_init
-Foo = Struct.new(:foo, keyword_init: true)
-
-class Foo
-  def initialize(foo:)
-    super(foo: foo.to_s)
-  end
-end
-
-Foo.new(42)
+Foo = Struct.new(:a, :b, :c, keyword_init: true)
+Foo[a: 1, b: "str", c: 1.0]
 
 __END__
-# Errors
-smoke/struct-keyword_init.rb:10: [error] wrong number of arguments (given 1, expected 0)
-
 # Classes
-class Foo < Struct
-  attr_accessor foo(): nil
-  def initialize: (foo: untyped) -> Foo
+class Foo < Struct[untyped]
+  attr_accessor a(): Integer
+  attr_accessor b(): String
+  attr_accessor c(): Float
 end

data/smoke/struct.rb

@@ -5,7 +5,7 @@ end
 Foo.new.a = 1
 __END__
 # Classes
-class AnonymousStruct_generated_1 < Struct
+class AnonymousStruct_generated_1 < Struct[untyped]
   attr_accessor a(): untyped
 end
 

data/smoke/struct2.rb

@@ -18,7 +18,7 @@ class Object
   def gen_foobar: -> FooBar
 end
 
-class FooBar < Struct
+class FooBar < Struct[untyped]
   attr_accessor foo(): Integer | String
   attr_accessor bar(): :sym?
   def my_foo: -> (Integer | String)

data/smoke/struct3.rb

@@ -7,7 +7,7 @@ App::FooBar.new(1, "str")
 __END__
 # Classes
 class App
-  class FooBar < Struct
+  class FooBar < Struct[untyped]
     attr_accessor foo(): Integer
     attr_accessor bar(): String
   end

data/smoke/struct4.rb

@@ -2,6 +2,6 @@ UndefinedConstant::Foo = Struct.new(:foo)
 
 __END__
 # Classes
-class AnonymousStruct_generated_1 < Struct
+class AnonymousStruct_generated_1 < Struct[untyped]
   attr_accessor foo(): untyped
 end

data/smoke/struct5.rb

@@ -10,7 +10,7 @@ Foo.new(42)
 
 __END__
 # Classes
-class Foo < Struct
+class Foo < Struct[untyped]
   attr_accessor foo(): String
-  def initialize: (Integer) -> Foo
+  def initialize: (Integer foo) -> Foo
 end

data/smoke/struct6.rb

@@ -6,10 +6,10 @@ end
 
 __END__
 # Classes
-class AnonymousStruct_generated_1 < Struct
+class AnonymousStruct_generated_1 < Struct[untyped]
   attr_accessor foo(): untyped
 end
 
 class Foo < AnonymousStruct_generated_1
-  def initialize: (untyped) -> Foo
+  def initialize: (untyped foo) -> Foo
 end

data/smoke/struct7.rb

@@ -12,6 +12,6 @@ end
 
 __END__
 # Classes
-class Foo < Struct
+class Foo < Struct[untyped]
   def initialize: -> Foo
 end

data/smoke/super1.rb

@@ -35,7 +35,7 @@ __END__
 # Classes
 class Object
   private
-  def log: (Baz) -> nil
+  def log: (Baz x) -> nil
 end
 
 class A
@@ -57,13 +57,13 @@ class Z
 end
 
 class Foo
-  def f: (C) -> X
+  def f: (C x) -> X
 end
 
 class Bar < Foo
-  def f: (B) -> Y
+  def f: (B x) -> Y
 end
 
 class Baz < Bar
-  def f: (A) -> Z
+  def f: (A x) -> Z
 end