rbs 3.3.0 → 3.3.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 8e63ecace589850a190944136198f3d66e4265d7a2d49909e705043687492698
-  data.tar.gz: a6795431478b3d5300a8df0bd4168250c4b7124807a790e99788e05d280e7bdc
+  metadata.gz: 5578e86c15b544b7609720ca682e2d27015777e0a337b31cf2e5635ad8f055bc
+  data.tar.gz: e29e44859fca53e8698b4eeade30b7b9d9e0f4d17766d9d2195d24b53dc20ecb
 SHA512:
-  metadata.gz: 8ed98b066766f8350bdcd71878120a054a53e9246cf4c7766b4f3b4121a554af6bd94e881e59f0ffc03155e55abcaa6f864a8c763fde1dfa2b9d1930b49d9075
-  data.tar.gz: cc8391b0262bf39937f39f53e9e09e8acf860e32a4d1009e46870c9b9e674910aaf96fff2d9814e176f677fce7675a0d55c063969c8bd8c188512c1b6ef07735
+  metadata.gz: df94b11063185c3728d4590a6ca9bc46a5efd707956956f1a46cacb1c06f80e4fc4d1d92180700f6411b2a4903406f0ca328a726019895c1fdcd74deea3e3647
+  data.tar.gz: 534f7db84014b9c7030862248115cc6f263de3d7cd0d3e3349a416052c2ee0764b35925756362c0d0adc5da0330f2937c6ca0544be666b8dad8b86d5e117e36e

data/CHANGELOG.md

@@ -2,6 +2,21 @@
 
 ## master
 
+## 3.3.1 (2023-11-21)
+
+### Library changes
+
+* Allow to use RBS in symlinked tree ([#1624](https://github.com/ruby/rbs/pull/1624))
+* Should escape if param name include not simple-word ([#1618](https://github.com/ruby/rbs/pull/1618))
+
+#### rbs collection
+
+* Load Bundler lazily ([#1612](https://github.com/ruby/rbs/pull/1612))
+
+### Miscellaneous
+
+* Stop using `bundle` command ([#1619](https://github.com/ruby/rbs/pull/1619))
+
 ## 3.3.0 (2023-11-09)
 
 ### Library changes

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    rbs (3.3.0)
+    rbs (3.3.1)
       abbrev
 
 PATH

data/README.md

@@ -77,6 +77,53 @@ $ rbs methods ::Object
 $ rbs method Object then
 ```
 
+An end user of `rbs` will probably find `rbs prototype` the most useful. This command generates boilerplate signature declarations for ruby files. For example, say you have written the below ruby script.
+
+```ruby
+# person.rb
+class Person
+  attr_reader :name
+  attr_reader :contacts
+
+  def initialize(name:)
+    @name = name
+    @contacts = []
+  end
+
+  def speak
+    "I'm #{@name} and I love Ruby!"
+  end
+end
+```
+
+Running prototype on the above will automatically generate
+
+```
+$ rbs prototype rb person.rb
+class Person
+  @name: untyped
+
+  @contacts: untyped
+
+  attr_reader name: untyped
+
+  attr_reader contacts: untyped
+
+  def initialize: (name: untyped) -> void
+
+  def speak: () -> ::String
+end
+```
+
+It prints signatures for all methods, classes, instance variables, and constants.
+This is only a starting point, and you should edit the output to match your signature more accurately.
+
+`rbs prototpe` offers three options.
+
+- `rb` generates from just the available Ruby code
+- `rbi` generates from Sorbet RBI
+- `runtime` generates from runtime API
+
 ## Library
 
 There are two important concepts, _environment_ and _definition_.

data/Steepfile

@@ -8,8 +8,7 @@ target :lib do
     "lib/rbs/test.rb"
   )
 
-  library "pathname", "json", "logger", "monitor", "tsort", "uri", 'dbm', 'pstore', 'singleton', 'shellwords', 'fileutils', 'find', 'digest', 'abbrev', 'prettyprint'
-  signature 'stdlib/yaml/0'
+  library "pathname", "json", "logger", "monitor", "tsort", "uri", 'dbm', 'pstore', 'singleton', 'shellwords', 'fileutils', 'find', 'digest', 'abbrev', 'prettyprint', 'yaml'
   signature "stdlib/strscan/0/"
   signature "stdlib/optparse/0/"
   signature "stdlib/rdoc/0/"

data/lib/rbs/cli.rb

@@ -1246,6 +1246,8 @@ EOB
     end
 
     def run_collection(args, options)
+      require 'bundler'
+
       opts = collection_options(args)
       params = {}
       opts.order args.drop(1), into: params

data/lib/rbs/collection/config/lockfile_generator.rb

@@ -83,7 +83,7 @@ module RBS
         private def validate_gemfile_lock_path!(lock:, gemfile_lock_path:)
           return unless lock
           return unless lock.gemfile_lock_fullpath
-          unless lock.gemfile_lock_fullpath == gemfile_lock_path
+          unless File.realpath(lock.gemfile_lock_fullpath) == File.realpath(gemfile_lock_path)
             raise GemfileLockMismatchError.new(expected: lock.gemfile_lock_fullpath, actual: gemfile_lock_path)
           end
         end

data/lib/rbs/collection.rb

@@ -1,7 +1,6 @@
 # frozen_string_literal: true
 
 require 'yaml'
-require 'bundler'
 
 require_relative './collection/sources'
 require_relative './collection/config'

data/lib/rbs/diff.rb

@@ -53,13 +53,13 @@ module RBS
         builder.build_instance(@type_name).methods
       rescue => e
         RBS.logger.warn("#{path}: (#{e.class}) #{e.message}")
-        {}
+        {} #: Hash[Symbol, Definition::Method]
       end
       singleton_methods = begin
         builder.build_singleton(@type_name).methods
       rescue => e
         RBS.logger.warn("#{path}: (#{e.class}) #{e.message}")
-        {}
+        {} #: Hash[Symbol, Definition::Method]
       end
 
       constant_children = begin
@@ -67,7 +67,7 @@ module RBS
         constant_resolver.children(@type_name)
       rescue => e
         RBS.logger.warn("#{path}: (#{e.class}) #{e.message}")
-        {}
+        {} #: Hash[Symbol, Constant]
       end
 
       [ instance_methods, singleton_methods, constant_children ]
@@ -101,7 +101,8 @@ module RBS
         prefix = kind == :instance ? "" : "self."
 
         if definition_method.alias_of
-          "alias #{prefix}#{key} #{prefix}#{definition_method.alias_of.defs.first.member.name}"
+          first_def = definition_method.alias_of.defs.first #: Definition::Method::TypeDef
+          "alias #{prefix}#{key} #{prefix}#{first_def.member.name}"
         else
           "def #{prefix}#{key}: #{definition_method.method_types.join(" | ")}"
         end

data/lib/rbs/prototype/runtime/value_object_generator.rb

@@ -33,7 +33,9 @@ module RBS
         # def self.members: () -> [ :foo, :bar ]
         # def members: () -> [ :foo, :bar ]
         def build_s_members
-          [:singleton, :instance].map do |kind|
+          (
+            [:singleton, :instance] #: Array[AST::Members::MethodDefinition::kind]
+          ).map do |kind|
             AST::Members::MethodDefinition.new(
               name: :members,
               overloads: [

data/lib/rbs/types.rb

@@ -883,7 +883,11 @@ module RBS
 
         def to_s
           if name
-            "#{type} #{name}"
+            if name.match?(/\A[a-zA-Z0-9_]+\z/)
+              "#{type} #{name}"
+            else
+              "#{type} `#{name}`"
+            end
           else
             "#{type}"
           end

data/lib/rbs/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RBS
-  VERSION = "3.3.0"
+  VERSION = "3.3.1"
 end

data/sig/diff.rbs

@@ -15,9 +15,12 @@ module RBS
     def each_diff: () { (String before, String after) -> void } -> void
 
     private def each_diff_by: (Symbol kind, Hash[::Symbol, Definition::Method] before_methods, Hash[::Symbol, Definition::Method] after_methods) { (String before, String after) -> void } -> void
-    private def build_methods: (Array[String] path) -> [ Hash[::Symbol, Definition::Method], Hash[::Symbol, Definition::Method] ]
+    private def build_methods: (Array[String] path) -> [ Hash[::Symbol, Definition::Method], Hash[::Symbol, Definition::Method] , Hash[Symbol, Constant]]
     private def build_env: (Array[String] path) -> Environment
     private def build_builder: (Environment env) -> DefinitionBuilder
     private def definition_method_to_s: (Symbol key, Symbol kind, Definition::Method definition_method) -> String?
+    private def each_diff_methods: (Symbol kind, Hash[Symbol, Definition::Method], Hash[Symbol, Definition::Method]) { (String before, String after) -> void } -> void
+    private def each_diff_constants: (Hash[Symbol, Constant] before_constants, Hash[Symbol, Constant] after_constants) { (String before, String after) -> void } -> void
+    private def constant_to_s: (Constant?) -> String
   end
 end

data/sig/prototype/runtime.rbs

@@ -2,12 +2,17 @@ module RBS
   module Prototype
     class Runtime
       module Reflection
+        self.@object_class: UnboundMethod
         def self.object_class: (Module value) -> Class
 
+        self.@constants_of: UnboundMethod
         def self.constants_of: (Module mod, ?bool inherit) -> Array[Symbol]
       end
 
       module Helpers
+        @module_name_method: UnboundMethod
+        @untyped: Types::Bases::Any
+
         private
 
         def const_name: (Module const) -> String?
@@ -19,12 +24,15 @@ module RBS
 
         def to_type_name: (String name, ?full_name: bool) -> TypeName
 
-        def untyped: () -> untyped
+        def untyped: () -> Types::Bases::Any
       end
 
       class ValueObjectBase
         include Helpers
 
+        # @target_class stores the singleton object of `Data` or `Struct` subclass
+        @target_class: untyped
+
         def build_decl: () -> AST::Declarations::Class
 
         private
@@ -33,6 +41,10 @@ module RBS
 
         def build_s_members: () -> Array[AST::Members::MethodDefinition]
 
+        def build_super_class: () -> AST::Declarations::Class::Super
+
+        def add_decl_members: (AST::Declarations::Class) -> void
+
         def initialize: (Class target_class) -> void
       end
 
@@ -77,9 +89,9 @@ module RBS
 
         def skip_mixin?: (type_name: TypeName, module_name: TypeName, mixin_class: mixin_class) -> bool
 
-        def skip_singleton_method?: (module_name: TypeName, name: Symbol) -> bool
+        def skip_singleton_method?: (module_name: TypeName, method: UnboundMethod, accessibility: Definition::accessibility) -> bool
 
-        def skip_instance_method?: (module_name: TypeName, name: Symbol) -> bool
+        def skip_instance_method?: (module_name: TypeName, method: UnboundMethod, accessibility: Definition::accessibility) -> bool
 
         def skip_constant?: (module_name: String, name: Symbol) -> bool
 
@@ -147,6 +159,8 @@ module RBS
 
       def generate_module: (Module mod) -> void
 
+      def generate_mixin: (Module mod, AST::Declarations::Class | AST::Declarations::Module, TypeName, TypeName) -> void
+
       # Generate/find outer module declarations
       # This is broken down into another method to comply with `DRY`
       # This generates/finds declarations in nested form & returns the last array of declarations
@@ -158,6 +172,8 @@ module RBS
 
       def block_from_ast_of: (UnboundMethod method) -> Types::Block?
 
+      def block_from_body: (RubyVM::AbstractSyntaxTree::Node) -> Types::Block?
+
       def can_alias?: (Module, UnboundMethod) -> bool
 
       def type_params: (Module) -> Array[AST::TypeParam]

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 3.3.0
+  version: 3.3.1
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-11-09 00:00:00.000000000 Z
+date: 2023-11-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: abbrev