raap 0.10.0 → 1.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b326e4d67e7475c2b0c20dd3327c92d50d5c1adda8c45adc05e6ba58b3e289c0
-  data.tar.gz: e6f3d8ed34403ba7561fb2864c5e1410eaf07da10917eb43122d0dd373817e82
+  metadata.gz: 11be72cf2761c092ecbbcb59c5fd6d63de28d5c469b08595788cd62d27ba65c3
+  data.tar.gz: 2dc754b684cca3752177f0a5d1ef12ae3126d6ae7b32e07664e639fa27037f8a
 SHA512:
-  metadata.gz: '094fe3ad8922e1c86fdfcf67353c0819b501637f99235fd2eebc8470196d41b5f89b3c8aaea9a48681c122dd434b11ebc349b733f47637cbaf706748ee613373'
-  data.tar.gz: d1dcf25d8cd69d7f48c6095fb3f9c8e1f144704fc12a5a441e231d371c4b8d62b76c75a6e9b09ab1375fc45071361a9988ee268c7c4dfa7e0828de6f5137246b
+  metadata.gz: 8dcca8c7c5aa10b0cd611a60c38a84bf4db1915cd049d701f068836488b748b653bd0a811d606c943754c0b4e72367d8e9255c06cdf0ab0f398bd3da3ce5357e
+  data.tar.gz: 3f2e7d3947ed5fbc02496b0f5437d100d6e6ba9cf8fd60c28b522d49f867c955b72a287d1845186346a377047acfed7d9944e6ef80d0dec1491235c3da9bf203

data/CHANGELOG.md

@@ -1,5 +1,15 @@
 ## [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
+* Support Enumerator by @ksss in https://github.com/ksss/raap/pull/19
+* Support BigDecimal by @ksss in https://github.com/ksss/raap/pull/20
+
 ## [0.9.0] - 2024-06-11
 
 * Update ruby by @ksss in https://github.com/ksss/raap/pull/15

data/lib/raap/cli.rb

@@ -274,10 +274,12 @@ module RaaP
       end
 
       # type_args delegate to self_type
-      type_params_decl.each_with_index do |param, i|
-        if rtype.instance_of?(::RBS::Types::ClassInstance)
-          rtype.args[i] = type_args[i] || param.upper_bound || ::RBS::Types::Bases::Any.new(location: nil)
+      if rtype.instance_of?(::RBS::Types::ClassInstance)
+        args = type_params_decl.map.with_index do |param, i|
+          type_args[i] || param.upper_bound || ::RBS::Types::Bases::Any.new(location: nil)
         end
+        rtype = ::RBS::Types::ClassInstance.new(name: rtype.name, args: args, location: rtype.location)
+        receiver_type = Type.new(rtype)
       end
       RaaP.logger.info("## def #{prefix}#{method_name}: #{method_type}")
       status = 0
@@ -305,7 +307,7 @@ module RaaP
           print '.'
           RaaP.logger.debug { "Success: #{s.called_str}" }
         in Result::Failure => f
-          puts 'F'
+          print 'F'
           if (e = f.exception)
             RaaP.logger.info { "Failure: [#{e.class}] #{e.message}" }
             RaaP.logger.debug { e.backtrace.join("\n") }
@@ -336,12 +338,12 @@ module RaaP
       end_time = Process.clock_gettime(Process::CLOCK_MONOTONIC)
       puts
       RaaP::Coverage.show($stdout) if @option.coverage
-      puts
 
       time_diff = end_time - start_time
       time = ", time: #{(time_diff * 1000).round}ms"
       stats_log = "success: #{stats.success}, skip: #{stats.skip}, exception: #{stats.exception}#{time}"
       RaaP.logger.info(stats_log)
+      puts
 
       if status == 0 && stats.success.zero? && !stats.break
         status = 1

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 = "0.10.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: 0.10.0
+  version: 1.1.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-06-25 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.5.9
+rubygems_version: 3.5.22
 signing_key:
 specification_version: 4
 summary: RBS as a Property