rbs 3.9.0.pre.1 → 3.9.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: dfc16707bf516d2296468a341b413fd87a4ecb032b8fb54717fa36ffe6310d10
-  data.tar.gz: ecbf8ac797a87c14b34aa0e78bf7c7c708762bc5048c16230f5d2bf23d38f981
+  metadata.gz: 99881d9d6dc3248787fcd06f704731455c6a295f040dea8f325b6d4575906de0
+  data.tar.gz: fbb1b6add7b4bba7469e9e33cddecf88d4b566517f385869d7878de519538579
 SHA512:
-  metadata.gz: c8f881cc73012ba92d79512a934c1d75fe879e0de1b03e44286d4288414cf7678b5d5cf1319718765c6457136fc1a72ce435fe8392fc186abdd3d712f4662d6e
-  data.tar.gz: e724bc074e0ac9e3cd46e8eb40ad6b0837a31820786d924bc4e79760946f55cf0ad8d7ca7ca2bee97ca9ad98ef5c4671e9df0dee4ece85f636f72ebd8787a85d
+  metadata.gz: e3c303d4e3e34b75e5041a42050891868fc52f6a6f66dec8877b56adaef5d039045029e7210e7d597ab7f88f5ec52862437cdbc18e8c0e086b4810559a05b643
+  data.tar.gz: 0b0de8c8ba60b21b53f6e66004afe2519bb34f9c535d54636bc3f4b0772c67f62b7a09399ba88e1df84b482be75601380105a0bad89b3613e2896d158672a648

data/CHANGELOG.md

@@ -1,5 +1,23 @@
 # CHANGELOG
 
+## 3.9.0 (2025-03-18)
+
+### Miscellaneous
+
+* Update steep ([#2328](https://github.com/ruby/rbs/pull/2328))
+
+## 3.9.0.pre.2 (2025-03-14)
+
+### Signature updates
+
+* `Hash.new` type ([#2323](https://github.com/ruby/rbs/pull/2323))
+* `Module#define_method` ([#2325](https://github.com/ruby/rbs/pull/2325))
+* `Object#define_singleton_method` ([#2324](https://github.com/ruby/rbs/pull/2324))
+
+### Language updates
+
+* Fix `define_method` method block self type ([#2325](https://github.com/ruby/rbs/pull/2325))
+
 ## 3.9.0.pre.1 (2025-03-11)
 
 ### Signature updates

data/core/hash.rbs

@@ -1845,8 +1845,8 @@ class Hash[unchecked out K, unchecked out V] < Object
   # be resized.
   #
   def initialize: (?capacity: int) -> void
-                | [V] (V default, ?capacity: int) -> void
-                | [A, B] (?capacity: int) { (Hash[A, B] hash, A key) -> B } -> void
+                | (V default, ?capacity: int) -> void
+                | (?capacity: int) { (Hash[K, V] hash, K key) -> V } -> void
 
   # <!--
   #   rdoc-file=hash.c

data/core/kernel.rbs

@@ -1729,7 +1729,7 @@ module Kernel : BasicObject
   def self?.sleep: (?nil) -> bot
                  | (Time::_Timeout duration) -> Integer
 
-  %a{steep:deprecated}
+  %a{deprecated}
   interface _Divmod
     def divmod: (Numeric) -> [ Numeric, Numeric ]
   end
@@ -2297,7 +2297,7 @@ module Kernel : BasicObject
   #     chris.greet("Hi") #=> "Hi, I'm Chris!"
   #
   def define_singleton_method: (interned name, Method | UnboundMethod | Proc method) -> Symbol
-                             | (interned name) { (?) -> untyped } -> Symbol
+                             | (interned name) { (?) [self: self] -> untyped } -> Symbol
 
   # <!--
   #   rdoc-file=io.c

data/core/module.rbs

@@ -731,8 +731,8 @@ class Module < Object
   #     I'm Dino!
   #     #<B:0x401b39e8>
   #
-  def define_method: (interned symbol, ^() [self: self] -> untyped | Method | UnboundMethod method) -> Symbol
-                   | (interned symbol) { () [self: self] -> untyped } -> Symbol
+  def define_method: (interned symbol, ^(?) [self: top] -> untyped | Method | UnboundMethod method) -> Symbol
+                   | (interned symbol) { (?) [self: top] -> untyped } -> Symbol
 
   # <!--
   #   rdoc-file=object.c
@@ -1699,6 +1699,6 @@ class Module < Object
   def attr: (*interned arg0) -> Array[Symbol]
 
   # A previous incarnation of `interned` for backward-compatibility (see #1499)
-  %a{steep:deprecated}
+  %a{deprecated: Use `interned`}
   type id = interned
 end

data/core/object.rbs

@@ -106,5 +106,5 @@ class Object < BasicObject
 end
 
 # A previous incarnation of `interned` for backward-compatibility (see #1499)
-%a{steep:deprecated}
+%a{deprecated: Use `interned` instead}
 type Object::name = interned

data/core/string.rbs

@@ -3574,10 +3574,10 @@ class String
   def valid_encoding?: () -> bool
 end
 
-%a{steep:deprecated}
+%a{deprecated}
 interface _ArefFromStringToString
   def []: (String) -> String
 end
 
-%a{steep:deprecated}
+%a{deprecated}
 type String::encode_fallback = Hash[String, String] | Proc | Method | _ArefFromStringToString

data/ext/rbs_extension/parser.c

@@ -661,16 +661,16 @@ static void parse_function(parserstate *state, VALUE *function, VALUE *block, VA
     parser_advance_assert(state, pRPAREN);
   }
 
-  // Untyped method parameter means it cannot have block
-  if (rbs_is_untyped_params(&params)) {
-    if (state->next_token.type != pARROW) {
-      raise_syntax_error(state, state->next_token2, "A method type with untyped method parameter cannot have block");
-    }
-  }
-
   // Passing NULL to function_self_type means the function itself doesn't accept self type binding. (== method type)
   if (function_self_type) {
     *function_self_type = parse_self_type_binding(state);
+  } else {
+    // Parsing method type. untyped_params means it cannot have a block
+    if (rbs_is_untyped_params(&params)) {
+      if (state->next_token.type != pARROW) {
+        raise_syntax_error(state, state->next_token2, "A method type with untyped method parameter cannot have block");
+      }
+    }
   }
 
   VALUE required = Qtrue;

data/lib/rbs/ast/type_param.rb

@@ -56,16 +56,6 @@ module RBS
         }.to_json(state)
       end
 
-      def rename(name)
-        TypeParam.new(
-          name: name,
-          variance: variance,
-          upper_bound: upper_bound_type,
-          location: location,
-          default_type: default_type
-        ).unchecked!(unchecked?)
-      end
-
       def map_type(&block)
         if b = upper_bound_type
           _upper_bound_type = yield(b)

data/lib/rbs/prototype/rb.rb

@@ -382,7 +382,8 @@ module RBS
             name: const_name,
             type: type,
             location: nil,
-            comment: comments[node.first_lineno - 1]
+            comment: comments[node.first_lineno - 1],
+            annotations: []
           )
 
         when :IASGN

data/lib/rbs/prototype/rbi.rb

@@ -257,7 +257,8 @@ module RBS
               name: name,
               type: type,
               location: nil,
-              comment: nil
+              comment: nil,
+              annotations: []
             )
           end
         when :ALIAS

data/lib/rbs/prototype/runtime.rb

@@ -250,6 +250,8 @@ module RBS
               method = builder.build_singleton(module_name.absolute!).methods[singleton]
               method_name = singleton
               kind = :singleton
+            else
+              raise
             end
 
             if method
@@ -462,6 +464,7 @@ module RBS
             name: to_type_name(name.to_s),
             type: type,
             location: nil,
+            annotations: [],
             comment: nil
           )
         end

data/lib/rbs/types.rb

@@ -109,18 +109,14 @@ module RBS
       class Any < Base
         def initialize(location:, todo: false)
           super(location: location)
-          todo! if todo
+          if todo
+            @string = "__todo__"
+          end
         end
 
         def to_s(level=0)
           @string || "untyped"
         end
-
-        # @deprecated: this method is now called from the constructor, do not call it from outside
-        def todo!
-          @string = '__todo__'
-          self
-        end
       end
       class Nil < Base; end
       class Top < Base; end

data/lib/rbs/unit_test/with_aliases.rb

@@ -127,7 +127,9 @@ module RBS
 
             # `Range` requires `begin <=> end` to return non-nil, but doesn't actually
             # end up using the return value of it. This is to add that in when needed.
-            def lower.<=>(rhs) = :not_nil unless defined? lower.<=>
+            unless defined? lower.<=>
+              def lower.<=>(rhs) = :not_nil # steep:ignore MethodDefinitionInUndeclaredModule
+            end
 
             # If `lower <=> rhs` is defined but nil, then that means we're going to be constructing
             # an illegal range (eg `3..ToInt.new(4)`). So, we need to skip yielding an invalid range

data/lib/rbs/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module RBS
-  VERSION = "3.9.0.pre.1"
+  VERSION = "3.9.0"
 end

data/sig/annotate/rdoc_source.rbs

@@ -25,6 +25,8 @@ module RBS
                      | (TypeName, singleton_method: Symbol) -> Array[RDoc::AnyMethod]?
 
       def find_attribute: (TypeName, Symbol, singleton: bool) -> Array[RDoc::Attr]?
+
+      def class_docs: (TypeName) -> Array[::RDoc::Markup::Document | ::RDoc::Comment | ::String]?
     end
   end
 end

data/sig/cli.rbs

@@ -80,6 +80,8 @@ module RBS
 
     def run_subtract: (Array[String], top) -> void
 
+    def run_diff: (Array[String], LibraryOptions) -> void
+
     def test_opt: (LibraryOptions) -> String?
 
     def collection_options: (Array[String]) -> OptionParser

data/sig/namespace.rbs

@@ -142,5 +142,5 @@ end
 
 module Kernel
   # Deprecated: Use `RBS::Namespace.parse` instead
-  %a{steep:deprecated} def Namespace: (String) -> RBS::Namespace
+  %a{deprecated} def Namespace: (String) -> RBS::Namespace
 end

data/sig/typename.rbs

@@ -75,5 +75,5 @@ end
 
 module Kernel
   # Deprecated: Use `RBS::TypeName.parse` instead
-  %a{steep:deprecated} def TypeName: (String name) -> RBS::TypeName
+  %a{deprecated: Use `RBS::TypeName.parse` instead} def TypeName: (String name) -> RBS::TypeName
 end

data/sig/types.rbs

@@ -114,9 +114,6 @@ module RBS
         @string: String?
 
         def initialize: (location: Location[bot, bot]?, ?todo: bool) -> void
-
-        %a{steep:deprecated}
-        def todo!: () -> self
       end
 
       class Nil < Base

data/stdlib/net-http/0/net-http.rbs

@@ -2404,7 +2404,7 @@ module Net
     alias length size
 
     # A previous incarnation of `interned` for backward-compatibility (see #1499)
-    %a{steep:deprecated}
+    %a{deprecated: Use `interned` instead}
     type key = interned
 
     # <!--

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 3.9.0.pre.1
+  version: 3.9.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 bindir: exe
 cert_chain: []
-date: 2025-03-11 00:00:00.000000000 Z
+date: 2025-03-18 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: logger