typeprof 0.15.3 → 0.20.3

data/smoke/module6.rb

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

@@ -1,29 +0,0 @@
-module Foo
-  def foo(x)
-    x
-  end
-  module_function :foo
-end
-
-class Bar
-  include Foo
-  def bar
-    foo(:y)
-  end
-end
-
-Foo.foo(:x)
-Bar.new.bar
-
-__END__
-# Classes
-module Foo
-  def foo: (:x | :y x) -> (:x | :y)
-  def self.foo: (:x | :y x) -> (:x | :y)
-end
-
-class Bar
-  include Foo
-
-  def bar: -> (:x | :y)
-end

data/smoke/module_function2.rb

@@ -1,29 +0,0 @@
-module Foo
-  module_function
-  def foo(x)
-    x
-  end
-end
-
-class Bar
-  include Foo
-  def bar
-    foo(:y)
-  end
-end
-
-Foo.foo(:x)
-Bar.new.bar
-
-__END__
-# Classes
-module Foo
-  def foo: (:x | :y x) -> (:x | :y)
-  def self.foo: (:x | :y x) -> (:x | :y)
-end
-
-class Bar
-  include Foo
-
-  def bar: -> (:x | :y)
-end

data/smoke/multiple-include.rb

@@ -1,15 +0,0 @@
-class Foo
-  include Comparable
-  include Comparable
-  include Comparable
-  def foo
-  end
-end
-
-__END__
-# Classes
-class Foo
-  include Comparable
-
-  def foo: -> nil
-end

data/smoke/multiple-superclass.rb

@@ -1,28 +0,0 @@
-class A
-end
-
-class B
-end
-
-Base = rand < 0.5 ? A : B
-
-class C < Base
-end
-
-__END__
-# Errors
-smoke/multiple-superclass.rb:9: [warning] superclass is not a class; Object is used instead
-
-# Classes
-class Object
-  Base: singleton(A) | singleton(B)
-end
-
-class A
-end
-
-class B
-end
-
-class C
-end

data/smoke/next1.rb

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

data/smoke/next2.rb

@@ -1,17 +0,0 @@
-def foo
-  yield
-end
-
-foo do
-  raise
-  "str"
-rescue
-  next 42
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: { -> Integer } -> Integer
-end

data/smoke/noname.rb

@@ -1,9 +0,0 @@
-def foo(*)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (*untyped noname_2) -> nil
-end

data/smoke/object-send1.rb

@@ -1,23 +0,0 @@
-def foo(x)
-  x
-end
-
-def bar(x)
-  x
-end
-
-def dispatch(mid)
-  send(mid, 1)
-end
-
-dispatch(:foo)
-dispatch(:bar)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer x) -> Integer
-  def bar: (Integer x) -> Integer
-  def dispatch: (:bar | :foo mid) -> Integer
-end

data/smoke/object-send2.rb

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

data/smoke/object-send3.rb

@@ -1,18 +0,0 @@
-class Foo
-  include Enumerable
-end
-
-def log
-  Foo.new.send(*:cycle)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def log: -> Enumerator[untyped]
-end
-
-class Foo
-  include Enumerable
-end

data/smoke/once.rb

@@ -1,13 +0,0 @@
-def foo
-  r = /foo#{x=1}bar/o
-  [r, x]
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [Regexp, Integer?]
-end

data/smoke/optional1.rb

@@ -1,14 +0,0 @@
-def foo(a, o1=1, o2=2, z)
-  [a, o1, o2, z]
-end
-
-foo("A", "Z")
-foo("A", "B", "Z")
-foo("A", "B", "C", "Z")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (String a, ?Integer | String o1, ?Integer | String o2, String z) -> ([String, Integer | String, Integer | String, String])
-end

data/smoke/optional2.rb

@@ -1,16 +0,0 @@
-def foo(a, o1=1, o2=2, *r, z)
-  [a, o1, o2, r, z]
-end
-
-foo("A", "Z")
-foo("A", "B", "Z")
-foo("A", "B", "C", "Z")
-foo("A", "B", "C", "D", "Z")
-foo("A", "B", "C", "D", "E", "Z")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (String a, ?Integer | String o1, ?Integer | String o2, *String r, String z) -> ([String, Integer | String, Integer | String, Array[String], String])
-end

data/smoke/optional3.rb

@@ -1,11 +0,0 @@
-def foo(n = 1)
-end
-
-foo("str")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (?Integer | String n) -> nil
-end

data/smoke/or_raise.rb

@@ -1,18 +0,0 @@
-def foo
-  if rand < 0.5
-    1
-  end
-end
-
-def bar
-  x = foo or raise("nil")
-  x.times { }
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Integer?
-  def bar: -> Integer
-end

data/smoke/parameterizedd-self.rb

@@ -1,20 +0,0 @@
-class Object
-  def foo
-    self
-  end
-end
-
-def bar(ary)
-  ary.foo
-end
-
-bar([])
-
-__END__
-# Classes
-class Object
-  def foo: -> Array[untyped]
-
-  private
-  def bar: (Array[untyped] ary) -> Array[untyped]
-end

data/smoke/parameterizedd-self2.rb

@@ -1,15 +0,0 @@
-class Object
-  def foo
-    # The receiver is considered as an empty array
-    self[0]
-  end
-end
-
-# The elements are dropped when it is passed as a receiver (to avoid state explosion)
-[0].foo
-
-__END__
-# Classes
-class Object
-  def foo: -> nil
-end

data/smoke/pathname1.rb

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

data/smoke/pathname2.rb

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

data/smoke/pattern-match1.rb

@@ -1,19 +0,0 @@
-# RUBY_VERSION >= 3.0
-# NO_SHOW_ERRORS
-
-def foo
-  case [:a, :b, :c]
-  in [a, b, :c]
-    # Due to very subtle detail of bytecode, the variables "a" and "b" could be nil
-    return a, b
-  end
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> ([:a | untyped, :b | untyped])
-end

data/smoke/pattern-match2.rb

@@ -1,16 +0,0 @@
-# RUBY_VERSION >= 3.0
-
-def foo
-  case { a: :A, b: :B, c: :C }
-  in { a:, b: bb, c: :C }
-    return a, bb
-  end
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [:A, :B]
-end

data/smoke/prepend1.rb

@@ -1,33 +0,0 @@
-module Mod
-  def foo
-    [42, super(:sym)]
-  end
-end
-
-class Foo
-  prepend Mod
-
-  def foo(sym_arg)
-    sym_arg.to_s
-  end
-
-  def bar
-    foo
-  end
-end
-
-__END__
-# Errors
-smoke/prepend1.rb:3: [error] no superclass method: Mod#foo
-
-# Classes
-module Mod
-  def foo: -> ([Integer, String | untyped])
-end
-
-class Foo
-  prepend Mod
-
-  def foo: (:sym | untyped sym_arg) -> (String | untyped)
-  def bar: -> ([Integer, String | untyped])
-end

data/smoke/prepend2.rb

@@ -1,10 +0,0 @@
-def log
-  Foo.new.foo("str")
-end
-
-__END__
-# Classes
-class Object
-  private
-  def log: -> Integer
-end

data/smoke/prepend2.rbs

@@ -1,9 +0,0 @@
-module Mod
-  def foo: (String | Integer) -> Integer
-end
-
-class Foo
-  prepend Mod
-
-  def foo: (Integer) -> (String | Integer)
-end

data/smoke/primitive_method.rb

@@ -1,19 +0,0 @@
-def foo
-  __method__
-end
-
-def log(dummy)
-end
-
-def bar
-  log(__method__)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> :foo
-  def log: (:bar | untyped dummy) -> nil
-  def bar: -> nil
-end

data/smoke/printf.rb

@@ -1,20 +0,0 @@
-class F
-  def foo
-    printf("foo", "bar")
-  end
-
-  def bar
-    a = %w(foo bar)
-    printf(*a)
-  end
-end
-
-F.new.foo
-F.new.bar
-
-__END__
-# Classes
-class F
-  def foo: -> nil
-  def bar: -> nil
-end

data/smoke/proc.rb

@@ -1,20 +0,0 @@
-def foo
-  f = -> x { x }
-  f[42]
-end
-
-def bar
-  f = -> x { "str" }
-  f[42]
-end
-
-foo
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Integer
-  def bar: -> String
-end

data/smoke/proc2.rb

@@ -1,17 +0,0 @@
-# TODO: restart is needed?
-def foo
-  a = 1
-  -> do
-    a = "str"
-  end.call
-  a
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Integer
-end

data/smoke/proc3.rb

@@ -1,15 +0,0 @@
-def foo
-  a = [1]
-  -> do
-    a[0] = "str"
-  end.call
-  a
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [Integer]
-end

data/smoke/proc4.rb

@@ -1,12 +0,0 @@
-def foo(f)
-  f.call(1)
-end
-
-foo(-> x { "str" })
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (^(Integer) -> String f) -> String
-end

data/smoke/proc5.rb

@@ -1,19 +0,0 @@
-def foo(&blk)
-  $blk = blk
-  nil
-end
-
-foo {}
-foo {|arg| }
-
-$blk.call(42)
-
-__END__
-# Global variables
-$blk: ^(?Integer) -> nil
-
-# Classes
-class Object
-  private
-  def foo: { (Integer) -> nil } -> nil
-end

data/smoke/proc6.rb

@@ -1,13 +0,0 @@
-# a test for a recursive proc that receives (or returns) itself
-def foo
-  f = -> x { x }
-  f[f]
-  f
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> ^(untyped) -> untyped
-end

data/smoke/proc7.rb

@@ -1,32 +0,0 @@
-class Foo
-  def id(&blk)
-    blk
-  end
-
-  def check(v)
-    rand < 0.5 ? v : [v]
-  end
-
-  def foo
-    check(id {}).call # cause "undefined method: [^-> nil?]#call"
-  end
-
-  def foo1
-    id { }
-  end
-end
-
-__END__
-# Errors
-smoke/proc7.rb:11: [error] undefined method: nil#call
-smoke/proc7.rb:11: [error] undefined method: [(^(unknown) -> bot | untyped)?]#call
-smoke/proc7.rb:11: [error] undefined method: nil#call
-smoke/proc7.rb:11: [error] undefined method: [(^-> nil | untyped)?]#call
-
-# Classes
-class Foo
-  def id: ?{ -> nil } -> ^-> nil?
-  def check: ((^-> nil | untyped)? v) -> (([(^-> nil | untyped)?] | ^-> nil | untyped)?)
-  def foo: -> untyped?
-  def foo1: -> ^-> nil?
-end