typeprof 0.5.3 → 0.8.0

data/smoke/array8.rb

@@ -9,5 +9,5 @@ end
 __END__
 # Classes
 class Foo
-  def self.foo : ([]) -> []
+  def self.foo : (Array[bot]) -> Array[bot]
 end

data/smoke/array9.rb

@@ -8,5 +8,6 @@ foo([:a])
 __END__
 # Classes
 class Object
+  private
   def foo : (Array[:a | :b | :c]) -> nil
 end

data/smoke/autoload.rb

@@ -0,0 +1,14 @@
+autoload(:Pathname, "pathname")
+
+def foo
+  Pathname.new("foo")
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  private
+  def foo : -> Pathname
+end

data/smoke/backtrace.rb

@@ -26,6 +26,7 @@ smoke/backtrace.rb:2: [error] undefined method: Object#unknown_method
 
 # Classes
 class Object
+  private
   def foo : -> untyped
   def bar : -> untyped
   def baz : -> untyped

data/smoke/block-ambiguous.rb

@@ -25,6 +25,7 @@ f4 {|x,| log4(x) }
 __END__
 # Classes
 class Object
+  private
   def f1 : { (:a, :b, :c) -> nil } -> nil
   def log1 : (:a) -> nil
   def f2 : { (:a, :b, :c) -> nil } -> nil

data/smoke/block-args1-rest.rb

@@ -49,6 +49,7 @@ __END__
 # Classes
 class Object
   StringArray : Array[String]
+  private
   def f1 : { (*String) -> nil } -> (^(String, ?:opt | String, String) -> nil)
   def log1 : (String, :opt | String, String) -> nil
   def f2 : { (:a, *String) -> nil } -> (^(:a, ?:opt | String, String) -> nil)

data/smoke/block-args1.rb

@@ -46,6 +46,7 @@ end
 __END__
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> ^(nil, ?:opt, nil) -> nil
   def log1 : (nil, :opt, nil) -> nil
   def f2 : { (:a) -> nil } -> ^(:a, ?:opt, nil) -> nil

data/smoke/block-args2-rest.rb

@@ -49,6 +49,7 @@ __END__
 # Classes
 class Object
   StringArray : Array[String]
+  private
   def f1 : { (*String) -> nil } -> ^(String, *String, String) -> nil
   def log1 : (String, Array[String], String) -> nil
   def f2 : { (:a, *String) -> nil } -> ^(:a, *String, String) -> nil

data/smoke/block-args2.rb

@@ -46,12 +46,13 @@ end
 __END__
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> ^(nil, *bot, nil) -> nil
-  def log1 : (nil, [], nil) -> nil
+  def log1 : (nil, Array[bot], nil) -> nil
   def f2 : { (:a) -> nil } -> ^(:a, *bot, nil) -> nil
-  def log2 : (:a, [], nil) -> nil
+  def log2 : (:a, Array[bot], nil) -> nil
   def f3 : { (:a, :b) -> nil } -> ^(:a, *bot, :b) -> nil
-  def log3 : (:a, [], :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)

data/smoke/block-args3-rest.rb

@@ -58,6 +58,7 @@ __END__
 # Classes
 class Object
   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)

data/smoke/block-args3.rb

@@ -55,14 +55,15 @@ end
 __END__
 # Classes
 class Object
+  private
   def f1 : { -> nil } -> ^(nil, ?:opt, *bot, nil) -> nil
-  def log1 : (nil, :opt, [], nil) -> nil
+  def log1 : (nil, :opt, Array[bot], nil) -> nil
   def f2 : { (:a) -> nil } -> ^(:a, ?:opt, *bot, nil) -> nil
-  def log2 : (:a, :opt, [], nil) -> nil
+  def log2 : (:a, :opt, Array[bot], nil) -> nil
   def f3 : { (:a, :b) -> nil } -> ^(:a, ?:opt, *bot, :b) -> nil
-  def log3 : (:a, :opt, [], :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, [], :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)

data/smoke/block-blockarg.rb

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

data/smoke/block-kwarg.rb

@@ -39,6 +39,7 @@ 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

data/smoke/block1.rb

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

data/smoke/block10.rb

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

data/smoke/block11.rb

@@ -31,6 +31,7 @@ bar
 __END__
 # Classes
 class Object
+  private
   def log1 : (Integer?) -> nil
   def log2 : (Integer?) -> nil
   def foo : -> Integer?

data/smoke/block12.rb

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

data/smoke/block14.rb

@@ -13,5 +13,6 @@ $blk : ^(Integer) -> nil
 
 # Classes
 class Object
+  private
   def foo : { (Integer) -> nil } -> nil
 end

data/smoke/block2.rb

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

data/smoke/block4.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/block5.rb

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

data/smoke/block6.rb

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

data/smoke/block7.rb

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

data/smoke/block8.rb

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

data/smoke/block9.rb

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

data/smoke/blown.rb

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

data/smoke/break1.rb

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

data/smoke/break2.rb

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

data/smoke/case.rb

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

data/smoke/case2.rb

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

data/smoke/class_method3.rb

@@ -19,9 +19,11 @@ v.foo
 __END__
 # Classes
 class ForWin
+  private
   def self.foo : -> nil
 end
 
 class ForLinux
+  private
   def self.foo : -> nil
 end

data/smoke/constant2.rb

@@ -24,12 +24,12 @@ smoke/constant2.rb:15: [warning] already initialized constant Object::BAR
 
 # Classes
 class Object
-  C : String
   BAR : String
+  private
   def foo : (Integer | untyped) -> nil
   def log : (String) -> nil
 end
 
-class C(dummy)
+class C
   def foo : -> nil
 end

data/smoke/constant3.rb

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

data/smoke/constant4.rb

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

data/smoke/context-sensitive1.rb

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

data/smoke/cvar.rb

@@ -18,6 +18,7 @@ A.new.foo
 __END__
 # Classes
 class Object
+  private
   def log1 : (Integer) -> nil
   def log2 : (Integer) -> nil
 end

data/smoke/define_method.rb

@@ -0,0 +1,16 @@
+class Foo
+  def bar(n)
+    :BAR
+  end
+
+  define_method(:foo) do |n|
+    bar(:FOO)
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def bar : (:FOO | untyped) -> :BAR
+  def foo : (untyped) -> :BAR
+end

data/smoke/define_method2.rb

@@ -0,0 +1,18 @@
+class C
+  x = :x
+  define_method(:foo) do
+    x
+  end
+  define_method(:bar) do
+    x
+  end
+end
+
+C.new.foo
+
+__END__
+# Classes
+class C
+  def foo : -> :x
+  def bar : -> :x
+end

data/smoke/demo.rb

@@ -65,6 +65,7 @@ B.new.foo("str")
 __END__
 # Classes
 class Object
+  private
   def foo : (bool) -> (Integer | String)
   def identity : (:sym | Integer | String) -> (:sym | Integer | String)
   def fib : (Integer) -> Integer

data/smoke/demo1.rb

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

data/smoke/demo10.rb

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

data/smoke/demo11.rb

@@ -7,5 +7,6 @@ swap(a)
 __END__
 # Classes
 class Object
+  private
   def swap : ([Integer, String]) -> [String, Integer]
 end

data/smoke/demo2.rb

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

data/smoke/demo3.rb

@@ -12,5 +12,6 @@ fib(40000)
 __END__
 # Classes
 class Object
+  private
   def fib : (Integer) -> Integer
 end

data/smoke/demo5.rb

@@ -9,7 +9,7 @@ B.foo(Integer)
 __END__
 # Classes
 class A
-  def self.foo : (Integer | Integer.class) -> String
+  def self.foo : (Integer | singleton(Integer)) -> String
 end
 
 class B < A

data/smoke/demo7.rb

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