typeprof 0.15.3 → 0.20.3

data/smoke/rescue2.rb

@@ -1,23 +0,0 @@
-def foo(x)
-  42
-end
-
-def bar
-  begin
-    x = 1
-    x = "str"
-    x = :sym
-  rescue
-  end
-  foo(x)
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: ((:sym | Integer | String)? x) -> Integer
-  def bar: -> Integer
-end

data/smoke/rescue3.rb

@@ -1,20 +0,0 @@
-Ary = [1, "str"]
-
-def foo
-  Ary[
-    begin
-      0
-    rescue
-      1
-    end
-  ]
-end
-
-__END__
-# Classes
-class Object
-  Ary: [Integer, String]
-
-  private
-  def foo: -> (Integer | String)
-end

data/smoke/rescue4.rb

@@ -1,17 +0,0 @@
-def log(n)
-end
-
-log(
-  begin
-    1
-  rescue
-    "str"
-  end
-)
-
-__END__
-# Classes
-class Object
-  private
-  def log: (Integer | String n) -> nil
-end

data/smoke/respond_to.rb

@@ -1,23 +0,0 @@
-def foo(n)
-  if n.respond_to?(:times)
-    n.times {|_| n = :sym }
-  elsif n.respond_to?(:+)
-    n + "foo"
-  else
-    n & false
-  end
-end
-
-
-foo(1)
-foo("str")
-foo(true)
-
-# no error expected
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer | String | true n) -> (Integer | String | bool)
-end

data/smoke/rest-farg.rb

@@ -1,11 +0,0 @@
-def foo
-  a = ["", ""]
-  "".start_with?("", *a)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> bool
-end

data/smoke/rest1.rb

@@ -1,26 +0,0 @@
-def foo(a, *r, z)
-  r
-end
-
-foo(1, 2, "S", 3)
-foo(1, 2, 3)
-foo("a", "b", "c")
-foo(:a, :z)
-
-def bar(a, o=1, *r, z)
-  r
-end
-
-bar("A", "Z")
-bar("A", "B", "Z")
-bar("A", "B", "C", "Z")
-bar("A", "B", "C", "D", "Z")
-bar("A", "B", "C", "D", "E", "Z")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (:a | Integer | String a, *Integer | String r, :z | Integer | String z) -> (Array[Integer | String])
-  def bar: (String a, ?Integer | String o, *String r, String z) -> Array[String]
-end

data/smoke/rest2.rb

@@ -1,31 +0,0 @@
-def foo(a, b, c)
-  [a, b, c]
-end
-
-a = [1, "S", :s]
-foo(*a)
-
-#def bar(a, b, c)
-#  [a, b,  d]
-#end
-#def baz(a, b, c)
-#  [a, b,  d]
-#end
-#def qux(a, b, c)
-#  [a, b,  d]
-#end
-#a = ["S", :s]
-#bar(1, *a)
-
-#a = ["S"] + [:s]
-#baz(1, *a)
-
-#a = [1, "S"]
-#qux(*a, :s)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer a, String b, :s c) -> [Integer, String, :s]
-end

data/smoke/rest3.rb

@@ -1,37 +0,0 @@
-string_array = ["str"] + ["str"]
-
-def foo(*r)
-end
-foo(*string_array)
-
-def bar(*r)
-end
-bar(1, *string_array)
-
-def baz(x, *r)
-end
-baz(*string_array)
-
-def qux(x, *r)
-end
-qux(1, *string_array)
-
-def corge(*r, z)
-end
-corge(1, *string_array)
-
-def grault(a, o=1, *r, z)
-end
-grault(*string_array)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (*String r) -> nil
-  def bar: (*Integer | String r) -> nil
-  def baz: (String x, *String r) -> nil
-  def qux: (Integer x, *String r) -> nil
-  def corge: (*Integer | String r, Integer | String z) -> nil
-  def grault: (String a, ?Integer | String o, *String r, String z) -> nil
-end

data/smoke/rest4.rb

@@ -1,19 +0,0 @@
-def foo(*a)
-end
-
-a = ["str"] + ["str"]
-foo(1, *a, :s)
-
-def bar(x, y, z)
-end
-
-a = ["str"] + ["str"]
-bar(1, *a, :s)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (*:s | Integer | String a) -> nil
-  def bar: (Integer x, :s | String y, :s | String z) -> nil
-end

data/smoke/rest5.rb

@@ -1,11 +0,0 @@
-def foo(*args)
-  args
-end
-
-foo(42)
-__END__
-# Classes
-class Object
-  private
-  def foo: (*Integer args) -> [Integer]
-end

data/smoke/rest6.rb

@@ -1,12 +0,0 @@
-def foo(o1=1, *r)
-  [r]
-end
-
-foo()
-foo("x", "x")
-__END__
-# Classes
-class Object
-  private
-  def foo: (?Integer | String o1, *String r) -> [Array[String]]
-end

data/smoke/retry1.rb

@@ -1,21 +0,0 @@
-def bar(x)
-  x
-end
-
-def foo(x)
-  bar(x)
-rescue
-  x = "str"
-  retry
-  42
-end
-
-foo(42)
-
-__END__
-# Classes
-class Object
-  private
-  def bar: (Integer | String x) -> (Integer | String)
-  def foo: (Integer | String x) -> (Integer | String)
-end

data/smoke/return.rb

@@ -1,14 +0,0 @@
-def foo
-  loop do
-    return 42
-  end
-  nil
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Integer
-end

data/smoke/reveal.rb

@@ -1,13 +0,0 @@
-p(1)
-p("str")
-p(:sym)
-p([1, "str", :sym])
-
-__END__
-# Revealed types
-#  smoke/reveal.rb:1 #=> Integer
-#  smoke/reveal.rb:2 #=> String
-#  smoke/reveal.rb:3 #=> :sym
-#  smoke/reveal.rb:4 #=> [Integer, String, :sym]
-
-# Classes

data/smoke/simple.rb

@@ -1,12 +0,0 @@
-def foo(n)
-  n.to_s
-end
-
-foo(42)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer n) -> String
-end

data/smoke/singleton_class.rb

@@ -1,8 +0,0 @@
-class << Object.new
-end
-
-__END__
-# Errors
-smoke/singleton_class.rb:1: [warning] A singleton class is open for Object; handled as any
-
-# Classes

data/smoke/singleton_method.rb

@@ -1,12 +0,0 @@
-V = Object.new
-def V.foo
-  # Currently, this call is ignored because the recv of the call is any
-  # We may allow a call whose recv is any to invoke Kernel's methods
-  p(1)
-end
-
-__END__
-# Classes
-class Object
-  V: Object
-end

data/smoke/step.rb

@@ -1,18 +0,0 @@
-def log1(x)
-end
-def log2(x)
-end
-def log3(x)
-end
-
-log2(1.step(5) {|n| log1(n) })
-log3(1.step(5))
-
-__END__
-# Classes
-class Object
-  private
-  def log1: (Integer | Numeric x) -> nil
-  def log2: (void x) -> nil
-  def log3: (Enumerator[Integer | Numeric] x) -> nil
-end

data/smoke/string-split.rb

@@ -1,12 +0,0 @@
-def foo
-  "".split("").map {|n| n.to_i }
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Array[Integer]
-end

data/smoke/struct-keyword_init.rb

@@ -1,10 +0,0 @@
-Foo = Struct.new(:a, :b, :c, keyword_init: true)
-Foo[a: 1, b: "str", c: 1.0]
-
-__END__
-# Classes
-class Foo < Struct[untyped]
-  attr_accessor a(): Integer
-  attr_accessor b(): String
-  attr_accessor c(): Float
-end

data/smoke/struct.rb

@@ -1,13 +0,0 @@
-# tentative: Currently, the hidden instance variable belongs to Foo, not Anonymous Struct.
-# Thus, it outputs "untyped"
-class Foo < Struct.new(:a)
-end
-Foo.new.a = 1
-__END__
-# Classes
-class AnonymousStruct_generated_1 < Struct[untyped]
-  attr_accessor a(): untyped
-end
-
-class Foo < AnonymousStruct_generated_1
-end

data/smoke/struct2.rb

@@ -1,25 +0,0 @@
-FooBar = Struct.new(:foo, :bar)
-class FooBar
-  def my_foo
-    foo
-  end
-end
-def gen_foobar
-  FooBar.new(1)
-end
-foobar = gen_foobar
-foobar.foo = "str"
-foobar.bar = :sym
-
-__END__
-# Classes
-class Object
-  private
-  def gen_foobar: -> FooBar
-end
-
-class FooBar < Struct[untyped]
-  attr_accessor foo(): Integer | String
-  attr_accessor bar(): :sym?
-  def my_foo: -> (Integer | String)
-end

data/smoke/struct3.rb

@@ -1,14 +0,0 @@
-class App
-  FooBar = Struct.new(:foo, :bar)
-end
-
-App::FooBar.new(1, "str")
-
-__END__
-# Classes
-class App
-  class FooBar < Struct[untyped]
-    attr_accessor foo(): Integer
-    attr_accessor bar(): String
-  end
-end

data/smoke/struct4.rb

@@ -1,7 +0,0 @@
-UndefinedConstant::Foo = Struct.new(:foo)
-
-__END__
-# Classes
-class AnonymousStruct_generated_1 < Struct[untyped]
-  attr_accessor foo(): untyped
-end

data/smoke/struct5.rb

@@ -1,16 +0,0 @@
-Foo = Struct.new(:foo)
-
-class Foo
-  def initialize(foo)
-    super(foo.to_s)
-  end
-end
-
-Foo.new(42)
-
-__END__
-# Classes
-class Foo < Struct[untyped]
-  attr_accessor foo(): String
-  def initialize: (Integer foo) -> void
-end

data/smoke/struct6.rb

@@ -1,15 +0,0 @@
-class Foo < Struct.new(:foo)
-  def initialize(foo)
-    super(foo.to_s)
-  end
-end
-
-__END__
-# Classes
-class AnonymousStruct_generated_1 < Struct[untyped]
-  attr_accessor foo(): untyped
-end
-
-class Foo < AnonymousStruct_generated_1
-  def initialize: (untyped foo) -> void
-end

data/smoke/struct7.rb

@@ -1,17 +0,0 @@
-# I'm unsure how this is useful
-# This test just checks if TypeProf raises no exception
-
-class Foo < Struct
-end
-
-class Foo
-  def initialize
-    super
-  end
-end
-
-__END__
-# Classes
-class Foo < Struct[untyped]
-  def initialize: -> void
-end

data/smoke/stub-keyword.rb

@@ -1,10 +0,0 @@
-def foo(age: nil)
-end
-
-foo(age: 1)
-__END__
-# Classes
-class Object
-  private
-  def foo: (?age: Integer?) -> nil
-end

data/smoke/super1.rb

@@ -1,69 +0,0 @@
-def log(x)
-end
-
-class A; end
-class B; end
-class C; end
-class X; end
-class Y; end
-class Z; end
-
-class Foo
-  def f(x)
-    log(self)
-    X.new
-  end
-end
-
-class Bar < Foo
-  def f(x)
-    super(C.new)
-    Y.new
-  end
-end
-
-class Baz < Bar
-  def f(x)
-    super(B.new)
-    Z.new
-  end
-end
-
-Baz.new.f(A.new)
-
-__END__
-# Classes
-class Object
-  private
-  def log: (Baz x) -> nil
-end
-
-class A
-end
-
-class B
-end
-
-class C
-end
-
-class X
-end
-
-class Y
-end
-
-class Z
-end
-
-class Foo
-  def f: (C x) -> X
-end
-
-class Bar < Foo
-  def f: (B x) -> Y
-end
-
-class Baz < Bar
-  def f: (A x) -> Z
-end

data/smoke/super2.rb

@@ -1,16 +0,0 @@
-class Foo
-  def f
-    super
-  end
-end
-
-Foo.new.f
-
-__END__
-# Errors
-smoke/super2.rb:3: [error] no superclass method: Foo#f
-
-# Classes
-class Foo
-  def f: -> untyped
-end

data/smoke/super3.rb

@@ -1,20 +0,0 @@
-class Foo
-  def self.new(a)
-    super(a)
-  end
-
-  def initialize(a)
-    @a = a
-  end
-end
-
-Foo.new(1)
-
-__END__
-# Classes
-class Foo
-  @a: Integer
-
-  def self.new: (Integer a) -> Foo
-  def initialize: (Integer a) -> void
-end

data/smoke/super4.rb

@@ -1,45 +0,0 @@
-module M1
-  def f(m); super :M1; end
-end
-module M2
-  def f(m); super :M2; end
-end
-class C
-  def f(m); end
-end
-class D < C
-  def f(m); super :D; end
-  include M1
-end
-class E < D
-  def f(m); super :E; end
-  include M2
-end
-
-E.new.f(:top)
-
-__END__
-# Classes
-module M1
-  def f: (:D m) -> nil
-end
-
-module M2
-  def f: (:E m) -> nil
-end
-
-class C
-  def f: (:M1 m) -> nil
-end
-
-class D < C
-  include M1
-
-  def f: (:M2 m) -> nil
-end
-
-class E < D
-  include M2
-
-  def f: (:top m) -> nil
-end

data/smoke/super5.rb

@@ -1,38 +0,0 @@
-module M
-  def f(m); super :M; end
-end
-class C
-  def f(m); end
-end
-class D < C
-  def f(m); super :D; end
-  include M
-end
-class E < D
-  def f(m); super :E; end
-  include M
-end
-
-E.new.f(:top)
-
-__END__
-# Classes
-module M
-  def f: (:D | :E m) -> nil
-end
-
-class C
-  def f: (:M m) -> nil
-end
-
-class D < C
-  include M
-
-  def f: (:M m) -> nil
-end
-
-class E < D
-  include M
-
-  def f: (:top m) -> nil
-end