typeprof 0.15.3 → 0.20.3

data/smoke/flow10.rb

@@ -1,17 +0,0 @@
-def foo
-  if block_given?
-    yield 42
-  else
-    1.0
-  end
-end
-
-foo
-foo {|n| n.to_s }
-
-__END__
-# Classes
-class Object
-  private
-  def foo: ?{ (Integer) -> String } -> (Float | String)
-end

data/smoke/flow11.rb

@@ -1,17 +0,0 @@
-def foo(arg)
-  if Integer === arg
-    arg
-  else
-    42
-  end
-end
-
-foo("str")
-foo(1)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer | String arg) -> Integer
-end

data/smoke/flow2.rb

@@ -1,15 +0,0 @@
-def foo(x)
-  x.is_a?(Integer) ? x : x
-  1
-end
-foo(unknown)
-
-__END__
-# Errors
-smoke/flow2.rb:5: [error] undefined method: Object#unknown
-
-# Classes
-class Object
-  private
-  def foo: (untyped x) -> Integer
-end

data/smoke/flow3.rb

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

data/smoke/flow4.rb

@@ -1,5 +0,0 @@
-while begin l = r = true; l or r end
-end
-
-__END__
-# Classes

data/smoke/flow5.rb

@@ -1,20 +0,0 @@
-def foo(x)
-  case x
-  when Integer
-    x
-  when String
-    x.to_i
-  else
-    raise
-  end
-end
-
-foo(1)
-foo("1")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer | String x) -> Integer
-end

data/smoke/flow6.rb

@@ -1,20 +0,0 @@
-def foo(x)
-  "s" + case x
-  when Integer
-    x.to_s
-  when String
-    x
-  else
-    raise
-  end
-end
-
-foo(1)
-foo("1")
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (Integer | String x) -> String
-end

data/smoke/flow7.rb

@@ -1,21 +0,0 @@
-def foo(n)
-  case n
-  when Integer
-    n + 1
-  when String
-    n + "STR"
-  else
-    n
-  end
-end
-
-foo(42)
-foo("str")
-foo(:sym)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (:sym | Integer | String n) -> (:sym | Integer | String)
-end

data/smoke/flow8.rb

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

data/smoke/flow9.rb

@@ -1,12 +0,0 @@
-def foo(obj)
-  if obj ? true : obj.foo(1)
-    "foo"
-  end
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: (untyped obj) -> String?
-end

data/smoke/for.rb

@@ -1,9 +0,0 @@
-for x in [[1, 2]]
-  p x
-end
-
-__END__
-# Revealed types
-#  smoke/for.rb:2 #=> [Integer, Integer]?
-
-# Classes

data/smoke/freeze.rb

@@ -1,12 +0,0 @@
-def foo
-  [1].freeze
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [Integer]
-end

data/smoke/function.rb

@@ -1,17 +0,0 @@
-def no_argument
-  "str"
-end
-
-def one_argument(x)
-end
-
-no_argument
-one_argument(1)
-
-__END__
-# Classes
-class Object
-  private
-  def no_argument: -> String
-  def one_argument: (Integer x) -> nil
-end

data/smoke/gvar.rb

@@ -1,14 +0,0 @@
-$foo = 1
-$foo = "str"
-def log(x); end
-log($foo)
-
-__END__
-# Global variables
-$foo: Integer | String
-
-# Classes
-class Object
-  private
-  def log: (Integer | String x) -> nil
-end

data/smoke/gvar2.rb

@@ -1,15 +0,0 @@
-$foo = 1
-
-def log
-  $foo
-end
-
-__END__
-# Errors
-smoke/gvar2.rb:1: [warning] inconsistent assignment to RBS-declared variable
-
-# Classes
-class Object
-  private
-  def log: -> String
-end

data/smoke/gvar2.rbs

@@ -1 +0,0 @@
-$foo : String

data/smoke/hash-bot.rb

@@ -1,12 +0,0 @@
-def foo
-  h = {}
-  h[1] ||= []
-  h
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Hash[Integer, Array[untyped]]
-end

data/smoke/hash-fetch.rb

@@ -1,28 +0,0 @@
-h = { a: :A, b: :B }
-
-def foo(h)
-  h.fetch(:a)     #=> :A | :B
-end
-def bar(h)
-  h.fetch(:a, :C) #=> :A | :B | :C
-end
-def baz(h)
-  n = nil
-  [h.fetch(:a) do |k| #=> :A | :B | :C
-    n = k #=> :A | :B
-    :C
-  end, n]
-end
-
-foo(h)
-bar(h)
-baz(h)
-
-__END__
-# Classes
-class Object
-  private
-  def foo: ({a: :A, b: :B} h) -> (:A | :B)
-  def bar: ({a: :A, b: :B} h) -> (:A | :B | :C)
-  def baz: ({a: :A, b: :B} h) -> ([:A | :B | :C, (:a | :b)?])
-end

data/smoke/hash-merge-bang.rb

@@ -1,12 +0,0 @@
-def foo
-  h = { a: 42 }
-  h0 = h.merge!({ b: "str" })
-  return h0, h
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> [{a: Integer}, {a: Integer, b: String}]
-end

data/smoke/hash1.rb

@@ -1,20 +0,0 @@
-def foo
-  { int: 1, str: "str" }
-end
-
-foo
-
-def bar
-  # This returns {Integer=>Integer | String, String=>String} but RBS cannot express it
-  { 1 => 1, 2 => "str", "s" => "s" }
-end
-
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> {int: Integer, str: String}
-  def bar: -> (Hash[Integer | String, Integer | String])
-end

data/smoke/hash2.rb

@@ -1,13 +0,0 @@
-def foo
-  h = { int: 1, str: "str" }
-  h[:int]
-end
-
-foo
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Integer
-end

data/smoke/hash3.rb

@@ -1,14 +0,0 @@
-def foo
-  h = {}
-  h[:int] = 1
-  h[:str] = "str"
-  h
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> {int: Integer, str: String}
-end

data/smoke/hash4.rb

@@ -1,11 +0,0 @@
-def foo
-  Hash.new { |h, k| h[k] = [] }
-end
-
-foo
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Hash[untyped, untyped]
-end

data/smoke/hash5.rb

@@ -1,14 +0,0 @@
-class Foo
-  def foo
-    h = {}
-    key = ["str"]
-    h[key] = 1
-    h[key]
-  end
-end
-Foo.new.foo
-__END__
-# Classes
-class Foo
-  def foo: -> Integer
-end

data/smoke/huge_union.rb

@@ -1,86 +0,0 @@
-class C0; end
-class C1 < C0; def foo(n); end; end
-class C2 < C0; def foo(n); end; end
-class C3 < C0; def foo(n); end; end
-class C4 < C0; def foo(n); end; end
-class C5 < C0; def foo(n); end; end
-class C6 < C0; def foo(n); end; end
-class C7 < C0; def foo(n); end; end
-class C8 < C0; def foo(n); end; end
-class C9 < C0; def foo(n); end; end
-class C10 < C0; def foo(n); end; end
-class C11 < C0; def foo(n); end; end
-class C12 < C0; def foo(n); end; end
-
-def dispatch_foo(n)
-  n.foo("str")
-end
-
-dispatch_foo(C1.new)
-dispatch_foo(C2.new)
-dispatch_foo(C3.new)
-dispatch_foo(C4.new)
-dispatch_foo(C5.new)
-dispatch_foo(C6.new)
-dispatch_foo(C7.new)
-dispatch_foo(C8.new)
-dispatch_foo(C9.new)
-dispatch_foo(C10.new)
-
-__END__
-# Classes
-class Object
-  private
-  def dispatch_foo: (C0 n) -> nil
-end
-
-class C0
-end
-
-class C1 < C0
-  def foo: (String n) -> nil
-end
-
-class C2 < C0
-  def foo: (String n) -> nil
-end
-
-class C3 < C0
-  def foo: (String n) -> nil
-end
-
-class C4 < C0
-  def foo: (String n) -> nil
-end
-
-class C5 < C0
-  def foo: (String n) -> nil
-end
-
-class C6 < C0
-  def foo: (String n) -> nil
-end
-
-class C7 < C0
-  def foo: (String n) -> nil
-end
-
-class C8 < C0
-  def foo: (String n) -> nil
-end
-
-class C9 < C0
-  def foo: (String n) -> nil
-end
-
-class C10 < C0
-  def foo: (String n) -> nil
-end
-
-class C11 < C0
-  def foo: (String n) -> nil
-end
-
-class C12 < C0
-  def foo: (String n) -> nil
-end

data/smoke/identifier_keywords.rb

@@ -1,17 +0,0 @@
-def type(type)
-end
-
-def out(*out)
-end
-
-def untyped(untyped:)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def type: (untyped `type`) -> nil
-  def out: (*untyped `out`) -> nil
-  def untyped: (untyped: untyped) -> nil
-end

data/smoke/included.rb

@@ -1,38 +0,0 @@
-module Foo
-  @included = []
-  def self.included(klass)
-    @included << klass
-  end
-end
-
-class C
-  include Foo
-end
-
-class D
-  include Foo
-end
-
-class E
-  include Foo
-end
-
-__END__
-# Classes
-module Foo
-  self.@included: Array[singleton(C) | singleton(D) | singleton(E)]
-
-  def self.included: (singleton(C) | singleton(D) | singleton(E) klass) -> (Array[singleton(C) | singleton(D) | singleton(E)])
-end
-
-class C
-  include Foo
-end
-
-class D
-  include Foo
-end
-
-class E
-  include Foo
-end

data/smoke/inheritance.rb

@@ -1,34 +0,0 @@
-class A
-  def foo(x)
-    bar(x)
-  end
-
-  def bar(x)
-  end
-
-  def self.test(x)
-  end
-end
-
-class B < A
-  def bar(x)
-  end
-end
-
-A.new.foo(1)
-B.new.foo("str")
-B.new.bar(nil)
-A.test(1)
-B.test("str")
-
-__END__
-# Classes
-class A
-  def foo: (Integer | String x) -> nil
-  def bar: (Integer | String x) -> nil
-  def self.test: (Integer | String x) -> nil
-end
-
-class B < A
-  def bar: ((Integer | String)? x) -> nil
-end

data/smoke/inheritance2.rb

@@ -1,35 +0,0 @@
-class SuperBase
-  def self.foo
-    self
-  end
-end
-
-class Base < SuperBase
-  def self.foo
-    super
-  end
-end
-
-class A < Base
-  foo
-end
-
-class B < Base
-  foo
-end
-
-__END__
-# Classes
-class SuperBase
-  def self.foo: -> (singleton(A) | singleton(B))
-end
-
-class Base < SuperBase
-  def self.foo: -> (singleton(A) | singleton(B))
-end
-
-class A < Base
-end
-
-class B < Base
-end

data/smoke/inherited.rb

@@ -1,26 +0,0 @@
-class Foo
-  @inherited = []
-  def self.inherited(klass)
-    @inherited << klass
-  end
-end
-
-class Bar < Foo
-end
-
-class Baz < Foo
-end
-
-__END__
-# Classes
-class Foo
-  self.@inherited: Array[singleton(Bar) | singleton(Baz)]
-
-  def self.inherited: (singleton(Bar) | singleton(Baz) klass) -> (Array[singleton(Bar) | singleton(Baz)])
-end
-
-class Bar < Foo
-end
-
-class Baz < Foo
-end

data/smoke/initialize.rb

@@ -1,28 +0,0 @@
-class A
-  def initialize(x)
-    @int = 1
-    @str = "str"
-    @val = x
-  end
-end
-
-def log(x)
-end
-log A.new(1)
-A.new("str")
-A.new(nil)
-
-__END__
-# Classes
-class Object
-  private
-  def log: (A x) -> nil
-end
-
-class A
-  @int: Integer
-  @str: String
-  @val: (Integer | String)?
-
-  def initialize: ((Integer | String)? x) -> void
-end

data/smoke/instance_eval.rb

@@ -1,18 +0,0 @@
-class C
-  def self.foo(&blk)
-    new.instance_eval(&blk)
-  end
-  def log(n)
-  end
-end
-
-C.foo do
-  log(42)
-end
-
-__END__
-# Classes
-class C
-  def self.foo: { (C) -> nil } -> nil
-  def log: (Integer n) -> nil
-end

data/smoke/instance_eval2.rb

@@ -1,10 +0,0 @@
-a = ""
-a.instance_eval do
-  @a = 1
-end
-
-__END__
-# Classes
-class String
-  @a: Integer
-end