typeprof 0.15.2 → 0.20.2

data/smoke/block5.rb

@@ -1,21 +0,0 @@
-F = -> x { "str" }
-
-def foo(&blk)
-  blk.call(:sym, &F)
-end
-
-foo do |dummy, &blk|
-  blk.call(42)
-end
-
-# truly expected:
-# Object#foo :: (&Proc[(Symbol, &Proc[(Integer) -> String]) -> String]) -> String
-
-__END__
-# Classes
-class Object
-  F: ^(Integer) -> String
-
-  private
-  def foo: { (:sym) -> String } -> String
-end

data/smoke/block6.rb

@@ -1,21 +0,0 @@
-def bar
-  yield
-end
-
-def foo
-  x = 42
-  bar do
-    x = "STR"
-  end
-  x
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def bar: { -> String } -> String
-  def foo: -> (Integer | String)
-end

data/smoke/block7.rb

@@ -1,19 +0,0 @@
-def foo
-  yield
-end
-
-any = undefined_method
-foo(&any)
-
-foo(&1)
-
-__END__
-# Errors
-smoke/block7.rb:5: [error] undefined method: Object#undefined_method
-smoke/block7.rb:8: [error] wrong argument type Integer<1> (expected Proc)
-
-# Classes
-class Object
-  private
-  def foo: -> untyped
-end

data/smoke/block8.rb

@@ -1,28 +0,0 @@
-def bar
-  baz do
-    yield
-  end
-end
-
-def baz
-  yield
-end
-
-def foo
-  a = 42
-  bar do
-    a = "str"
-  end
-  a
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def bar: { -> String } -> String
-  def baz: { -> String } -> String
-  def foo: -> (Integer | String)
-end

data/smoke/block9.rb

@@ -1,13 +0,0 @@
-def foo(&b)
-  b = 1
-  b
-end
-
-foo { }
-
-__END__
-# Classes
-class Object
-  private
-  def foo: { -> nil } -> Integer
-end

data/smoke/block_given.rb

@@ -1,37 +0,0 @@
-def foo
-  block_given?
-end
-
-foo {}
-
-def bar
-  block_given?
-end
-
-bar
-
-def baz
-  block_given?
-end
-
-baz {}
-baz
-
-def qux
-  block_given?
-end
-
-qux(&unknown)
-
-__END__
-# Errors
-smoke/block_given.rb:24: [error] undefined method: Object#unknown
-
-# Classes
-class Object
-  private
-  def foo: { -> nil } -> true
-  def bar: -> false
-  def baz: ?{ -> nil } -> bool
-  def qux: -> bool
-end

data/smoke/blown.rb

@@ -1,13 +0,0 @@
-def foo(&blk)
-  [blk]
-end
-
-foo { }
-foo { }
-
-__END__
-# Classes
-class Object
-  private
-  def foo: { -> nil } -> [^-> nil]
-end

data/smoke/break1.rb

@@ -1,19 +0,0 @@
-def foo
-  yield 42
-end
-
-def bar
-  foo do |n|
-    break n.to_s
-  end
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: { (Integer) -> bot } -> bot
-  def bar: -> String
-end

data/smoke/break2.rb

@@ -1,16 +0,0 @@
-def foo
-  1.times do |n|
-    raise
-  rescue
-    break "str"
-  end
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> String
-end

data/smoke/break3.rb

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

data/smoke/break4.rb

@@ -1,17 +0,0 @@
-# The following "break" is compiled as "throw" instruction since https://github.com/ruby/ruby/commit/34bc8210ed1624dc6ba24afef4616baa5a934df9
-def foo
-  begin
-    while true
-      break 1
-    end
-  rescue
-    "foo"
-  end
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> (Integer | String)
-end

data/smoke/case.rb

@@ -1,17 +0,0 @@
-def foo
-  case "foo"
-  when "foo"
-    1
-  when "bar", "baz"
-    :sym
-  end
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> ((:sym | Integer)?)
-end

data/smoke/case2.rb

@@ -1,18 +0,0 @@
-def foo
-  ary = ["bar", "baz"]
-  case "foo"
-  when "foo"
-    1
-  when *ary
-    :sym
-  end
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> ((:sym | Integer)?)
-end

data/smoke/case3.rb

@@ -1,17 +0,0 @@
-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

@@ -1,54 +0,0 @@
-A = 1
-
-module Lib
-  module Mod
-  end
-  class Base
-  end
-end
-
-module App
-  class Foo < Lib::Base
-    include Lib::Mod
-    CONST1 = Foo.new
-    class Bar
-      CONST2 = Bar.new
-    end
-  end
-
-  CONST3 = Foo::Bar.new
-  class Baz < App::Foo
-    CONST4 = Foo::Bar.new
-  end
-end
-
-__END__
-# Classes
-class Object
-  A: Integer
-end
-
-module Lib
-  module Mod
-  end
-
-  class Base
-  end
-end
-
-module App
-  CONST3: Foo::Bar
-
-  class Foo < Lib::Base
-    CONST1: Foo
-    include Lib::Mod
-
-    class Bar
-      CONST2: Bar
-    end
-  end
-
-  class Baz < Foo
-    CONST4: Foo::Bar
-  end
-end

data/smoke/class-hierarchy2.rb

@@ -1,27 +0,0 @@
-class A
-  class B
-    class C
-      def get_a
-        A.new
-      end
-      def get_b
-        B.new
-      end
-      def get_c
-        C.new
-      end
-    end
-  end
-end
-
-__END__
-# Classes
-class A
-  class B
-    class C
-      def get_a: -> A
-      def get_b: -> B
-      def get_c: -> C
-    end
-  end
-end

data/smoke/class-new.rb

@@ -1,15 +0,0 @@
-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.rb

@@ -1,7 +0,0 @@
-class Foo
-  x = 1
-end
-__END__
-# Classes
-class Foo
-end

data/smoke/class_eval.rb

@@ -1,22 +0,0 @@
-module Foo
-end
-
-module Bar
-  Foo.class_eval do
-    @foo = self
-    def foo
-      "str"
-    end
-  end
-end
-
-__END__
-# Classes
-module Foo
-  self.@foo: singleton(Foo)
-
-  def self.foo: -> String
-end
-
-module Bar
-end

data/smoke/class_instance_var.rb

@@ -1,9 +0,0 @@
-class Foo
-  @foo = 1
-end
-
-__END__
-# Classes
-class Foo
-  self.@foo: Integer
-end

data/smoke/class_method.rb

@@ -1,25 +0,0 @@
-class Test
-  def self.foo(x)
-    x
-  end
-
-  def Test.bar(x)
-    x
-  end
-
-  #class << self
-  #  alias baz bar
-  #end
-end
-
-Test.foo(1)
-Test.bar("str")
-#Test.baz(:sym)
-# Test#foo: (Integer) -> Integer
-
-__END__
-# Classes
-class Test
-  def self.foo: (Integer x) -> Integer
-  def self.bar: (String x) -> String
-end

data/smoke/class_method2.rb

@@ -1,21 +0,0 @@
-class Test
-  class << self
-    def foo(x)
-      x
-    end
-
-    alias bar foo
-  end
-end
-
-Test.foo(1)
-Test.bar("str")
-#Test.baz(:sym)
-# Test#foo: (Integer) -> Integer
-
-__END__
-# Classes
-class Test
-  def self.foo: (Integer | String x) -> (Integer | String)
-  alias self.bar self.foo
-end

data/smoke/class_method3.rb

@@ -1,29 +0,0 @@
-class ForWin
-end
-class ForLinux
-end
-
-v = RUBY_PLATFORM =~ /windows/ ? ForWin : ForLinux
-
-def v.foo
-end
-
-if RUBY_PLATFORM =~ /windows/
-  v = ForWin
-else
-  v = ForLinux
-end
-
-v.foo
-
-__END__
-# Classes
-class ForWin
-  private
-  def self.foo: -> nil
-end
-
-class ForLinux
-  private
-  def self.foo: -> nil
-end

data/smoke/constant1.rb

@@ -1,46 +0,0 @@
-CONST = 1
-
-class Foo
-  CONST = "str"
-  class Bar
-    def get1
-      CONST
-    end
-
-    def get2
-      ::CONST
-    end
-
-    def get3
-      Object::CONST
-    end
-  end
-end
-
-class Foo::Bar
-  def get4
-    CONST
-  end
-end
-
-Foo::Bar.new.get1 # String
-Foo::Bar.new.get2 # Integer
-Foo::Bar.new.get3 # Integer
-Foo::Bar.new.get4 # Integer
-
-__END__
-# Classes
-class Object
-  CONST: Integer
-end
-
-class Foo
-  CONST: String
-
-  class Bar
-    def get1: -> String
-    def get2: -> Integer
-    def get3: -> Integer
-    def get4: -> Integer
-  end
-end

data/smoke/constant2.rb

@@ -1,36 +0,0 @@
-def foo(x)
-end
-
-foo(UNDEFINED_CONSTANT)
-foo(1)
-
-C = "dummy"
-class C
-  def foo
-  end
-  self.new.foo
-end
-
-BAR = 1
-BAR = "str"
-def log(x)
-end
-log(BAR)
-
-__END__
-# Errors
-smoke/constant2.rb:8: [error] the class "C" is String
-smoke/constant2.rb:15: [warning] already initialized constant Object::BAR
-
-# Classes
-class Object
-  BAR: String
-
-  private
-  def foo: (Integer | untyped x) -> nil
-  def log: (String x) -> nil
-end
-
-class C
-  def foo: -> nil
-end

data/smoke/constant3.rb

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

data/smoke/constant4.rb

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

data/smoke/context-sensitive1.rb

@@ -1,13 +0,0 @@
-def foo(x)
-  x
-end
-
-x = nil
-foo(x || 1)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer x) -> Integer
-end

data/smoke/cvar.rb

@@ -1,31 +0,0 @@
-def log1(x)
-end
-
-def log2(x)
-end
-
-class A
-  FOO=1
-  @@var = 1
-  log1(@@var)
-  def foo
-    log2(@@var)
-  end
-end
-
-A.new.foo
-
-__END__
-# Classes
-class Object
-  private
-  def log1: (Integer x) -> nil
-  def log2: (Integer x) -> nil
-end
-
-class A
-  FOO: Integer
-  @@var: Integer
-
-  def foo: -> nil
-end

data/smoke/cvar2.rb

@@ -1,17 +0,0 @@
-class A
-  @@var = :a
-end
-
-class B < A
-  @@var = :b
-end
-
-__END__
-# Classes
-class A
-  @@var: :a
-end
-
-class B < A
-  @@var: :b
-end

data/smoke/define_method.rb

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