raap 0.8.0 → 0.10.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f119356b79f6beb968f26d019dda506e8eada4a48e178bd029e7e97d187f2d2c
-  data.tar.gz: f72f9d682ff47f11d51ebcf547a7f991c75b9be731eabc018fbb5b5a727dc358
+  metadata.gz: b326e4d67e7475c2b0c20dd3327c92d50d5c1adda8c45adc05e6ba58b3e289c0
+  data.tar.gz: e6f3d8ed34403ba7561fb2864c5e1410eaf07da10917eb43122d0dd373817e82
 SHA512:
-  metadata.gz: 7d3fbbfd916eb8526d9021e94408f4af402d80455c89b822c74557a76a31b8fc93a0d7acd8e47efdca32a8b1a19fb37a2b8f997e3c7ad6083e2f61d72052973a
-  data.tar.gz: cfbeb8a13d53e16a6e51701c30354ea1537c8b6b7a7ef46665b7e0efe9db43a4ce769370f38f558e4a384c80a039960faa65acbc8648c8f36e3725a53c2c1075
+  metadata.gz: '094fe3ad8922e1c86fdfcf67353c0819b501637f99235fd2eebc8470196d41b5f89b3c8aaea9a48681c122dd434b11ebc349b733f47637cbaf706748ee613373'
+  data.tar.gz: d1dcf25d8cd69d7f48c6095fb3f9c8e1f144704fc12a5a441e231d371c4b8d62b76c75a6e9b09ab1375fc45071361a9988ee268c7c4dfa7e0828de6f5137246b

data/CHANGELOG.md

@@ -1,5 +1,18 @@
 ## [Unreleased]
 
+## [0.9.0] - 2024-06-11
+
+* Update ruby by @ksss in https://github.com/ksss/raap/pull/15
+* Avoid ArgumentError no keywords accepted by @ksss in https://github.com/ksss/raap/pull/16
+* Fix bug for Set by @ksss in https://github.com/ksss/raap/pull/17
+
+## [0.8.0] - 2024-06-09
+
+* Function of interface should not log coverage by @ksss in https://github.com/ksss/raap/pull/11
+* Type-checking block arguments by @ksss in https://github.com/ksss/raap/pull/12
+* Read options directly by @ksss in https://github.com/ksss/raap/pull/13
+* Return value is not checked by @ksss in https://github.com/ksss/raap/pull/14
+
 ## [0.1.0] - 2024-03-20
 
 - Initial release

data/lib/raap/cli.rb

@@ -52,6 +52,8 @@ module RaaP
 
     def load
       OptionParser.new do |o|
+        o.version = RaaP::VERSION
+
         o.on('-I', '--include PATH') do |path|
           RaaP::RBS.loader.add(path: Pathname(path))
         end
@@ -223,7 +225,7 @@ module RaaP
       type_args = type.args
 
       definition = RBS.builder.build_singleton(type_name)
-      type_params_decl = definition.type_params_decl
+      type_params_decl = definition.type_params_decl.freeze
       definition.methods.each do |method_name, method|
         if @skip.include?("#{type_name.absolute!}.#{method_name}")
           RaaP.logger.info("Skip #{"#{type_name.absolute!}.#{method_name}"}")
@@ -243,7 +245,7 @@ module RaaP
       end
 
       definition = RBS.builder.build_instance(type_name)
-      type_params_decl = definition.type_params_decl
+      type_params_decl = definition.type_params_decl.freeze
       definition.methods.each do |method_name, method|
         if @skip.include?("#{type_name.absolute!}##{method_name}")
           RaaP.logger.info("Skip #{"#{type_name.absolute!}.#{method_name}"}")

data/lib/raap/method_type.rb

@@ -62,10 +62,10 @@ module RaaP
         end
         fun.optional_positionals.each do |param|
           resource.shift.tap do |name|
-            # FIXME: Support without literal type
             default = Type.new(param.type).pick(size: size)
             args_name << name
-            args_source << "#{name} = #{default}"
+            # FIXME: Support any object
+            args_source << "#{name} = #{default.inspect}"
           end
         end
         fun.rest_positionals&.yield_self do |_|

data/lib/raap/symbolic_caller.rb

@@ -148,9 +148,17 @@ module RaaP
     def eval_one(symbolic_call)
       symbolic_call => [:call, receiver_value, method_name, args, kwargs, block]
       if @allow_private
-        receiver_value.__send__(method_name, *args, **kwargs, &block)
+        if kwargs.empty?
+          receiver_value.__send__(method_name, *args, &block)
+        else
+          receiver_value.__send__(method_name, *args, **kwargs, &block)
+        end
       else
-        BindCall.public_send(receiver_value, method_name, *args, **kwargs, &block)
+        if kwargs.empty?
+          BindCall.public_send(receiver_value, method_name, *args, &block)
+        else
+          BindCall.public_send(receiver_value, method_name, *args, **kwargs, &block)
+        end
       end
     end
 

data/lib/raap/type.rb

@@ -47,7 +47,7 @@ module RaaP
       if snew
         # class
         rbs_method_type = snew.method_types.sample or raise
-        type_params = definition.type_params_decl.concat(rbs_method_type.type_params.drop(definition.type_params_decl.length))
+        type_params = definition.type_params_decl.dup.concat(rbs_method_type.type_params.drop(definition.type_params_decl.length))
         ts = TypeSubstitution.new(type_params, type.args)
         maped_rbs_method_type = ts.method_type_sub(rbs_method_type)
         method_type = MethodType.new(maped_rbs_method_type)
@@ -74,6 +74,21 @@ module RaaP
     register("::Complex") { complex }
     register("::Data") { Data.define }
     register("::Encoding") { encoding }
+    register("::Enumerator") do
+      sized do |size|
+        instance = __skip__ = type
+        Enumerator.new do |y|
+          size.times do
+            elem = if instance.args[0]
+                     Type.new(instance.args[0]).pick(size: size / 2)
+                   else
+                     Type.random.pick(size: size / 2)
+                   end
+            y.yield elem
+          end
+        end
+      end
+    end
     register("::FalseClass") { false }
     register("::File") { File.open("/dev/null") }
     register("::Float") { float }
@@ -96,6 +111,11 @@ module RaaP
     register("::Time") { [:call, Time, :now, [], {}, nil] }
     register("::TrueClass") { true }
     register("::UnboundMethod") { temp_method_object.unbind }
+    register("BigDecimal") do
+      sized do |size|
+        [:call, Kernel, :BigDecimal, [size], {}, nil]
+      end
+    end
 
     attr_reader :type
     attr_reader :range

data/lib/raap/version.rb

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

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: raap
 version: !ruby/object:Gem::Version
-  version: 0.8.0
+  version: 0.10.0
 platform: ruby
 authors:
 - ksss
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-06-09 00:00:00.000000000 Z
+date: 2024-06-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rbs
@@ -46,13 +46,10 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
-- ".rubocop.yml"
 - CHANGELOG.md
 - CODE_OF_CONDUCT.md
 - LICENSE.txt
 - README.md
-- Rakefile
-- Steepfile
 - exe/raap
 - lib/raap.rb
 - lib/raap/bind_call.rb
@@ -78,12 +75,6 @@ files:
 - lib/raap/value/void.rb
 - lib/raap/version.rb
 - lib/shims.rb
-- public/example.webp
-- public/jacket.webp
-- rbs_collection.lock.yaml
-- rbs_collection.yaml
-- sig/raap.rbs
-- sig/shims.rbs
 homepage: https://github.com/ksss/raap
 licenses:
 - MIT
@@ -97,7 +88,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 3.0.0
+      version: 3.1.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="

data/.rubocop.yml

@@ -1,33 +0,0 @@
-AllCops:
-  TargetRubyVersion: 3.0
-  NewCops: enable
-  Include:
-  - 'lib/**/*.rb'
-
-Lint:
-  Enabled: true
-Lint/EmptyBlock:
-  Enabled: false
-Lint/SymbolConversion:
-  Enabled: false
-
-Style:
-  Enabled: false
-Style/HashSyntax:
-  EnforcedShorthandSyntax: always
-  Enabled: true
-Style/FrozenStringLiteralComment:
-  Enabled: true
-
-Metrics:
-  Enabled: false
-
-Layout:
-  Enabled: true
-Layout/FirstArrayElementIndentation:
-  EnforcedStyle: consistent
-Layout/LineLength:
-  Max: 150
-
-Naming:
-  Enabled: false

data/Rakefile

@@ -1,19 +0,0 @@
-# frozen_string_literal: true
-
-require "bundler/gem_tasks"
-require "minitest/test_task"
-require "rubocop/rake_task"
-
-Minitest::TestTask.create do |t|
-  t.test_prelude = 'require "test/test_helper"'
-end
-
-RuboCop::RakeTask.new
-
-namespace :steep do
-  task :check do
-    sh "bundle exec steep check"
-  end
-end
-
-task default: [:test, :rubocop, 'steep:check']

data/Steepfile

@@ -1,4 +0,0 @@
-target :lib do
-  check "lib"
-  signature "sig"
-end

data/rbs_collection.lock.yaml

@@ -1,128 +0,0 @@
----
-path: ".gem_rbs_collection"
-gems:
-- name: abbrev
-  version: '0'
-  source:
-    type: stdlib
-- name: activesupport
-  version: '7.0'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: d2e93d426c927fdab90ef12e30a9875aa05d60d6
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: base64
-  version: '0'
-  source:
-    type: stdlib
-- name: bigdecimal
-  version: '0'
-  source:
-    type: stdlib
-- name: concurrent-ruby
-  version: '1.1'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: d2e93d426c927fdab90ef12e30a9875aa05d60d6
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: connection_pool
-  version: '2.4'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: d2e93d426c927fdab90ef12e30a9875aa05d60d6
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: date
-  version: '0'
-  source:
-    type: stdlib
-- name: erb
-  version: '0'
-  source:
-    type: stdlib
-- name: fileutils
-  version: '0'
-  source:
-    type: stdlib
-- name: i18n
-  version: '1.10'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: d2e93d426c927fdab90ef12e30a9875aa05d60d6
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: io-console
-  version: '0'
-  source:
-    type: stdlib
-- name: json
-  version: '0'
-  source:
-    type: stdlib
-- name: logger
-  version: '0'
-  source:
-    type: stdlib
-- name: minitest
-  version: '0'
-  source:
-    type: stdlib
-- name: monitor
-  version: '0'
-  source:
-    type: stdlib
-- name: mutex_m
-  version: '0'
-  source:
-    type: stdlib
-- name: optparse
-  version: '0'
-  source:
-    type: stdlib
-- name: pathname
-  version: '0'
-  source:
-    type: stdlib
-- name: rake
-  version: '13.0'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: d2e93d426c927fdab90ef12e30a9875aa05d60d6
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: rbs
-  version: 3.4.4
-  source:
-    type: rubygems
-- name: rdoc
-  version: '0'
-  source:
-    type: stdlib
-- name: securerandom
-  version: '0'
-  source:
-    type: stdlib
-- name: singleton
-  version: '0'
-  source:
-    type: stdlib
-- name: time
-  version: '0'
-  source:
-    type: stdlib
-- name: timeout
-  version: '0'
-  source:
-    type: stdlib
-- name: tsort
-  version: '0'
-  source:
-    type: stdlib
-gemfile_lock_path: Gemfile.lock

data/rbs_collection.yaml

@@ -1,19 +0,0 @@
-# Download sources
-sources:
-  - type: git
-    name: ruby/gem_rbs_collection
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    revision: main
-    repo_dir: gems
-
-# You can specify local directories as sources also.
-# - type: local
-#   path: path/to/your/local/repository
-
-# A directory to install the downloaded RBSs
-path: .gem_rbs_collection
-
-gems:
-  - name: activesupport
-  - name: steep
-    ignore: true

data/sig/raap.rbs

@@ -1,380 +0,0 @@
-module RaaP
-  type symbolic_call = [:call, untyped, Symbol, Array[untyped], Hash[Symbol, untyped], Proc?]
-  VERSION: String
-
-  def self.logger: () -> ::Logger
-  def self.logger=: (::Logger) -> void
-
-  module BindCall
-    def self.define_method: (untyped, Symbol) { (*untyped, **untyped) -> untyped } -> void
-    def self.respond_to?: (untyped, untyped, ?boolish) -> bool
-    def self.instance_of?: (untyped, Module) -> bool
-    def self.is_a?: (untyped, Module) -> bool
-    def self.extend: (untyped, Module) -> void
-    def self.name: (Module) -> String?
-    def self.to_s: (untyped) -> String
-    def self.class: (untyped) -> untyped
-    def self.inspect: (untyped) -> String
-  end
-
-  class CLI
-    class Option < ::Struct[untyped]
-      def self.new: (?timeout: (Integer | Float | nil), ?size_from: ::Integer, ?size_to: ::Integer, ?size_by: ::Integer, ?allow_private: bool, ?coverage: bool) -> instance
-
-      def self.[]: (?timeout: (Integer | Float | nil), ?size_from: ::Integer, ?size_to: ::Integer, ?size_by: ::Integer, ?allow_private: bool, ?coverage: bool) -> instance
-
-      def self.keyword_init?: () -> true
-
-      def self.members: () -> [ :timeout, :size_from, :size_to, :size_by, :allow_private, :coverage]
-
-      def members: () -> [ :timeout, :size_from, :size_to, :size_by, :allow_private, :coverage]
-
-      attr_accessor timeout: (Integer | Float | nil)
-
-      attr_accessor size_from: ::Integer
-
-      attr_accessor size_to: ::Integer
-
-      attr_accessor size_by: ::Integer
-
-      attr_accessor allow_private: bool
-
-      attr_accessor coverage: bool
-    end
-
-    type property_result = [Integer, Symbol, ::RBS::MethodType, StringIO?]
-
-    DEFAULT_SKIP: ::Set[String]
-
-    @argv: Array[String]
-    @option: Option
-    @results:  Array[{ method: ::RBS::Definition::Method, properties: Array[property_result] }]
-    @skip: ::Set[::String]
-
-    def self.option: () -> Option
-    def self.option=: (Option) -> void
-
-    def initialize: (Array[String]) -> void
-    def load: () -> self
-    def run: () -> Integer
-
-    private
-
-    def run_by: (kind: (:instance | :singleton), tag: String) -> void
-    def run_by_type_name: (tag: String) -> void
-    def run_by_type_name_with_search: (tag: String) -> void
-    def property: (receiver_type: Type, type_params_decl: Array[::RBS::AST::TypeParam], type_args: Array[::RBS::Types::t], method_name: Symbol, method_type: ::RBS::MethodType) -> property_result
-    def report: () -> Integer
-  end
-
-  module Coverage
-    type locs = [::RBS::Buffer::loc, ::RBS::Buffer::loc]
-    class Writer
-      @method_type: ::RBS::MethodType
-      @cov: ::Set[Symbol]
-      @cur: Integer
-
-      def initialize: (::RBS::MethodType, Set[Symbol]) -> void
-      def write: (IO) -> void
-
-      private
-
-      def method_type_location: () -> ::RBS::Location[untyped, untyped]
-      def slice: (Integer, Range[Integer]) -> String
-      def write_param: (IO, String, ::RBS::Types::Function::Param) -> void
-      def write_type: (IO, String, ::RBS::Types::t) -> void
-      def green: (String) -> String
-      def red: (String) -> String
-    end
-
-    self.@cov: Set[Symbol]?
-    self.@method_type: ::RBS::MethodType
-
-    def self.start: (::RBS::MethodType) -> void
-    def self.running?: () -> bool
-    def self.log: (String | Symbol) -> void
-    def self.cov: () -> Set[Symbol]
-    def self.show: (IO) -> void
-    def self.new_type_with_log: (String, ::RBS::Types::t) -> Type
-    def self.log_with_type: (String, ::RBS::Types::t) -> nil
-                          | (String, ::RBS::Types::t) ?{ (::RBS::Types::t) -> Type } -> Type
-  end
-
-  class FunctionType
-    @fun: ::RBS::Types::Function
-    @coverage: boolish
-
-    def initialize: (::RBS::Types::Function, ?coverage: boolish) -> void
-    def pick_arguments: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped]]
-    def arguments_to_symbolic_call: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped]]
-
-    private
-
-    def to_symbolic_call_recursive: (untyped, size: Integer) -> untyped
-    def build_args_type: () -> Array[Type]
-    def build_kwargs_type: () -> Hash[Symbol, Type]
-    def build_type_with_coverage: (String, ::RBS::Types::Function::Param) -> Type
-  end
-
-  class MethodProperty
-    class Stats
-      attr_accessor success: Integer
-      attr_accessor skip: Integer
-      attr_accessor exception: Integer
-      attr_accessor break: bool
-    end
-
-    @receiver_type: Type
-    @method_name: Symbol
-    @method_type: MethodType
-    @size_step: _Each[Integer]
-    @timeout: (Integer | Float | nil)
-    @allow_private: bool
-
-    def initialize: (receiver_type: Type, method_name: Symbol, method_type: MethodType, size_step: _Each[Integer], timeout: (Integer | Float | nil), ?allow_private: bool) -> void
-    def run: () { (Result::Success | Result::Failure | Result::Skip | Result::Exception) -> void } -> Stats
-
-    private
-
-    def call: (size: Integer, stats: Stats) -> (Result::Success | Result::Failure | Result::Skip | Result::Exception)
-    def check_return: (receiver_value: untyped, return_value: untyped) -> ([Symbol] | [Symbol, Exception])
-    def return_type: () -> RBS::Types::t
-    def original_return_type: () -> RBS::Types::t
-    def coverage: (String, untyped, RBS::Types::t, ?RBS::Test::TypeCheck?) -> void
-  end
-
-  class MethodType
-    attr_reader rbs: ::RBS::MethodType
-    @fun_type: FunctionType
-    @type_check: ::RBS::Test::TypeCheck
-
-    def initialize: (::RBS::MethodType | String method, ?type_params_decl: Array[untyped], ?type_args: Array[untyped], ?self_type: ::RBS::Types::ClassInstance?, ?instance_type: ::RBS::Types::ClassInstance?, ?class_type: ::RBS::Types::ClassSingleton?) -> void
-    def pick_arguments: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped], ::Proc?]
-    def arguments_to_symbolic_call: (?size: Integer) -> [Array[untyped], Hash[Symbol, untyped], ::Proc?]
-    def pick_block: (?size: Integer) -> ::Proc?
-    def check_return: (untyped) -> bool
-  end
-
-  module Minitest
-  end
-
-  module RBS
-    self.@builder: ::RBS::DefinitionBuilder
-    self.@env: ::RBS::Environment
-    self.@loader: ::RBS::EnvironmentLoader
-
-    def self.builder: () -> ::RBS::DefinitionBuilder
-    def self.env: () -> ::RBS::Environment
-    def self.loader: () -> ::RBS::EnvironmentLoader
-    def self.parse_type: (String) -> ::RBS::Types::t
-    def self.parse_method_type: (String) -> ::RBS::MethodType
-    def self.parse_member: (String) -> ::RBS::AST::Members::Attribute
-    def self._shift_location: (untyped, Integer) -> void
-    def self.find_alias_decl: (::RBS::TypeName, Symbol) -> ::RBS::AST::Members::Alias?
-  end
-
-  module Result
-    interface _ReturnValue
-      def return_value: () -> untyped
-    end
-
-    module ReturnValueWithType : _ReturnValue
-      def return_value_with_type: () -> String
-
-      private
-
-      def return_value_to_type: (untyped) -> String
-    end
-
-    class Success < Data
-      include ReturnValueWithType
-      def self.new: (symbolic_call: symbolic_call, return_value: untyped) -> instance
-      attr_reader symbolic_call: symbolic_call
-      attr_reader return_value: untyped
-      def called_str: () -> String
-    end
-    class Failure < Data
-      include ReturnValueWithType
-      def self.new: (symbolic_call: symbolic_call, return_value: untyped, ?exception: ::Exception?) -> instance
-      attr_reader symbolic_call: symbolic_call
-      attr_reader return_value: untyped
-      attr_reader exception: ::Exception?
-      def called_str: () -> String
-    end
-    class Skip < Data
-      def self.new: (symbolic_call: symbolic_call?, exception: ::Exception) -> instance
-      attr_reader symbolic_call: symbolic_call?
-      attr_reader exception: ::Exception
-    end
-    class Exception < Data
-      def self.new: (symbolic_call: symbolic_call?, exception: ::Exception) -> instance
-      attr_reader symbolic_call: symbolic_call?
-      attr_reader exception: ::Exception
-    end
-  end
-
-  class Sized[T]
-    @block: ::Proc
-    @such_that: ::Proc?
-
-    def initialize: () { (Integer) -> untyped } -> void
-    def pick: (size: Integer) -> T
-    def such_that: () { (untyped) -> boolish } -> self
-    def such_that_loop: [R] () { (Integer) -> R } -> R
-  end
-
-  class SymbolicCaller
-    class Var
-      attr_reader name: String
-      def initialize: (String name) -> void
-      def +: (String) -> String
-      def to_s: () -> String
-    end
-
-    attr_reader symbolic_call: untyped
-    attr_reader allow_private: bool
-
-    def initialize: (untyped, ?allow_private: bool) -> void
-    def eval: () -> untyped
-    def call_str: () -> String
-    def to_lines: () -> Array[String]
-
-    private
-
-    def try_eval: (untyped) -> untyped
-    def walk: () ?{ (symbolic_call) -> untyped} -> untyped
-    def _walk: (untyped, bool is_last) ?{ (symbolic_call) -> untyped} -> untyped
-    def eval_one: (symbolic_call) -> untyped
-    def var_name: (Module) -> String
-    def printable?: (untyped) -> bool
-    def printable: (untyped) -> String
-  end
-
-  class TypeSubstitution
-    @type_params: ::Array[::RBS::AST::TypeParam]
-    @type_args: ::Array[::RBS::Types::t]
-
-    def initialize: (::Array[::RBS::AST::TypeParam], ::Array[::RBS::Types::t]) -> void
-    def build: () -> ::RBS::Substitution
-    def method_type_sub: (::RBS::MethodType, ?self_type: ::RBS::Types::t?, ?instance_type: ::RBS::Types::ClassInstance?, ?class_type: ::RBS::Types::ClassSingleton?) -> ::RBS::MethodType
-
-    private
-
-    interface _MapType
-      def map_type: { (untyped) -> untyped } -> untyped
-    end
-
-    def sub: (_MapType search, self_type: ::RBS::Types::t?, instance_type: ::RBS::Types::t?, class_type: ::RBS::Types::t?) -> untyped
-  end
-
-  class Type
-    module Arithmetic
-      def self.float: () -> Float
-      def self.positive_float: () -> Float
-    end
-
-    @such_that: (^(untyped) -> ::boolish)?
-
-    GENERATORS: Hash[String, ^() -> Sized[untyped]]
-    SIMPLE_SOURCE: Array[String]
-
-    def self.register: (String) { () [self: instance] -> untyped } -> void
-    def self.random: () -> Type
-    def self.random_without_basic_object: () -> Type
-    def self.call_new_from: (Module, ::RBS::Types::ClassInstance, size: Integer) -> symbolic_call
-
-    attr_reader type: ::RBS::Types::t
-    attr_reader range: Range[untyped]
-
-    def initialize: (String | ::RBS::Types::t, ?range: Range[untyped]) -> void
-
-    # Define rule for generating values
-    #     type.such_that { |i| i != 0 }.pick #=> ensure that the value is not 0
-    def such_that: () { (untyped) -> boolish } -> self
-
-    # Basic API for materializing values
-    def pick: (?size: Integer) -> untyped
-    def to_symbolic_caller: (?size: Integer) -> SymbolicCaller
-    def to_symbolic_call: (?size: Integer) -> untyped
-    def sized: [T] () { (Integer size) -> T } -> Sized[T]
-
-    private
-
-    def to_symbolic_call_from_initialize: (::RBS::Types::ClassInstance, size: Integer) -> (symbolic_call | Value::Module)
-    def parse: (String | ::RBS::Types::t) -> ::RBS::Types::t?
-    def try: (times: Integer, size: Integer) { (Integer size) -> untyped } -> untyped
-
-    def numeric: () -> Sized[Numeric]
-    def integer: () -> Sized[Integer]
-    def none_zero_integer: () -> Sized[Integer]
-    def float: () -> Sized[Float]
-    def rational: () -> Sized[symbolic_call]
-    def complex: () -> Sized[symbolic_call]
-    def string: () -> Sized[String]
-    def symbol: () -> Sized[Symbol]
-    def array: (Type) -> Sized[Array[untyped]]
-    def dict: (Type, Type) -> Sized[Hash[untyped, untyped]]
-    def encoding: () -> symbolic_call
-    def bool: () -> bool
-    def temp_method_object: () -> ::Method
-  end
-
-  module Value
-    class Bottom < BasicObject
-      def inspect: () -> String
-      def class: () -> class
-    end
-
-    class Interface
-      @type: ::RBS::Types::Interface
-      @size: Integer
-      @definition: ::RBS::Definition
-
-      def self.define_method_from_interface: (::Module base_class, String | ::RBS::Types::Interface type, ?size: Integer) -> void
-      def initialize: (String | ::RBS::Types::Interface | String, ?size: Integer) -> void
-      def respond_to?: (Symbol, ?boolish) -> bool
-      def inspect: () -> String
-      def class: () -> class
-    end
-
-    module Intersection
-      @type: ::RBS::Types::Intersection
-      @children: Array[Type]
-      @size: Integer
-
-      def initialize: (::RBS::Types::Intersection | String, ?size: Integer) -> void
-      def respond_to?: (Symbol, ?boolish) -> bool
-      def inspect: () -> String
-      def class: () -> class
-    end
-
-    class Module < BasicObject
-      @type: ::RBS::Types::ClassInstance
-      @size: Integer
-      @self_type: untyped
-
-      def initialize: (::RBS::Types::ClassInstance | String, ?size: Integer) -> void
-      def respond_to?: (Symbol, ?boolish) -> bool
-      def inspect: () -> String
-      def class: () -> class
-    end
-
-    class Top < BasicObject
-      def inspect: () -> String
-      def class: () -> class
-    end
-
-    class Variable
-      attr_reader type: ::RBS::Types::Variable
-
-      def initialize: (::RBS::Types::Variable | String | Symbol) -> void
-      def inspect: () -> String
-      def class: () -> class
-    end
-
-    class Void < BasicObject
-      def inspect: () -> String
-      def class: () -> class
-    end
-  end
-end

data/sig/shims.rbs

@@ -1,4 +0,0 @@
-module Timeout
-  class ExitException < Exception
-  end
-end