typeprof 0.8.0 → 0.11.0

data/smoke/instance_eval.rb

@@ -13,6 +13,6 @@ end
 __END__
 # Classes
 class C
-  def self.foo : { (C) -> nil } -> C
-  def log : (Integer) -> nil
+  def self.foo: { (C) -> nil } -> C
+  def log: (Integer n) -> nil
 end

data/smoke/instance_eval2.rb

@@ -0,0 +1,10 @@
+a = ""
+a.instance_eval do
+  @a = 1
+end
+
+__END__
+# Classes
+class String
+  @a: Integer
+end

data/smoke/instance_eval3.rb

@@ -0,0 +1,25 @@
+:foo.instance_eval do
+  @foo = 1
+end
+
+[].instance_eval do
+  @bar = 1
+end
+
+{}.instance_eval do
+  @baz = 1
+end
+
+__END__
+# Classes
+class Array
+  @bar: Integer
+end
+
+class Hash
+  @baz: Integer
+end
+
+class Symbol
+  @foo: Integer
+end

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)
+  @foo: 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
+  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
+  @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/keyword1.rb

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

data/smoke/keyword2.rb

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

data/smoke/keyword3.rb

@@ -8,5 +8,5 @@ __END__
 # Classes
 class Object
   private
-  def foo : (?n: Integer, ?s: String | [Integer]) -> ([Integer, String | [Integer]])
+  def foo: (?n: Integer, ?s: String | [Integer]) -> ([Integer, String | [Integer]])
 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/keyword5.rb

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

data/smoke/kwrest.rb

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

data/smoke/kwsplat1.rb

@@ -36,8 +36,8 @@ 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 : (**Hash[untyped, untyped]) -> nil
+  def foo: (k: Integer) -> nil
+  def bar: (int: Integer, str: String) -> 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/lit-complex.rb

@@ -0,0 +1,10 @@
+def foo
+  1i
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Complex
+end

data/smoke/lit-encoding.rb

@@ -0,0 +1,10 @@
+def foo
+  __ENCODING__
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Encoding
+end

data/smoke/manual-rbs.rb

@@ -20,9 +20,10 @@ end
 __END__
 # Classes
 class Object
-# def foo : (Integer) -> Integer
-#         | (String) -> String
+# def foo: (Integer) -> Integer
+#        | (String) -> String
+
   private
-  def ret_int : -> Integer
-  def ret_str : -> String
+  def ret_int: -> Integer
+  def ret_str: -> String
 end

data/smoke/manual-rbs2.rb

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

data/smoke/manual-rbs3.rb

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

data/smoke/masgn1.rb

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

data/smoke/masgn2.rb

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

data/smoke/masgn3.rb

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

data/smoke/method_in_branch.rb

@@ -17,7 +17,7 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> nil
-  def bar : -> Integer
-          | -> String
+  def foo: -> nil
+  def bar: -> Integer
+         | -> 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
+  @target: D
+
+  def initialize: (D x) -> D
+  def method_missing: (:foo m, *:X | :Y | :Z args) -> nil
 end

data/smoke/module1.rb

@@ -20,8 +20,8 @@ C.new.bar
 __END__
 # Classes
 module M
-  def foo : -> :foo
-  def bar : -> :bar
+  def foo: -> :foo
+  def bar: -> :bar
 end
 
 class C

data/smoke/module2.rb

@@ -16,7 +16,7 @@ C.new.foo
 __END__
 # Classes
 module M1
-  def foo : -> :foo
+  def foo: -> :foo
 end
 
 module M2

data/smoke/module3.rb

@@ -20,14 +20,14 @@ C.new.foo
 __END__
 # Classes
 module M1
-  def foo : -> :m1
+  def foo: -> :m1
 end
 
 module M2
-  def foo : -> :m2
+  def foo: -> :m2
 end
 
 class C
-  include M1
   include M2
+  include M1
 end

data/smoke/module4.rb

@@ -21,12 +21,13 @@ C.foo
 __END__
 # Classes
 module M2
-  def foo : -> :m2_foo
+  def foo: -> :m2_foo
 end
 
 module M1
   extend M2
-  def foo : -> :m1_foo
+
+  def foo: -> :m1_foo
 end
 
 class C

data/smoke/module5.rb

@@ -0,0 +1,17 @@
+module Foo
+  Module.new do
+    include Foo
+    extend Foo
+  end
+end
+
+Foo.foo
+__END__
+# Errors
+smoke/module5.rb:8: [error] undefined method: singleton(Foo)#foo
+
+# Classes
+module Foo
+  extend Foo
+  include Foo
+end

data/smoke/module6.rb

@@ -0,0 +1,40 @@
+module A
+end
+
+module B
+  include A
+end
+
+module A
+  include B
+end
+
+class C
+  include A
+end
+
+def log
+  C.new.foo
+end
+
+__END__
+# Errors
+smoke/module6.rb:17: [error] undefined method: C#foo
+
+# Classes
+class Object
+  private
+  def log: -> untyped
+end
+
+module A
+  include B
+end
+
+module B
+  include A
+end
+
+class C
+  include A
+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)
+
+  def bar: -> (:x | :y)
 end