typeprof 0.14.1 → 0.15.3

data/smoke/identifier_keywords.rb

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

@@ -13,5 +13,5 @@ __END__
 # Classes
 class Object
   private
-  def foo: { -> (Integer | String) } -> (Integer | String)
+  def foo: { -> Integer } -> Integer
 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/or_raise.rb

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

@@ -13,8 +13,8 @@ bar([])
 __END__
 # Classes
 class Object
-  def foo: -> Array[bot]
+  def foo: -> Array[untyped]
 
   private
-  def bar: (Array[bot] ary) -> Array[bot]
+  def bar: (Array[untyped] ary) -> Array[untyped]
 end

data/smoke/pattern-match1.rb

@@ -1,4 +1,5 @@
 # RUBY_VERSION >= 3.0
+# NO_SHOW_ERRORS
 
 def foo
   case [:a, :b, :c]
@@ -11,12 +12,6 @@ end
 foo
 
 __END__
-# Errors
-smoke/pattern-match1.rb:5: [error] undefined method: nil#length
-smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
-smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
-smoke/pattern-match1.rb:5: [error] undefined method: nil#[]
-
 # Classes
 class Object
   private

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/rbs-vars.rb

@@ -21,9 +21,6 @@ class Foo
 end
 
 __END__
-# Global variables
-#$gvar: :gvar_example
-
 # Classes
 class Object
   private

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/testbed/ao.rb

@@ -291,7 +291,7 @@ end
 
 top
 
-if _dummy = false
+if $0 == __FILE__
   v = Vec.new(0.0, 0.0, 0.0)
   v.vadd(v)
 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.2.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.14.1
+  version: 0.15.3
 platform: ruby
 authors:
 - Yusuke Endoh
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-05-18 00:00:00.000000000 Z
+date: 2021-09-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.2.0
+        version: 1.3.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 1.2.0
+        version: 1.3.1
 description: |
   TypeProf performs a type analysis of non-annotated Ruby code.
 
@@ -216,6 +216,8 @@ files:
 - smoke/hash3.rb
 - smoke/hash4.rb
 - smoke/hash5.rb
+- smoke/huge_union.rb
+- smoke/identifier_keywords.rb
 - smoke/included.rb
 - smoke/inheritance.rb
 - smoke/inheritance2.rb
@@ -267,6 +269,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
@@ -274,6 +277,7 @@ files:
 - smoke/optional1.rb
 - smoke/optional2.rb
 - smoke/optional3.rb
+- smoke/or_raise.rb
 - smoke/parameterizedd-self.rb
 - smoke/parameterizedd-self2.rb
 - smoke/pathname1.rb
@@ -290,6 +294,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
@@ -332,6 +338,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