typeprof 0.8.0 → 0.9.0

data/smoke/block-args2.rb

@@ -47,14 +47,14 @@ __END__
 # Classes
 class Object
   private
-  def f1 : { -> nil } -> ^(nil, *bot, nil) -> nil
-  def log1 : (nil, Array[bot], nil) -> nil
-  def f2 : { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
-  def log2 : (:a, Array[bot], nil) -> nil
-  def f3 : { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
-  def log3 : (:a, Array[bot], :b) -> nil
-  def f4 : { (:a, :b, :c) -> nil } -> ^(:a, *:b, :c) -> nil
-  def log4 : (:a, [:b], :c) -> nil
-  def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, *:b | :c, :d) -> nil)
-  def log5 : (:a, [:b, :c], :d) -> nil
+  def f1: { -> nil } -> ^(nil, *bot, nil) -> nil
+  def log1: (nil, Array[bot], nil) -> nil
+  def f2: { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
+  def log2: (:a, Array[bot], nil) -> nil
+  def f3: { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
+  def log3: (:a, Array[bot], :b) -> nil
+  def f4: { (:a, :b, :c) -> nil } -> ^(:a, *:b, :c) -> nil
+  def log4: (:a, [:b], :c) -> nil
+  def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, *:b | :c, :d) -> nil)
+  def log5: (:a, [:b, :c], :d) -> nil
 end

data/smoke/block-args3-rest.rb

@@ -57,18 +57,18 @@ end
 __END__
 # Classes
 class Object
-  StringArray : Array[String]
+  StringArray: Array[String]
   private
-  def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
-  def log1 : (String, :opt | String, Array[String], String) -> nil
-  def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
-  def log2 : (:a, :opt | String, Array[String], String) -> nil
-  def f3 : { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
-  def log3 : (:a, :b | :opt, Array[String], :b | String) -> nil
-  def f4 : { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
-  def log4 : (:a, :b | :opt, Array[:c | String], :c | String) -> nil
-  def f5 : { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
-  def log5 : (:a, :b | :opt, Array[:c | :d | String], :d | String) -> nil
-  def f6 : { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
-  def log6 : (:a, :b | :opt, Array[:c | :d | :e | String], :e | String) -> nil
+  def f1: { (*String) -> nil } -> (^(String, ?:opt | String, *String, String) -> nil)
+  def log1: (String, :opt | String, Array[String], String) -> nil
+  def f2: { (:a, *String) -> nil } -> (^(:a, ?:opt | String, *String, String) -> nil)
+  def log2: (:a, :opt | String, Array[String], String) -> nil
+  def f3: { (:a, :b, *String) -> nil } -> (^(:a, ?:b | :opt, *String, :b | String) -> nil)
+  def log3: (:a, :b | :opt, Array[String], :b | String) -> nil
+  def f4: { (:a, :b, :c, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | String, :c | String) -> nil)
+  def log4: (:a, :b | :opt, Array[:c | String], :c | String) -> nil
+  def f5: { (:a, :b, :c, :d, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | String, :d | String) -> nil)
+  def log5: (:a, :b | :opt, Array[:c | :d | String], :d | String) -> nil
+  def f6: { (:a, :b, :c, :d, :e, *String) -> nil } -> (^(:a, ?:b | :opt, *:c | :d | :e | String, :e | String) -> nil)
+  def log6: (:a, :b | :opt, Array[:c | :d | :e | String], :e | String) -> nil
 end

data/smoke/block-args3.rb

@@ -56,16 +56,16 @@ __END__
 # Classes
 class Object
   private
-  def f1 : { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
-  def log1 : (nil, :opt, Array[bot], nil) -> nil
-  def f2 : { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
-  def log2 : (:a, :opt, Array[bot], nil) -> nil
-  def f3 : { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
-  def log3 : (:a, :opt, Array[bot], :b) -> nil
-  def f4 : { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
-  def log4 : (:a, :b | :opt, Array[bot], :c) -> nil
-  def f5 : { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
-  def log5 : (:a, :b | :opt, [:c], :d) -> nil
-  def f6 : { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
-  def log6 : (:a, :b | :opt, [:c, :d], :e) -> nil
+  def f1: { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
+  def log1: (nil, :opt, Array[bot], nil) -> nil
+  def f2: { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
+  def log2: (:a, :opt, Array[bot], nil) -> nil
+  def f3: { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
+  def log3: (:a, :opt, Array[bot], :b) -> nil
+  def f4: { (:a, :b, :c) -> nil } -> (^(:a, ?:b | :opt, *bot, :c) -> nil)
+  def log4: (:a, :b | :opt, Array[bot], :c) -> nil
+  def f5: { (:a, :b, :c, :d) -> nil } -> (^(:a, ?:b | :opt, *:c, :d) -> nil)
+  def log5: (:a, :b | :opt, [:c], :d) -> nil
+  def f6: { (:a, :b, :c, :d, :e) -> nil } -> (^(:a, ?:b | :opt, *:c | :d, :e) -> nil)
+  def log6: (:a, :b | :opt, [:c, :d], :e) -> nil
 end

data/smoke/block-blockarg.rb

@@ -21,8 +21,8 @@ __END__
 # Classes
 class Object
   private
-  def log1 : (:a) -> nil
-  def log2 : (:b) -> nil
-  def log3 : (:c) -> nil
-  def f : { -> :c } -> :d
+  def log1: (:a) -> nil
+  def log2: (:b) -> nil
+  def log3: (:c) -> nil
+  def f: { -> :c } -> :d
 end

data/smoke/block-kwarg.rb

@@ -40,14 +40,14 @@ smoke/block-kwarg.rb:31: [error] no argument for required keywords
 # Classes
 class Object
   private
-  def f1 : { -> nil } -> nil
-  def log1 : (Integer) -> nil
-  def f2 : { -> nil } -> nil
-  def log2 : (:opt | Integer) -> nil
-  def f3 : { -> nil } -> nil
-  def log3 : (Integer | String) -> nil
-  def f4 : { -> nil } -> nil
-  def log4 : ({k: Integer}) -> nil
-  def f5 : { -> nil } -> untyped
-  def f6 : { -> nil } -> untyped
+  def f1: { -> nil } -> nil
+  def log1: (Integer) -> nil
+  def f2: { -> nil } -> nil
+  def log2: (:opt | Integer) -> nil
+  def f3: { -> nil } -> nil
+  def log3: (Integer | String) -> nil
+  def f4: { -> nil } -> nil
+  def log4: ({k: Integer}) -> nil
+  def f5: { -> nil } -> untyped
+  def f6: { -> nil } -> untyped
 end

data/smoke/block1.rb

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

data/smoke/block10.rb

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

data/smoke/block11.rb

@@ -32,9 +32,9 @@ __END__
 # Classes
 class Object
   private
-  def log1 : (Integer?) -> nil
-  def log2 : (Integer?) -> nil
-  def foo : -> Integer?
-  def test_yield : { -> nil } -> nil
-  def bar : -> Integer?
+  def log1: (Integer?) -> nil
+  def log2: (Integer?) -> nil
+  def foo: -> Integer?
+  def test_yield: { -> nil } -> nil
+  def bar: -> Integer?
 end

data/smoke/block12.rb

@@ -18,6 +18,6 @@ __END__
 # Classes
 class Object
   private
-  def foo : -> [:foo]
-  def bar : -> [:bar]
+  def foo: -> [:foo]
+  def bar: -> [:bar]
 end

data/smoke/block14.rb

@@ -9,10 +9,10 @@ $blk.call(42)
 
 __END__
 # Global variables
-$blk : ^(Integer) -> nil
+$blk: ^(Integer) -> nil
 
 # Classes
 class Object
   private
-  def foo : { (Integer) -> nil } -> nil
+  def foo: { (Integer) -> nil } -> nil
 end

data/smoke/block2.rb

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

data/smoke/block3.rb

@@ -26,13 +26,13 @@ Bar.new.bar
 __END__
 # Classes
 class Common
-  def func : (:sym | String) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
+  def func: (:sym | String) { (Integer) -> (:sym2 | Integer) } -> (:sym2 | Integer)
 end
 
 class Foo
-  def foo : -> (:sym2 | Integer)
+  def foo: -> (:sym2 | Integer)
 end
 
 class Bar
-  def bar : -> (:sym2 | Integer)
+  def bar: -> (:sym2 | Integer)
 end

data/smoke/block4.rb

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

data/smoke/block5.rb

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

data/smoke/block6.rb

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

data/smoke/block7.rb

@@ -15,5 +15,5 @@ smoke/block7.rb:8: [error] wrong argument type Integer<1> (expected Proc)
 # Classes
 class Object
   private
-  def foo : -> untyped
+  def foo: -> untyped
 end

data/smoke/block8.rb

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

data/smoke/block9.rb

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

data/smoke/blown.rb

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

data/smoke/break1.rb

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

data/smoke/break2.rb

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

data/smoke/break3.rb

@@ -0,0 +1,13 @@
+def foo
+  begin
+  rescue
+    break 42
+  end while true
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Integer
+end

data/smoke/case.rb

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

data/smoke/case2.rb

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

data/smoke/case3.rb

@@ -0,0 +1,17 @@
+def foo
+  case
+  when *[]
+    return 1
+  when false
+    return 1.0
+  when rand < 0.5
+    return "str"
+  end
+end
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> ((Integer | String)?)
+end

data/smoke/class-hierarchy.rb

@@ -25,7 +25,7 @@ end
 __END__
 # Classes
 class Object
-  A : Integer
+  A: Integer
 end
 
 module Lib
@@ -37,18 +37,18 @@ module Lib
 end
 
 module App
-  CONST3 : Foo::Bar
+  CONST3: Foo::Bar
 
   class Foo < Lib::Base
-    CONST1 : Foo
+    CONST1: Foo
     include Lib::Mod
 
     class Bar
-      CONST2 : Bar
+      CONST2: Bar
     end
   end
 
   class Baz < Foo
-    CONST4 : Foo::Bar
+    CONST4: Foo::Bar
   end
 end

data/smoke/class-hierarchy2.rb

@@ -19,9 +19,9 @@ __END__
 class A
   class B
     class C
-      def get_a : -> A
-      def get_b : -> B
-      def get_c : -> C
+      def get_a: -> A
+      def get_b: -> B
+      def get_c: -> C
     end
   end
 end

data/smoke/class-new.rb

@@ -0,0 +1,15 @@
+Foo = Class.new
+Foo::Bar = 1
+Foo.extend(Enumerable)
+Foo.include(Enumerable)
+class Foo::Baz
+end
+Foo.send(:private, :foo)
+
+# XXX: should be supported better
+
+__END__
+# Classes
+class Object
+  Foo: Class
+end

data/smoke/class_instance_var.rb

@@ -5,5 +5,5 @@ end
 __END__
 # Classes
 class Foo
-  self.@foo : Integer
+  self.@foo: Integer
 end

data/smoke/class_method.rb

@@ -20,6 +20,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo : (Integer) -> Integer
-  def self.bar : (String) -> String
+  def self.foo: (Integer) -> Integer
+  def self.bar: (String) -> String
 end

data/smoke/class_method2.rb

@@ -16,6 +16,6 @@ Test.bar("str")
 __END__
 # Classes
 class Test
-  def self.foo : (Integer) -> Integer
-  def self.bar : (String) -> String
+  def self.foo: (Integer) -> Integer
+  def self.bar: (String) -> String
 end

data/smoke/class_method3.rb

@@ -20,10 +20,10 @@ __END__
 # Classes
 class ForWin
   private
-  def self.foo : -> nil
+  def self.foo: -> nil
 end
 
 class ForLinux
   private
-  def self.foo : -> nil
+  def self.foo: -> nil
 end

data/smoke/constant1.rb

@@ -31,16 +31,16 @@ Foo::Bar.new.get4 # Integer
 __END__
 # Classes
 class Object
-  CONST : Integer
+  CONST: Integer
 end
 
 class Foo
-  CONST : String
+  CONST: String
 
   class Bar
-    def get1 : -> String
-    def get2 : -> Integer
-    def get3 : -> Integer
-    def get4 : -> Integer
+    def get1: -> String
+    def get2: -> Integer
+    def get3: -> Integer
+    def get4: -> Integer
   end
 end