typeprof 0.21.6 → 0.21.7

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1d207fe000797f7326bd569640296801ff8047d8261b2461f22c744899753641
-  data.tar.gz: ec87c3c228fc1326739f11fc6aaa63c4d5db46ad66bec55aab46d11d09953a50
+  metadata.gz: 6586977939af7be53d8c86c57f992569abffac1f011e7a435ea248835fabb5be
+  data.tar.gz: fec9babce50e7c23b31d053a137d7b16c9481ab51bc694d5ba1bf9fd720f63e2
 SHA512:
-  metadata.gz: b6acf621b74c3468b14986c8c8616d0d6fc30a4e610dcf817ef550cc302d008cf916ea34f721a7e06038b48c77097e83a16f2e27233e93b18465f69288da4561
-  data.tar.gz: 1c80d8d54c9cda86819eac0aec7b47393f01423a6506946240ebdef40b02ad90bae4c69c43ced7906ecc60945b85fee2baefc8c0aa717a8b95c570f9c25adcf4
+  metadata.gz: b49afd59c81f251f6526f4f297773983cad6e4ead9ffeff659d1257a5c0138f2b3f8016197fc5537b5bf1a53bebb1382bf3385ce377441a9bbff0f5852e0ac07
+  data.tar.gz: 3603cff083f9db951648cbc8069c017a42057eb6242963879634f7a0e64633632cb21e4bb51988f4a7d99e30de61e670e953409b64b6cc6bac5bbd771049666c

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    typeprof (0.21.6)
+    typeprof (0.21.7)
       rbs (>= 1.8.1)
 
 GEM
@@ -11,7 +11,7 @@ GEM
     docile (1.4.0)
     power_assert (2.0.1)
     rake (13.0.1)
-    rbs (3.0.1)
+    rbs (3.0.2)
     simplecov (0.21.2)
       docile (~> 1.1)
       simplecov-html (~> 0.11)

data/lib/typeprof/analyzer.rb

@@ -2231,6 +2231,34 @@ module TypeProf
       merge_env(ep.next, env)
     end
 
+    private def ruby_3_3_keywords?
+      @ruby_3_3_keywords ||=
+        RubyVM::InstructionSequence.compile("foo(*a, **b)").to_a.last[-2][1][:orig_argc] == 2
+    end
+
+    private def type_to_keywords(ty, ep)
+      case ty
+      when Type::Hash
+        ty.elems.to_keywords
+      when Type::Union
+        hash_elems = nil
+        ty.elems&.each do |(container_kind, base_type), elems|
+          if container_kind == Type::Hash
+            elems.to_keywords
+            hash_elems = hash_elems ? hash_elems.union(elems) : elems
+          end
+        end
+        if hash_elems
+          hash_elems.to_keywords
+        else
+          { nil => Type.any }
+        end
+      else
+        warn(ep, "non hash is passed to **kwarg?") unless ty == Type.any
+        { nil => Type.any }
+      end
+    end
+
     private def setup_actual_arguments(kind, operands, ep, env)
       opt, blk_iseq = operands
       flags = opt[:flag]
@@ -2284,42 +2312,33 @@ module TypeProf
       blk_ty = new_blk_ty
 
       if flag_args_splat
-        # assert !flag_args_kwarg
-        rest_ty = aargs.last
-        aargs = aargs[0..-2]
-        if flag_args_kw_splat
-          # XXX: The types contained in ActualArguments are expected to be all local types.
-          # This "globalize_type" breaks the invariant, and violates the assertion of Union#globalize that asserts @elems be nil.
-          # To fix this issue fundamentally, ActualArguments should keep all arguments as-is (as like the VM does),
-          # and globalize some types on the on-demand bases.
-          ty = globalize_type(rest_ty, env, ep)
-          if ty.is_a?(Type::Array)
-            _, (ty,) = ty.elems.take_last(1)
-            case ty
-            when Type::Hash
-              kw_tys = ty.elems.to_keywords
-            when Type::Union
-              hash_elems = nil
-              ty.elems&.each do |(container_kind, base_type), elems|
-                if container_kind == Type::Hash
-                  elems.to_keywords
-                  hash_elems = hash_elems ? hash_elems.union(elems) : elems
-                end
-              end
-              if hash_elems
-                kw_tys = hash_elems.to_keywords
-              else
-                kw_tys = { nil => Type.any }
-              end
+        if ruby_3_3_keywords?
+          if flag_args_kw_splat
+            kw_tys = type_to_keywords(globalize_type(aargs[-1], env, ep), ep)
+            aargs = aargs[0..-2]
+          else
+            kw_tys = {}
+          end
+          rest_ty = aargs.last
+          aargs = aargs[0..-2]
+        else
+          rest_ty = aargs.last
+          aargs = aargs[0..-2]
+          if flag_args_kw_splat
+            # XXX: The types contained in ActualArguments are expected to be all local types.
+            # This "globalize_type" breaks the invariant, and violates the assertion of Union#globalize that asserts @elems be nil.
+            # To fix this issue fundamentally, ActualArguments should keep all arguments as-is (as like the VM does),
+            # and globalize some types on the on-demand bases.
+            ty = globalize_type(rest_ty, env, ep)
+            if ty.is_a?(Type::Array)
+              _, (ty,) = ty.elems.take_last(1)
+              kw_tys = type_to_keywords(ty, ep)
             else
-              warn(ep, "non hash is passed to **kwarg?") unless ty == Type.any
-              kw_tys = { nil => Type.any }
+              raise NotImplementedError
             end
           else
-            raise NotImplementedError
+            kw_tys = {}
           end
-        else
-          kw_tys = {}
         end
         aargs = ActualArguments.new(aargs, rest_ty, kw_tys, blk_ty)
       elsif flag_args_kw_splat

data/lib/typeprof/method.rb

@@ -117,6 +117,12 @@ module TypeProf
         ty = Type::Array.new(Type::Array::Elements.new([], msig.rest_ty), Type::Instance.new(Type::Builtin[:ary]))
         ty = ty.substitute(cur_subst, Config.current.options[:type_depth_limit]).remove_type_vars
         nenv, rest_ty = scratch.localize_type(ty, nenv, callee_ep, alloc_site2)
+        # TODO: handle a case where rest_start is not found
+        nenv = nenv.local_update(rest_start, rest_ty)
+      elsif rest_start
+        alloc_site2 = alloc_site.add_id(idx += 1)
+        ty = Type::Array.new(Type::Array::Elements.new([], Type.any), Type::Instance.new(Type::Builtin[:ary]))
+        nenv, rest_ty = scratch.localize_type(ty, nenv, callee_ep, alloc_site2)
         nenv = nenv.local_update(rest_start, rest_ty)
       end
       if msig.post_tys
@@ -146,6 +152,11 @@ module TypeProf
         ty = ty.substitute(cur_subst, Config.current.options[:type_depth_limit]).remove_type_vars
         nenv, ty = scratch.localize_type(ty, nenv, callee_ep, alloc_site2)
         nenv = nenv.local_update(kw_rest, ty)
+      elsif kw_rest
+        alloc_site2 = alloc_site.add_id(:**)
+        ty = Type.gen_hash {}
+        nenv, ty = scratch.localize_type(ty, nenv, callee_ep, alloc_site2)
+        nenv = nenv.local_update(kw_rest, ty)
       end
       nenv = nenv.local_update(block_start, msig.blk_ty) if block_start
 

data/lib/typeprof/version.rb

@@ -1,3 +1,3 @@
 module TypeProf
-  VERSION = "0.21.6"
+  VERSION = "0.21.7"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: typeprof
 version: !ruby/object:Gem::Version
-  version: 0.21.6
+  version: 0.21.7
 platform: ruby
 authors:
 - Yusuke Endoh
-autorequire: 
+autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-02-28 00:00:00.000000000 Z
+date: 2023-03-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -74,7 +74,7 @@ licenses:
 metadata:
   homepage_uri: https://github.com/ruby/typeprof
   source_code_uri: https://github.com/ruby/typeprof
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -90,7 +90,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
       version: '0'
 requirements: []
 rubygems_version: 3.5.0.dev
-signing_key: 
+signing_key:
 specification_version: 4
 summary: TypeProf is a type analysis tool for Ruby code based on abstract interpretation
 test_files: []