typeprof 0.7.0 → 0.10.0

data/smoke/rest3.rb

@@ -27,10 +27,11 @@ grault(*string_array)
 __END__
 # Classes
 class Object
-  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
+  private
+  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

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

data/smoke/rest5.rb

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

data/smoke/rest6.rb

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

data/smoke/retry1.rb

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

data/smoke/return.rb

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

data/smoke/simple.rb

@@ -0,0 +1,12 @@
+def foo(n)
+  n.to_s
+end
+
+foo(42)
+
+__END__
+# Classes
+class Object
+  private
+  def foo: (Integer n) -> String
+end

data/smoke/singleton_method.rb

@@ -8,5 +8,5 @@ end
 __END__
 # Classes
 class Object
-  V : Object
+  V: Object
 end

data/smoke/step.rb

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

data/smoke/string-split.rb

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

data/smoke/struct-keyword_init.rb

@@ -0,0 +1,10 @@
+Foo = Struct.new(:a, :b, :c, keyword_init: true)
+Foo[a: 1, b: "str", c: 1.0]
+
+__END__
+# Classes
+class Foo < Struct
+  attr_accessor a(): Integer
+  attr_accessor b(): String
+  attr_accessor c(): Float
+end

data/smoke/struct.rb

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

data/smoke/struct2.rb

@@ -14,11 +14,12 @@ foobar.bar = :sym
 __END__
 # Classes
 class Object
-  def gen_foobar : -> FooBar
+  private
+  def gen_foobar: -> FooBar
 end
 
 class FooBar < Struct
-  attr_accessor foo() : Integer | String
-  attr_accessor bar() : :sym?
-  def my_foo : -> (Integer | String)
+  attr_accessor foo(): Integer | String
+  attr_accessor bar(): :sym?
+  def my_foo: -> (Integer | String)
 end

data/smoke/struct3.rb

@@ -8,7 +8,7 @@ __END__
 # Classes
 class App
   class FooBar < Struct
-    attr_accessor foo() : Integer
-    attr_accessor bar() : String
+    attr_accessor foo(): Integer
+    attr_accessor bar(): String
   end
 end

data/smoke/struct4.rb

@@ -0,0 +1,7 @@
+UndefinedConstant::Foo = Struct.new(:foo)
+
+__END__
+# Classes
+class AnonymousStruct_generated_1 < Struct
+  attr_accessor foo(): untyped
+end

data/smoke/struct5.rb

@@ -0,0 +1,16 @@
+Foo = Struct.new(:foo)
+
+class Foo
+  def initialize(foo)
+    super(foo.to_s)
+  end
+end
+
+Foo.new(42)
+
+__END__
+# Classes
+class Foo < Struct
+  attr_accessor foo(): String
+  def initialize: (Integer foo) -> Foo
+end

data/smoke/struct6.rb

@@ -0,0 +1,15 @@
+class Foo < Struct.new(:foo)
+  def initialize(foo)
+    super(foo.to_s)
+  end
+end
+
+__END__
+# Classes
+class AnonymousStruct_generated_1 < Struct
+  attr_accessor foo(): untyped
+end
+
+class Foo < AnonymousStruct_generated_1
+  def initialize: (untyped foo) -> Foo
+end

data/smoke/struct7.rb

@@ -0,0 +1,17 @@
+# I'm unsure how this is useful
+# This test just checks if TypeProf raises no exception
+
+class Foo < Struct
+end
+
+class Foo
+  def initialize
+    super
+  end
+end
+
+__END__
+# Classes
+class Foo < Struct
+  def initialize: -> Foo
+end

data/smoke/stub-keyword.rb

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

data/smoke/super1.rb

@@ -34,7 +34,8 @@ Baz.new.f(A.new)
 __END__
 # Classes
 class Object
-  def log : (Baz) -> nil
+  private
+  def log: (Baz x) -> nil
 end
 
 class A
@@ -56,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

data/smoke/super2.rb

@@ -12,5 +12,5 @@ smoke/super2.rb:3: [error] no superclass method: Foo#f
 
 # Classes
 class Foo
-  def f : -> untyped
+  def f: -> untyped
 end

data/smoke/super3.rb

@@ -13,7 +13,8 @@ Foo.new(1)
 __END__
 # Classes
 class Foo
-  @a : Integer
-  def self.new : (Integer) -> Foo
-  def initialize : (Integer) -> Integer
+  @a: Integer
+
+  def self.new: (Integer a) -> Foo
+  def initialize: (Integer a) -> Integer
 end

data/smoke/super4.rb

@@ -21,23 +21,25 @@ E.new.f(:top)
 __END__
 # Classes
 module M1
-  def f : (:D) -> nil
+  def f: (:D m) -> nil
 end
 
 module M2
-  def f : (:E) -> nil
+  def f: (:E m) -> nil
 end
 
 class C
-  def f : (:M1) -> nil
+  def f: (:M1 m) -> nil
 end
 
 class D < C
   include M1
-  def f : (:M2) -> nil
+
+  def f: (:M2 m) -> nil
 end
 
 class E < D
   include M2
-  def f : (:top) -> nil
+
+  def f: (:top m) -> nil
 end

data/smoke/super5.rb

@@ -18,19 +18,21 @@ E.new.f(:top)
 __END__
 # Classes
 module M
-  def f : (:D | :E) -> nil
+  def f: (:D | :E m) -> nil
 end
 
 class C
-  def f : (:M) -> nil
+  def f: (:M m) -> nil
 end
 
 class D < C
   include M
-  def f : (:M) -> nil
+
+  def f: (:M m) -> nil
 end
 
 class E < D
   include M
-  def f : (:top) -> nil
+
+  def f: (:top m) -> nil
 end

data/smoke/svar1.rb

@@ -8,5 +8,6 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> [String?, String?]
+  private
+  def foo: -> [String?, String?]
 end

data/smoke/symbol-proc-attr.rb

@@ -0,0 +1,22 @@
+class Foo
+  attr_reader :foo
+  def initialize(foo)
+    @foo = foo
+  end
+end
+
+def log
+  [Foo.new(42)].map(&:foo)
+end
+
+__END__
+# Classes
+class Object
+  private
+  def log: -> (Array[Integer | untyped])
+end
+
+class Foo
+  attr_reader foo: Integer | untyped
+  def initialize: (Integer | untyped foo) -> (Integer | untyped)
+end

data/smoke/symbol-proc-attr2.rb

@@ -0,0 +1,15 @@
+class Foo
+  attr_reader :foo
+  def initialize
+    @foo = [42]
+  end
+end
+
+[Foo.new].flat_map(&:foo)
+
+__END__
+# Classes
+class Foo
+  attr_reader foo: [Integer]
+  def initialize: -> [Integer]
+end

data/smoke/symbol-proc-bot.rb

@@ -0,0 +1,13 @@
+# This method call invokes (bottom type).boo, so the analysis may terminate
+# Currently, SymbolBlock translates bot receiver to any type
+[].each(&:boo)
+
+def foo
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> nil
+end

data/smoke/symbol-proc.rb

@@ -15,10 +15,11 @@ end
 __END__
 # Classes
 class Object
-  def foo : -> Array[String]
-  def bar : -> Array[:foo]
+  private
+  def foo: -> Array[String]
+  def bar: -> Array[:foo]
 end
 
 class Foo
-  def foo : -> :foo
+  def foo: -> :foo
 end

data/smoke/tap1.rb

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

data/smoke/toplevel.rb

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

data/smoke/two-map.rb

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