typeprof 0.8.0 → 0.9.0

data/smoke/freeze.rb

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

data/smoke/function.rb

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

data/smoke/gvar.rb

@@ -5,10 +5,10 @@ log($foo)
 
 __END__
 # Global variables
-$foo : Integer | String
+$foo: Integer | String
 
 # Classes
 class Object
   private
-  def log : (Integer | String) -> nil
+  def log: (Integer | String) -> nil
 end

data/smoke/gvar2.rb

@@ -9,10 +9,10 @@ __END__
 smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared global variable
 
 # Global variables
-#$foo : String
+#$foo: String
 
 # Classes
 class Object
   private
-  def log : -> String
+  def log: -> String
 end

data/smoke/hash-bot.rb

@@ -0,0 +1,12 @@
+def foo
+  h = {}
+  h[1] ||= []
+  h
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Hash[Integer, Array[bot]]
+end

data/smoke/hash-fetch.rb

@@ -22,7 +22,7 @@ __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)?])
+  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)?])
 end

data/smoke/hash-merge-bang.rb

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

data/smoke/hash1.rb

@@ -15,6 +15,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> {int: Integer, str: String}
-  def bar : -> (Hash[Integer | String, Integer | String])
+  def foo: -> {int: Integer, str: String}
+  def bar: -> (Hash[Integer | String, Integer | String])
 end

data/smoke/hash2.rb

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

data/smoke/hash3.rb

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

data/smoke/hash4.rb

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

data/smoke/hash5.rb

@@ -10,5 +10,5 @@ Foo.new.foo
 __END__
 # Classes
 class Foo
-  def foo : -> Integer
+  def foo: -> Integer
 end

data/smoke/inheritance.rb

@@ -24,11 +24,11 @@ B.test("str")
 __END__
 # Classes
 class A
-  def foo : (Integer | String) -> nil
-  def bar : (Integer | String) -> nil
-  def self.test : (Integer | String) -> nil
+  def foo: (Integer | String) -> nil
+  def bar: (Integer | String) -> nil
+  def self.test: (Integer | String) -> nil
 end
 
 class B < A
-  def bar : ((Integer | String)?) -> nil
+  def bar: ((Integer | String)?) -> nil
 end

data/smoke/inheritance2.rb

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

data/smoke/initialize.rb

@@ -16,12 +16,12 @@ __END__
 # Classes
 class Object
   private
-  def log : (A) -> nil
+  def log: (A) -> nil
 end
 
 class A
-  @int : Integer
-  @str : String
-  @val : (Integer | String)?
-  def initialize : ((Integer | String)?) -> ((Integer | String)?)
+  @int: Integer
+  @str: String
+  @val: (Integer | String)?
+  def initialize: ((Integer | String)?) -> ((Integer | String)?)
 end

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) -> 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) -> (Integer | String)
 end

data/smoke/integer.rb

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

data/smoke/ivar.rb

@@ -20,11 +20,11 @@ __END__
 # Classes
 class Object
   private
-  def log : (Integer | String) -> nil
+  def log: (Integer | String) -> nil
 end
 
 class Foo
-  @foo : Integer | String
-  def foo= : (Integer | String) -> (Integer | String)
-  def foo : -> (Integer | String)
+  @foo: Integer | String
+  def foo=: (Integer | String) -> (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}
+  def initialize: -> Hash[bot, bot]
+  def set: -> :sym
 end

data/smoke/ivar3.rb

@@ -11,6 +11,6 @@ smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared global varia
 
 # Classes
 class Foo
-  @bar : String
-  def initialize : -> String
+  @bar: String
+  def initialize: -> String
 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) -> (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: (**{n: Integer, s: 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,6 @@ 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: (**{int: Integer, str: String}) -> nil
+  def qux: (**Hash[untyped, 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}, 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,9 @@ end
 __END__
 # Classes
 class Object
-# def foo : (Integer) -> Integer
+# 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,6 @@ 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
+  def foo: -> nil
+  def bar: -> Integer
           | -> String
 end