typeprof 0.5.3 → 0.8.0

data/smoke/demo8.rb

@@ -13,6 +13,7 @@ bar(&blk)
 __END__
 # Classes
 class Object
+  private
   def foo : { (:sym | String) -> (:sym | String) } -> (:sym | String)
   def bar : { (:sym | String) -> (:sym | String) } -> (:sym | String)
 end

data/smoke/demo9.rb

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

data/smoke/dummy-execution1.rb

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

data/smoke/ensure1.rb

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

data/smoke/enumerator.rb

@@ -10,6 +10,7 @@ fuga
 __END__
 # Classes
 class Object
+  private
   def hoge : -> Enumerator[Integer]
   def fuga : -> Enumerator[Integer]
 end

data/smoke/expandarray1.rb

@@ -18,5 +18,6 @@ smoke/expandarray1.rb:3: [error] undefined method: Object#unknown
 
 # Classes
 class Object
+  private
   def foo : -> ([:a, [:b, :c]] | untyped)
 end

data/smoke/expandarray2.rb

@@ -19,5 +19,6 @@ smoke/expandarray2.rb:3: [error] undefined method: Object#unknown
 
 # Classes
 class Object
+  private
   def foo : -> ([:a, [:b, :c]] | untyped)
 end

data/smoke/flow1.rb

@@ -12,5 +12,6 @@ foo("str")
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer | String) -> (Integer | String)
 end

data/smoke/flow2.rb

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

data/smoke/flow3.rb

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

data/smoke/flow5.rb

@@ -15,5 +15,6 @@ foo("1")
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer | String) -> Integer
 end

data/smoke/flow6.rb

@@ -15,5 +15,6 @@ foo("1")
 __END__
 # Classes
 class Object
+  private
   def foo : (Integer | String) -> String
 end

data/smoke/flow7.rb

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

data/smoke/flow8.rb

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

data/smoke/freeze.rb

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

data/smoke/function.rb

@@ -11,6 +11,7 @@ one_argument(1)
 __END__
 # Classes
 class Object
+  private
   def no_argument : -> String
   def one_argument : (Integer) -> nil
 end

data/smoke/gvar.rb

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

data/smoke/gvar2.rb

@@ -13,5 +13,6 @@ smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared global varia
 
 # Classes
 class Object
+  private
   def log : -> String
 end

data/smoke/hash-fetch.rb

@@ -21,6 +21,7 @@ baz(h)
 __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)?])

data/smoke/hash-merge-bang.rb

@@ -7,5 +7,6 @@ end
 __END__
 # Classes
 class Object
+  private
   def foo : -> [{a: Integer}, {a: Integer, b: String}]
 end

data/smoke/hash1.rb

@@ -5,6 +5,7 @@ end
 foo
 
 def bar
+  # This returns {Integer=>Integer | String, String=>String} but RBS cannot express it
   { 1 => 1, 2 => "str", "s" => "s" }
 end
 
@@ -13,6 +14,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> {int: Integer, str: String}
-  def bar : -> ({Integer=>Integer | String, String=>String})
+  def bar : -> (Hash[Integer | String, Integer | String])
 end

data/smoke/hash2.rb

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

data/smoke/hash3.rb

@@ -9,5 +9,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> {int: Integer, str: String}
 end

data/smoke/hash4.rb

@@ -6,5 +6,6 @@ foo
 __END__
 # Classes
 class Object
-  def foo : -> {}
+  private
+  def foo : -> Hash[bot, bot]
 end

data/smoke/inheritance2.rb

@@ -21,11 +21,11 @@ end
 __END__
 # Classes
 class SuperBase
-  def self.foo : -> (A.class | B.class)
+  def self.foo : -> (singleton(A) | singleton(B))
 end
 
 class Base < SuperBase
-  def self.foo : -> (A.class | B.class)
+  def self.foo : -> (singleton(A) | singleton(B))
 end
 
 class A < Base

data/smoke/initialize.rb

@@ -15,6 +15,7 @@ A.new(nil)
 __END__
 # Classes
 class Object
+  private
   def log : (A) -> nil
 end
 

data/smoke/int_times.rb

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

data/smoke/integer.rb

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

data/smoke/ivar.rb

@@ -19,6 +19,7 @@ log(Foo.new.foo)
 __END__
 # Classes
 class Object
+  private
   def log : (Integer | String) -> nil
 end
 

data/smoke/ivar2.rb

@@ -25,6 +25,6 @@ __END__
 class Foo
   attr_reader array : Array[:sym | Integer | String]
   attr_reader hash : {a: Integer, b: String, c: :sym}
-  def initialize : -> {}
+  def initialize : -> Hash[bot, bot]
   def set : -> :sym
 end

data/smoke/kernel-class.rb

@@ -8,5 +8,6 @@ foo("")
 __END__
 # Classes
 class Object
-  def foo : (Integer | String) -> (Integer.class | String.class)
+  private
+  def foo : (Integer | String) -> (singleton(Integer) | singleton(String))
 end

data/smoke/keyword1.rb

@@ -7,5 +7,6 @@ foo(n: 42, s: "str")
 __END__
 # Classes
 class Object
+  private
   def foo : (n: Integer, s: String) -> [Integer, String]
 end

data/smoke/keyword2.rb

@@ -7,5 +7,6 @@ foo(n: 42, s: "str")
 __END__
 # Classes
 class Object
+  private
   def foo : (?n: Integer, ?s: Integer | String) -> ([Integer, Integer | String])
 end

data/smoke/keyword3.rb

@@ -7,5 +7,6 @@ foo(n: 42, s: "str")
 __END__
 # Classes
 class Object
+  private
   def foo : (?n: Integer, ?s: String | [Integer]) -> ([Integer, String | [Integer]])
 end

data/smoke/keyword4.rb

@@ -7,5 +7,6 @@ foo(n: 42, s: "str")
 __END__
 # Classes
 class Object
+  private
   def foo : (**{n: Integer, s: String}) -> {n: Integer, s: String}
 end

data/smoke/keyword5.rb

@@ -11,5 +11,6 @@ smoke/keyword5.rb:5: [error] no argument for required keywords
 
 # Classes
 class Object
+  private
   def foo : (req: Integer) -> Integer
 end

data/smoke/kwrest.rb

@@ -0,0 +1,12 @@
+class Foo
+  def foo(**r)
+    @r = r[42]
+  end
+end
+
+__END__
+# Classes
+class Foo
+  @r : Integer
+# def foo : (**Hash[Integer, Integer]) -> void
+end

data/smoke/kwrest.rbs

@@ -0,0 +1,3 @@
+class Foo
+  def foo: (**Hash[Integer, Integer]) -> void
+end

data/smoke/kwsplat1.rb

@@ -35,8 +35,9 @@ smoke/kwsplat1.rb:30: [error] undefined method: Object#any
 
 # Classes
 class Object
+  private
   def foo : (k: Integer) -> nil
   def bar : (int: Integer, str: String) -> nil
   def baz : (**{int: Integer, str: String}) -> nil
-  def qux : (**{untyped=>untyped}) -> nil
+  def qux : (**Hash[untyped, untyped]) -> nil
 end

data/smoke/kwsplat2.rb

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

data/smoke/manual-rbs.rb

@@ -22,6 +22,7 @@ __END__
 class Object
 # def foo : (Integer) -> Integer
 #         | (String) -> String
+  private
   def ret_int : -> Integer
   def ret_str : -> String
 end

data/smoke/manual-rbs2.rb

@@ -16,5 +16,6 @@ smoke/manual-rbs2.rb:4: [error] undefined method: A::B#unknown
 
 # Classes
 class Object
+  private
   def bar : -> untyped
 end

data/smoke/masgn1.rb

@@ -9,5 +9,6 @@ foo
 __END__
 # Classes
 class Object
+  private
   def foo : -> [Integer, [String, :sym], nil]
 end

data/smoke/masgn2.rb

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

data/smoke/masgn3.rb

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

data/smoke/method_in_branch.rb

@@ -16,6 +16,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def foo : -> nil
   def bar : -> Integer
           | -> String

data/smoke/method_missing.rb

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

data/smoke/multiple-superclass.rb

@@ -15,7 +15,7 @@ smoke/multiple-superclass.rb:9: [warning] superclass is not a class; Object is u
 
 # Classes
 class Object
-  Base : A.class | B.class
+  Base : singleton(A) | singleton(B)
 end
 
 class A

data/smoke/next1.rb

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