typeprof 0.20.0 → 0.20.1

data/smoke/symbol-proc-bot.rb

@@ -1,13 +0,0 @@
-# This method call invokes (bottom type).boo, so the analysis may terminate
-# Currently, SymbolBlock translates bot receiver to any type
-[].each(&:boo)
-
-def foo
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> nil
-end

data/smoke/symbol-proc.rb

@@ -1,25 +0,0 @@
-def foo
-  [1, :sym, "str"].map(&:to_s)
-end
-
-class Foo
-  def foo
-    :foo
-  end
-end
-
-def bar
-  [Foo.new].map(&:foo)
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Array[String]
-  def bar: -> Array[:foo]
-end
-
-class Foo
-  def foo: -> :foo
-end

data/smoke/tap1.rb

@@ -1,18 +0,0 @@
-def bar(x)
-end
-
-def foo(x)
-  x.tap {|n|
-    bar(n)
-  }
-end
-
-foo(1)
-
-__END__
-# Classes
-class Object
-  private
-  def bar: (Integer x) -> nil
-  def foo: (Integer x) -> Integer
-end

data/smoke/toplevel.rb

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

data/smoke/two-map.rb

@@ -1,18 +0,0 @@
-def foo
-  [1, 2, 3].map {|n| n.to_s }
-end
-
-def bar
-  [1, 2, 3].map {|n| n + 1 }
-end
-
-foo
-bar
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> Array[String]
-  def bar: -> Array[Integer]
-end

data/smoke/type_var.rb

@@ -1,11 +0,0 @@
-def number?(ty)
-  %w[integer float].include?(ty).then { puts 1 }
-end
-number?('string')
-
-__END__
-# Classes
-class Object
-  private
-  def number?: (String ty) -> nil
-end

data/smoke/typed_method.rb

@@ -1,16 +0,0 @@
-def foo
-  1.0 * rand
-end
-
-foo
-2.0 * unknown
-
-__END__
-# Errors
-smoke/typed_method.rb:6: [error] undefined method: Object#unknown
-
-# Classes
-class Object
-  private
-  def foo: -> Float
-end

data/smoke/uninitialize-var.rb

@@ -1,13 +0,0 @@
-def foo
-  x = begin
-    return x
-    1
-  end
-end
-
-__END__
-# Classes
-class Object
-  private
-  def foo: -> nil
-end

data/smoke/union-recv.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/user-demo.rb

@@ -1,15 +0,0 @@
-class User
-  def foo(name: "str", age: 0)
-    @name, @age = name, age
-  end
-
-  attr_reader :name, :age
-end
-
-__END__
-# Classes
-class User
-  def foo: (?name: String | untyped, ?age: Integer | untyped) -> ([String | untyped, Integer | untyped])
-  attr_reader name: String | untyped
-  attr_reader age: Integer | untyped
-end

data/smoke/wrong-extend.rb

@@ -1,27 +0,0 @@
-module Bar
-  def bar
-    :bar
-  end
-end
-
-module Foo
-  mod = rand < 0.5 ? Bar : "Not module"
-
-  extend mod
-
-  def foo
-    :foo
-  end
-end
-
-__END__
-# Classes
-module Bar
-  def bar: -> :bar
-end
-
-module Foo
-  extend Bar
-
-  def foo: -> :foo
-end

data/smoke/wrong-include.rb

@@ -1,27 +0,0 @@
-module Bar
-  def bar
-    :bar
-  end
-end
-
-module Foo
-  mod = rand < 0.5 ? Bar : "Not module"
-
-  include mod
-
-  def foo
-    :foo
-  end
-end
-
-__END__
-# Classes
-module Bar
-  def bar: -> :bar
-end
-
-module Foo
-  include Bar
-
-  def foo: -> :foo
-end

data/smoke/wrong-include2.rb

@@ -1,17 +0,0 @@
-class Foo
-end
-
-class Bar
-  include Foo
-end
-
-__END__
-# Errors
-smoke/wrong-include2.rb:5: [warning] attempted to include/extend non-module; ignored
-
-# Classes
-class Foo
-end
-
-class Bar
-end

data/smoke/wrong-rbs.rb

@@ -1,15 +0,0 @@
-def foo
-end
-def bar(n)
-end
-def baz(n=1)
-end
-def qux(a,n=1)
-end
-
-__END__
-# Errors
-smoke/wrong-rbs.rb:1: [error] RBS says that the arity may be 1, but the method definition requires at most 0 arguments
-smoke/wrong-rbs.rb:3: [error] RBS says that the arity may be 0, but the method definition requires at least 1 arguments
-
-# Classes

data/smoke/wrong-rbs.rbs

@@ -1,7 +0,0 @@
-class Object
-  def foo: (?Integer) -> void
-  def bar: (?Integer) -> void
-  def baz: (?Integer) -> void
-  def qux: (Integer) -> void
-         | (Integer, Integer) -> void
-end

data/testbed/ao.rb

@@ -1,297 +0,0 @@
-# AO render benchmark
-# Original program (C) Syoyo Fujita in Javascript (and other languages)
-#      https://code.google.com/p/aobench/
-# Ruby(yarv2llvm) version by Hideki Miura
-# mruby version by Hideki Miura
-#
-
-IMAGE_WIDTH = 64
-IMAGE_HEIGHT = 64
-NSUBSAMPLES = 2
-NAO_SAMPLES = 8
-
-class Vec
-#  include Inline
-  def initialize(x, y, z)
-    @x = x
-    @y = y
-    @z = z
-  end
-
-  attr_accessor :x, :y, :z
-
-  def vadd(b)
-    Vec.new(@x + b.x, @y + b.y, @z + b.z)
-  end
-
-  def vsub(b)
-    Vec.new(@x - b.x, @y - b.y, @z - b.z)
-  end
-#  make_inline_method  :vsub
-
-  def vcross(b)
-    Vec.new(@y * b.z - @z * b.y,
-            @z * b.x - @x * b.z,
-            @x * b.y - @y * b.x)
-  end
-#  make_inline_method  :vcross
-
-  def vdot(b)
-    r = @x * b.x + @y * b.y + @z * b.z
-    r
-  end
- # make_inline_method  :vdot
-
-  def vlength
-    Math.sqrt(@x * @x + @y * @y + @z * @z)
-  end
-#  make_inline_method  :vlength
-
-  def vnormalize
-    len = vlength
-    v = Vec.new(@x, @y, @z)
-    if len > 1.0e-17
-      v.x = v.x / len
-      v.y = v.y / len
-      v.z = v.z / len
-    end
-    v
-  end
-#  make_inline_method  :vnormalize
-end
-
-class Sphere
-  def initialize(center, radius)
-    @center = center
-    @radius = radius
-  end
-
-  attr_reader :center, :radius
-
-  def intersect(ray, isect)
-    rs = ray.org.vsub(@center)
-    b = rs.vdot(ray.dir)
-    c = rs.vdot(rs) - (@radius * @radius)
-    d = b * b - c
-    if d > 0.0
-      t = - b - Math.sqrt(d)
-
-      if t > 0.0 and t < isect.t
-        isect.t = t
-        isect.hit = true
-        isect.pl = Vec.new(ray.org.x + ray.dir.x * t,
-                          ray.org.y + ray.dir.y * t,
-                          ray.org.z + ray.dir.z * t)
-        n = isect.pl.vsub(@center)
-        isect.n = n.vnormalize
-      end
-    end
-  end
-end
-
-class Plane
-  def initialize(p, n)
-    @p = p
-    @n = n
-  end
-
-  def intersect(ray, isect)
-    d = -@p.vdot(@n)
-    v = ray.dir.vdot(@n)
-    v0 = v
-    if v < 0.0
-      v0 = -v
-    end
-    if v0 < 1.0e-17
-      return
-    end
-
-    t = -(ray.org.vdot(@n) + d) / v
-
-    if t > 0.0 and t < isect.t
-      isect.hit = true
-      isect.t = t
-      isect.n = @n
-      isect.pl = Vec.new(ray.org.x + t * ray.dir.x,
-                        ray.org.y + t * ray.dir.y,
-                        ray.org.z + t * ray.dir.z)
-    end
-  end
-end
-
-class Ray
-  def initialize(org, dir)
-    @org = org
-    @dir = dir
-  end
-
-  attr_accessor :org, :dir
-end
-
-class Isect
-  def initialize
-    @t = 10000000.0
-    @hit = false
-    @pl = Vec.new(0.0, 0.0, 0.0)
-    @n = Vec.new(0.0, 0.0, 0.0)
-  end
-
-  attr_accessor :t, :hit, :pl, :n
-end
-
-def clamp(f)
-  i = f * 255.5
-  if i > 255.0
-    i = 255.0
-  end
-  if i < 0.0
-    i = 0.0
-  end
-  i.to_i
-end
-
-def otherBasis(n)
-  zero = Vec.new(0.0, 0.0, 0.0)
-  basis = [zero, zero, zero]
-  basis[2] = Vec.new(n.x, n.y, n.z)
-  basis[1] = Vec.new(0.0, 0.0, 0.0)
-
-  if n.x < 0.6 and n.x > -0.6
-    basis[1].x = 1.0
-  elsif n.y < 0.6 and n.y > -0.6
-    basis[1].y = 1.0
-  elsif n.z < 0.6 and n.z > -0.6
-    basis[1].z = 1.0
-  else
-    basis[1].x = 1.0
-  end
-
-  basis[0] = basis[1].vcross(basis[2])
-  basis[0] = basis[0].vnormalize
-
-  basis[1] = basis[2].vcross(basis[0])
-  basis[1] = basis[1].vnormalize
-
-  basis
-end
-
-class Scene
-  def initialize
-    @spheres = [
-      Sphere.new(Vec.new(-2.0, 0.0, -3.5), 0.5),
-      Sphere.new(Vec.new(-0.5, 0.0, -3.0), 0.5),
-      Sphere.new(Vec.new(1.0, 0.0, -2.2), 0.5),
-    ]
-    @plane = Plane.new(Vec.new(0.0, -0.5, 0.0), Vec.new(0.0, 1.0, 0.0))
-  end
-
-  def ambient_occlusion(isect)
-    basis = otherBasis(isect.n)
-
-    ntheta    = NAO_SAMPLES
-    nphi      = NAO_SAMPLES
-    eps       = 0.0001
-    occlusion = 0.0
-
-    p0 = Vec.new(isect.pl.x + eps * isect.n.x,
-                isect.pl.y + eps * isect.n.y,
-                isect.pl.z + eps * isect.n.z)
-    nphi.times do |j|
-      ntheta.times do |i|
-        r = rand
-#        r = $rand.rand
-        phi = 2.0 * 3.14159265 * rand
-#        phi = 2.0 * 3.14159265 * $rand.rand
-        x = Math.cos(phi) * Math.sqrt(1.0 - r)
-        y = Math.sin(phi) * Math.sqrt(1.0 - r)
-        z = Math.sqrt(r)
-
-        rx = x * basis[0].x + y * basis[1].x + z * basis[2].x
-        ry = x * basis[0].y + y * basis[1].y + z * basis[2].y
-        rz = x * basis[0].z + y * basis[1].z + z * basis[2].z
-
-        raydir = Vec.new(rx, ry, rz)
-        ray = Ray.new(p0, raydir)
-
-        occisect = Isect.new
-        @spheres[0].intersect(ray, occisect)
-        @spheres[1].intersect(ray, occisect)
-        @spheres[2].intersect(ray, occisect)
-        @plane.intersect(ray, occisect)
-        if occisect.hit
-          occlusion = occlusion + 1.0
-        else
-          0.0
-        end
-        1.0
-      end
-    end
-
-    occlusion = (ntheta.to_f * nphi.to_f - occlusion) / (ntheta.to_f * nphi.to_f)
-    Vec.new(occlusion, occlusion, occlusion)
-  end
-
-  def render(w, h, nsubsamples)
-    cnt = 0
-    nsf = nsubsamples.to_f
-    h.times do |y|
-      w.times do |x|
-        rad = Vec.new(0.0, 0.0, 0.0)
-
-        # Subsmpling
-        nsubsamples.times do |v|
-          nsubsamples.times do |u|
-            cnt = cnt + 1
-            wf = w.to_f
-            hf = h.to_f
-            xf = x.to_f
-            yf = y.to_f
-            uf = u.to_f
-            vf = v.to_f
-
-            px = (xf + (uf / nsf) - (wf / 2.0)) / (wf / 2.0)
-            py = -(yf + (vf / nsf) - (hf / 2.0)) / (hf / 2.0)
-
-            eye = Vec.new(px, py, -1.0).vnormalize
-
-            ray = Ray.new(Vec.new(0.0, 0.0, 0.0), eye)
-
-            isect = Isect.new
-            @spheres[0].intersect(ray, isect)
-            @spheres[1].intersect(ray, isect)
-            @spheres[2].intersect(ray, isect)
-            @plane.intersect(ray, isect)
-            if isect.hit
-              col = ambient_occlusion(isect)
-              rad.x = rad.x + col.x
-              rad.y = rad.y + col.y
-              rad.z = rad.z + col.z
-            else
-              0.0
-            end
-            1
-          end
-        end
-
-        r = rad.x / (nsf * nsf)
-        g = rad.y / (nsf * nsf)
-        b = rad.z / (nsf * nsf)
-        printf("%c", clamp(r))
-        printf("%c", clamp(g))
-        printf("%c", clamp(b))
-        1
-      end
-    end
-  end
-end
-
-def top
-  Scene.new.render(IMAGE_WIDTH, IMAGE_HEIGHT, NSUBSAMPLES)
-end
-
-top
-
-if $0 == __FILE__
-  v = Vec.new(0.0, 0.0, 0.0)
-  v.vadd(v)
-end

data/testbed/diff-lcs-entrypoint.rb

@@ -1,4 +0,0 @@
-require "diff/lcs"
-
-class T; end
-Diff::LCS.diff([T.new]+[T.new], [T.new]+[T.new]) {}

data/testbed/goodcheck-Gemfile.lock

@@ -1,51 +0,0 @@
-PATH
-  remote: .
-  specs:
-    goodcheck (2.5.2)
-      activesupport (>= 4.0, < 7.0)
-      psych (>= 3.1, < 4.0)
-      rainbow (~> 3.0.0)
-      strong_json (>= 1.1, < 2.2)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    activesupport (6.0.3.3)
-      concurrent-ruby (~> 1.0, >= 1.0.2)
-      i18n (>= 0.7, < 2)
-      minitest (~> 5.1)
-      tzinfo (~> 1.1)
-      zeitwerk (~> 2.2, >= 2.2.2)
-    ansi (1.5.0)
-    builder (3.2.4)
-    concurrent-ruby (1.1.7)
-    i18n (1.8.5)
-      concurrent-ruby (~> 1.0)
-    minitest (5.14.3)
-    minitest-reporters (1.4.2)
-      ansi
-      builder
-      minitest (>= 5.0)
-      ruby-progressbar
-    psych (3.2.0)
-    rainbow (3.0.0)
-    rake (13.0.1)
-    ruby-progressbar (1.10.1)
-    strong_json (1.1.0)
-    thread_safe (0.3.6)
-    tzinfo (1.2.7)
-      thread_safe (~> 0.1)
-    zeitwerk (2.4.0)
-
-PLATFORMS
-  ruby
-
-DEPENDENCIES
-  bundler (>= 1.16)
-  goodcheck!
-  minitest (~> 5.0)
-  minitest-reporters (~> 1.4.2)
-  rake (~> 13.0)
-
-BUNDLED WITH
-   2.1.2