raap 1.0.0 → 1.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: e99f2314c4dda64e47604310a13a5814b1fe016f1e54a73e4531d9fcae504325
-  data.tar.gz: 11698fd1846523fb0d17bcc7d38f5d115ddbffa590aee182977d11e2702b8b7d
+  metadata.gz: 11be72cf2761c092ecbbcb59c5fd6d63de28d5c469b08595788cd62d27ba65c3
+  data.tar.gz: 2dc754b684cca3752177f0a5d1ef12ae3126d6ae7b32e07664e639fa27037f8a
 SHA512:
-  metadata.gz: ee00fb743ee63fcdc1cfb2b3301e4cc911b705b65d43b1018b1cccdfe64d486887895491a1b7dbf64d1c01ace851eb8f1f4ea2fe8c6f375e915e322b0afd3c33
-  data.tar.gz: 45352b27b3bb0d3dae3b31ee02a12a1e61124d854fbe9539fd0726cbc7baeb17307fbfee67591aec1269690168dc94b8666d7f1ec67c2f52abe0bf87ad84e902
+  metadata.gz: 8dcca8c7c5aa10b0cd611a60c38a84bf4db1915cd049d701f068836488b748b653bd0a811d606c943754c0b4e72367d8e9255c06cdf0ab0f398bd3da3ce5357e
+  data.tar.gz: 3f2e7d3947ed5fbc02496b0f5437d100d6e6ba9cf8fd60c28b522d49f867c955b72a287d1845186346a377047acfed7d9944e6ef80d0dec1491235c3da9bf203

data/CHANGELOG.md

@@ -1,5 +1,9 @@
 ## [Unreleased]
 
+## [1.0.0] - 2024-08-23
+
+* Do not modify array for RBS::Types::ClassInstance#args by @pocke in https://github.com/ksss/raap/pull/25
+
 ## [0.10.0] - 2024-06-25
 
 * Support default nil in block by @ksss in https://github.com/ksss/raap/pull/18

data/lib/raap/coverage.rb

@@ -83,7 +83,8 @@ module RaaP
         @cur = type.location.start_pos
         case type
         when ::RBS::Types::Tuple, ::RBS::Types::Union
-          name = type.class.name.split('::').last.downcase
+          cname = type.class.name or raise
+          name = cname.split('::').last.downcase
           type.types.each_with_index do |t, i|
             t.location or raise
             io.write(slice(@cur, @cur...t.location.start_pos)) # ( or [

data/lib/raap/function_type.rb

@@ -43,7 +43,7 @@ module RaaP
         build_type_with_coverage("opt_#{i}", param)
       end
 
-      rest = []
+      rest = [] #: Array[untyped]
       if (rest_param = @fun.rest_positionals)
         rest = Array.new(Random.rand(4)) do
           build_type_with_coverage("rest", rest_param)

data/lib/raap/method_type.rb

@@ -48,8 +48,8 @@ module RaaP
       return nil if block.nil?
       return nil if (block.required == false) && [true, false].sample
 
-      args_name = []
-      args_source = []
+      args_name = [] #: Array[String]
+      args_source = [] #: Array[String]
       resource = [*'a'..'z']
       case fun = block.type
       when ::RBS::Types::Function

data/lib/raap/symbolic_caller.rb

@@ -51,7 +51,7 @@ module RaaP
       receiver = try_eval(receiver)
       args, kwargs, block = try_eval([args, kwargs, block])
 
-      a = []
+      a = [] #: Array[String]
       a << args.map(&BindCall.method(:inspect)).join(', ') if !args.empty?
       a << kwargs.map { |k, v| "#{k}: #{BindCall.inspect(v)}" }.join(', ') if !kwargs.empty?
       argument_str = a.join(', ')
@@ -87,7 +87,7 @@ module RaaP
 
           var_eq = '' if is_last
 
-          arguments = []
+          arguments = [] #: Array[Array[String]]
           if !args.empty?
             # The reproduction code is kept short and executable.
             if [Value::Interface, Value::Intersection].include?(receiver_value)

data/lib/raap/value/interface.rb

@@ -12,8 +12,8 @@ module RaaP
           self_type = type
 
           # Referring to Steep
-          instance_type = ::RBS::Types::ClassInstance.new(name: TypeName("::Object"), args: [], location: nil)
-          class_type = ::RBS::Types::ClassSingleton.new(name: TypeName("::Object"), location: nil)
+          instance_type = ::RBS::Types::ClassInstance.new(name: ::RBS::TypeName.parse("::Object"), args: [], location: nil)
+          class_type = ::RBS::Types::ClassSingleton.new(name: ::RBS::TypeName.parse("::Object"), location: nil)
 
           definition = RBS.builder.build_interface(type.name.absolute!)
           definition.methods.each do |name, method|
@@ -23,7 +23,7 @@ module RaaP
             subed_method_type = ts.method_type_sub(method_type, self_type: self_type, instance_type: instance_type, class_type: class_type)
 
             BindCall.define_method(base_mod, name) do |*_, &b|
-              @fixed_return_value ||= {}
+              @fixed_return_value ||= {} #: Hash[Symbol, Interface | Type]
               @fixed_return_value[name] ||= if self_type == subed_method_type.type.return_type
                                               self
                                             else
@@ -31,7 +31,7 @@ module RaaP
                                             end
               # @type var b: Proc?
               if b && subed_method_type.block && subed_method_type.block.type.is_a?(::RBS::Types::Function)
-                @fixed_block_arguments ||= {}
+                @fixed_block_arguments ||= {} #: Hash[Symbol, Array[FunctionType]]
                 @fixed_block_arguments[name] ||= size.times.map do
                   FunctionType.new(subed_method_type.block.type, coverage: false)
                               .pick_arguments(size: size)

data/lib/raap/value/intersection.rb

@@ -31,7 +31,7 @@ module RaaP
             end
           end
         end
-        type = ::RBS::Types::ClassInstance.new(name: TypeName(base.name), args: [], location: nil)
+        type = ::RBS::Types::ClassInstance.new(name: ::RBS::TypeName.parse(base.name), args: [], location: nil)
         SymbolicCaller.new(Type.call_new_from(c, type, size: size)).eval
       end
     end

data/lib/raap/value/variable.rb

@@ -11,6 +11,7 @@ module RaaP
             # @type var type: String | Symbol
             ::RBS::Types::Variable.new(name: type.to_sym, location: nil)
           else
+            # @type var type: ::RBS::Types::Variable
             type
           end
         unless @type.instance_of?(::RBS::Types::Variable)

data/lib/raap/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RaaP
-  VERSION = "1.0.0"
+  VERSION = "1.1.0"
 end

data/lib/shims.rb

@@ -36,3 +36,22 @@ unless defined?(Data)
     end
   end
 end
+
+# RBS 3.8
+unless RBS::TypeName.singleton_class.method_defined?(:parse)
+  module RBS
+    class TypeName
+      def self.parse(string)
+        absolute = string.start_with?("::")
+
+        *path, name = string.delete_prefix("::").split("::").map(&:to_sym)
+        raise unless name
+
+        TypeName.new(
+          name: name,
+          namespace: RBS::Namespace.new(path: path, absolute: absolute)
+        )
+      end
+    end
+  end
+end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: raap
 version: !ruby/object:Gem::Version
-  version: 1.0.0
+  version: 1.1.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-08-23 00:00:00.000000000 Z
+date: 2025-01-12 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -95,7 +95,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.3.26
+rubygems_version: 3.5.22
 signing_key:
 specification_version: 4
 summary: RBS as a Property