typeprof 0.12.0 → 0.15.0

data/smoke/included.rb

@@ -0,0 +1,38 @@
+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/inherited.rb

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

@@ -24,5 +24,5 @@ class A
   @str: String
   @val: (Integer | String)?
 
-  def initialize: ((Integer | String)? x) -> ((Integer | String)?)
+  def initialize: ((Integer | String)? x) -> void
 end

data/smoke/instance_eval.rb

@@ -13,6 +13,6 @@ end
 __END__
 # Classes
 class C
-  def self.foo: { (C) -> nil } -> C
+  def self.foo: { (C) -> nil } -> nil
   def log: (Integer n) -> nil
 end

data/smoke/instance_eval4.rb

@@ -0,0 +1,12 @@
+def foo
+  5.instance_eval { i }
+end
+
+foo
+
+__END__
+# Classes
+class Object
+  private
+  def foo: -> Complex
+end

data/smoke/ivar2.rb

@@ -23,7 +23,7 @@ Foo.new.set
 __END__
 # Classes
 class Foo
-  def initialize: -> Hash[bot, bot]
+  def initialize: -> void
   def set: -> :sym
   attr_reader array: Array[:sym | Integer | String]
   attr_reader hash: {a: Integer, b: String, c: :sym}

data/smoke/ivar3.rb

@@ -13,5 +13,5 @@ smoke/ivar3.rb:3: [warning] inconsistent assignment to RBS-declared variable
 class Foo
   @bar: String
 
-  def initialize: -> String
+  def initialize: -> void
 end

data/smoke/kwrest.rb

@@ -1,6 +1,6 @@
 class Foo
   def foo(**r)
-    @r = r[42]
+    @r = r["foo".to_sym][42]
   end
 end
 
@@ -9,5 +9,5 @@ __END__
 class Foo
   @r: Integer
 
-# def foo: (**Hash[Integer, Integer]) -> void
+# def foo: (**Integer) -> void
 end

data/smoke/kwrest.rbs

@@ -1,3 +1,3 @@
 class Foo
-  def foo: (**Hash[Integer, Integer]) -> void
+  def foo: (**Integer) -> void
 end

data/smoke/method_missing.rb

@@ -24,6 +24,6 @@ end
 class C
   @target: D
 
-  def initialize: (D x) -> D
+  def initialize: (D x) -> void
   def method_missing: (:foo m, *:X | :Y | :Z args) -> nil
 end

data/smoke/noname.rb

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

data/smoke/proc6.rb

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

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

data/smoke/rbs-tyvar4.rb

@@ -32,6 +32,6 @@ __END__
 class Foo
   @ivar: Array[Array[String]]
 
-  def initialize: (Array[Array[String]] ivar) -> Array[Array[String]]
+  def initialize: (Array[Array[String]] ivar) -> void
   def foo: (:a | :b n) -> nil
 end

data/smoke/require1.rb

@@ -0,0 +1,13 @@
+require_relative "require2"
+
+class Foo
+  def foo
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def bar: -> nil
+  def foo: -> nil
+end

data/smoke/require2.rb

@@ -0,0 +1,13 @@
+require_relative "require1"
+
+class Foo
+  def bar
+  end
+end
+
+__END__
+# Classes
+class Foo
+  def foo: -> nil
+  def bar: -> nil
+end

data/smoke/struct5.rb

@@ -12,5 +12,5 @@ __END__
 # Classes
 class Foo < Struct[untyped]
   attr_accessor foo(): String
-  def initialize: (Integer foo) -> Foo
+  def initialize: (Integer foo) -> void
 end

data/smoke/struct6.rb

@@ -11,5 +11,5 @@ class AnonymousStruct_generated_1 < Struct[untyped]
 end
 
 class Foo < AnonymousStruct_generated_1
-  def initialize: (untyped foo) -> Foo
+  def initialize: (untyped foo) -> void
 end

data/smoke/struct7.rb

@@ -13,5 +13,5 @@ end
 __END__
 # Classes
 class Foo < Struct[untyped]
-  def initialize: -> Foo
+  def initialize: -> void
 end

data/smoke/super3.rb

@@ -16,5 +16,5 @@ class Foo
   @a: Integer
 
   def self.new: (Integer a) -> Foo
-  def initialize: (Integer a) -> Integer
+  def initialize: (Integer a) -> void
 end

data/smoke/symbol-proc-attr.rb

@@ -18,5 +18,5 @@ end
 
 class Foo
   attr_reader foo: Integer | untyped
-  def initialize: (Integer | untyped foo) -> (Integer | untyped)
+  def initialize: (Integer | untyped foo) -> void
 end

data/smoke/symbol-proc-attr2.rb

@@ -11,5 +11,5 @@ __END__
 # Classes
 class Foo
   attr_reader foo: [Integer]
-  def initialize: -> [Integer]
+  def initialize: -> void
 end

data/typeprof.gemspec

@@ -30,5 +30,5 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
-  spec.add_runtime_dependency "rbs", ">= 1.0.0"
+  spec.add_runtime_dependency "rbs", ">= 1.3.1"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.12.0
+  version: 0.15.0
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-01-29 00:00:00.000000000 Z
+date: 2021-07-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.0.0
+        version: 1.3.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.0.0
+        version: 1.3.1
 description: |
   TypeProf performs a type analysis of non-annotated Ruby code.
 
@@ -138,6 +138,7 @@ files:
 - smoke/break1.rb
 - smoke/break2.rb
 - smoke/break3.rb
+- smoke/break4.rb
 - smoke/case.rb
 - smoke/case2.rb
 - smoke/case3.rb
@@ -145,6 +146,7 @@ files:
 - smoke/class-hierarchy2.rb
 - smoke/class-new.rb
 - smoke/class.rb
+- smoke/class_eval.rb
 - smoke/class_instance_var.rb
 - smoke/class_method.rb
 - smoke/class_method2.rb
@@ -164,6 +166,7 @@ files:
 - smoke/define_method4.rbs
 - smoke/define_method5.rb
 - smoke/define_method6.rb
+- smoke/define_method7.rb
 - smoke/demo.rb
 - smoke/demo1.rb
 - smoke/demo10.rb
@@ -185,10 +188,12 @@ files:
 - smoke/enumerator.rb
 - smoke/expandarray1.rb
 - smoke/expandarray2.rb
+- smoke/extended.rb
 - smoke/fib.rb
 - smoke/flip-flop.rb
 - smoke/flow1.rb
 - smoke/flow10.rb
+- smoke/flow11.rb
 - smoke/flow2.rb
 - smoke/flow3.rb
 - smoke/flow4.rb
@@ -211,12 +216,16 @@ files:
 - smoke/hash3.rb
 - smoke/hash4.rb
 - smoke/hash5.rb
+- smoke/huge_union.rb
+- smoke/included.rb
 - smoke/inheritance.rb
 - smoke/inheritance2.rb
+- smoke/inherited.rb
 - smoke/initialize.rb
 - smoke/instance_eval.rb
 - smoke/instance_eval2.rb
 - smoke/instance_eval3.rb
+- smoke/instance_eval4.rb
 - smoke/int_times.rb
 - smoke/integer.rb
 - smoke/ivar.rb
@@ -259,6 +268,7 @@ files:
 - smoke/multiple-superclass.rb
 - smoke/next1.rb
 - smoke/next2.rb
+- smoke/noname.rb
 - smoke/object-send1.rb
 - smoke/object-send2.rb
 - smoke/object-send3.rb
@@ -282,6 +292,8 @@ files:
 - smoke/proc3.rb
 - smoke/proc4.rb
 - smoke/proc5.rb
+- smoke/proc6.rb
+- smoke/proc7.rb
 - smoke/public.rb
 - smoke/range.rb
 - smoke/rbs-alias.rb
@@ -324,6 +336,8 @@ files:
 - smoke/redo1.rb
 - smoke/redo2.rb
 - smoke/req-keyword.rb
+- smoke/require1.rb
+- smoke/require2.rb
 - smoke/rescue1.rb
 - smoke/rescue2.rb
 - smoke/rescue3.rb
@@ -403,7 +417,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.3
+rubygems_version: 3.2.15
 signing_key: 
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation