rbs 3.4.4 → 3.5.0.pre.1

data/sig/prototype/helpers.rbs

@@ -13,6 +13,10 @@ module RBS
 
       def keyword_hash?: (node) -> bool
 
+      # Returns a symbol if the node is a symbol literal node
+      # 
+      def symbol_literal_node?: (node) -> Symbol?
+
       def args_from_node: (node?) -> Array[untyped]
 
       def untyped: () -> Types::Bases::Any

data/sig/prototype/rbi.rbs

@@ -1,6 +1,8 @@
 module RBS
   module Prototype
     class RBI
+      include Helpers
+      
       attr_reader decls: Array[AST::Declarations::t]
 
       type module_decl = AST::Declarations::Class | AST::Declarations::Module

data/sig/types.rbs

@@ -301,11 +301,16 @@ module RBS
     end
 
     class Record
+      attr_reader all_fields: Hash[Symbol, [t, bool]]
+
       attr_reader fields: Hash[Symbol, t]
 
+      attr_reader optional_fields: Hash[Symbol, t]
+
       type loc = Location[bot, bot]
 
       def initialize: (fields: Hash[Symbol, t], location: loc?) -> void
+                    | (all_fields: Hash[Symbol, [t, bool]], location: loc?) -> void
 
       include _TypeBase
 
@@ -443,13 +448,58 @@ module RBS
       def with_nonreturn_void?: () -> bool
     end
 
+    # Function type without type checking arguments
+    #
+    class UntypedFunction
+      attr_reader return_type: t
+
+      def initialize: (return_type: t) -> void
+
+      def free_variables: (?Set[Symbol]) -> Set[Symbol]
+
+      def map_type: { (t) -> t } -> UntypedFunction
+                  | -> Enumerator[t, UntypedFunction]
+
+      def map_type_name: () { (TypeName, Location[untyped, untyped]?, t) -> TypeName } -> UntypedFunction
+
+      def each_type: () { (t) -> void } -> void
+                   | -> Enumerator[t, void]
+
+      def each_param: () { (Function::Param) -> void } -> void
+                    | -> Enumerator[Function::Param, void]
+
+      include _ToJson
+
+      def sub: (Substitution) -> UntypedFunction
+
+      def with_return_type: (t) -> UntypedFunction
+
+      def update: (?return_type: t) -> UntypedFunction
+
+      def empty?: () -> bool
+
+      def has_self_type?: () -> bool
+
+      def has_classish_type?: () -> bool
+
+      def with_nonreturn_void?: () -> bool
+
+      # Returns `?`
+      def param_to_s: () -> String
+
+      # Returns `return_type.to_s(1)`
+      def return_to_s: () -> String
+    end
+
+    type function = Types::Function | Types::UntypedFunction
+
     class Block
-      attr_reader type: Types::Function
+      attr_reader type: function
       attr_reader required: bool
 
       attr_reader self_type: t?
 
-      def initialize: (type: Types::Function, ?self_type: t?, required: boolish) -> void
+      def initialize: (type: function, ?self_type: t?, required: boolish) -> void
 
       def ==: (untyped other) -> bool
 
@@ -465,14 +515,14 @@ module RBS
     end
 
     class Proc
-      attr_reader type: Function
+      attr_reader type: function
       attr_reader block: Block?
 
       attr_reader self_type: t?
 
       type loc = Location[bot, bot]
 
-      def initialize: (location: loc?, type: Function, ?self_type: t?, block: Block?) -> void
+      def initialize: (location: loc?, type: function, ?self_type: t?, block: Block?) -> void
 
       include _TypeBase
 

data/sig/variance_calculator.rbs

@@ -73,14 +73,14 @@ module RBS
     def in_inherit: (name: TypeName, args: Array[Types::t], variables: Array[Symbol]) -> Result
 
     # The type name must be normalized
-    # 
+    #
     def in_type_alias: (name: TypeName) -> Result
 
     private
 
     def type: (Types::t, result: Result, context: variance) -> void
 
-    def function: (Types::Function, result: Result, context: variance) -> void
+    def function: (Types::function, result: Result, context: variance) -> void
 
     def negate: (variance) -> variance
   end

data/stdlib/csv/0/csv.rbs

@@ -1722,7 +1722,10 @@ class CSV < Object
   #     would read `UTF-32BE` data from the file but transcode it to `UTF-8`
   #     before parsing.
   #
-  def self.foreach: [U] (String | IO | StringIO path, ?::Hash[Symbol, U] options) { (::Array[String?] arg0) -> void } -> void
+  def self.foreach: (String | IO path, ?String mode, headers: true, **untyped options) { (::CSV::Row arg0) -> void } -> void
+                  | (String | IO path, ?String mode, headers: true, **untyped options) -> Enumerator[::CSV::Row, void]
+                  | (String | IO path, ?String mode, **untyped options) { (::Array[String?] arg0) -> void } -> void
+                  | (String | IO path, ?String mode, **untyped options) -> Enumerator[::Array[String?], void]
 
   # <!--
   #   rdoc-file=lib/csv.rb

data/stdlib/fileutils/0/fileutils.rbs

@@ -1771,5 +1771,5 @@ module FileUtils
   #
   # Related: FileUtils.touch.
   #
-  def self?.uptodate?: (path new, pathlist old_list) -> bool
+  def self?.uptodate?: (path new, _Each[path] old_list) -> bool
 end

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

@@ -1,4 +1,6 @@
 module Net
+  type headers = Hash[String | Symbol, untyped]
+
   class HTTPBadResponse < StandardError
   end
 
@@ -775,7 +777,7 @@ module Net
     # -->
     # Like Net::HTTP.get, but writes the returned body to $stdout; returns `nil`.
     #
-    def self.get_print: (URI::Generic uri, ?Hash[String, untyped] header) -> void
+    def self.get_print: (URI::Generic uri, ?headers header) -> void
                       | (String host, String path, ?Integer port) -> void
 
     # <!--
@@ -811,7 +813,7 @@ module Net
     # *   Net::HTTP::Get: request class for HTTP method `GET`.
     # *   Net::HTTP#get: convenience method for HTTP method `GET`.
     #
-    def self.get: (URI::Generic uri, ?Hash[String, untyped] header) -> String
+    def self.get: (URI::Generic uri, ?headers header) -> String
                 | (String host, String path, ?Integer port) -> String
 
     # <!--
@@ -822,7 +824,7 @@ module Net
     # Like Net::HTTP.get, but returns a Net::HTTPResponse object instead of the body
     # string.
     #
-    def self.get_response: (URI::Generic uri, ?Hash[String, untyped] header) ?{ (Net::HTTPResponse) -> void } -> Net::HTTPResponse
+    def self.get_response: (URI::Generic uri, ?headers header) ?{ (Net::HTTPResponse) -> void } -> Net::HTTPResponse
                          | (String host, String path, ?Integer port) -> Net::HTTPResponse
 
     # <!--
@@ -854,7 +856,7 @@ module Net
     # *   Net::HTTP::Post: request class for HTTP method `POST`.
     # *   Net::HTTP#post: convenience method for HTTP method `POST`.
     #
-    def self.post: (URI::Generic url, String data, ?Hash[String, untyped] header) -> Net::HTTPResponse
+    def self.post: (URI::Generic url, String data, ?headers header) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1613,7 +1615,7 @@ module Net
     # *   Net::HTTP::Get: request class for HTTP method GET.
     # *   Net::HTTP.get: sends GET request, returns response body.
     #
-    def get: (String path, ?Hash[String, untyped] initheader, ?bot dest) ?{ (String body_segment) -> void } -> Net::HTTPResponse
+    def get: (String path, ?headers initheader, ?bot dest) ?{ (String body_segment) -> void } -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1633,7 +1635,7 @@ module Net
     #      ["content-type", ["application/json; charset=utf-8"]],
     #      ["connection", ["close"]]]
     #
-    def head: (String path, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def head: (String path, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1666,7 +1668,7 @@ module Net
     # *   Net::HTTP::Post: request class for HTTP method POST.
     # *   Net::HTTP.post: sends POST request, returns response body.
     #
-    def post: (String path, String data, ?Hash[String, untyped] initheader, ?bot dest) ?{ (String body_segment) -> void } -> Net::HTTPResponse
+    def post: (String path, String data, ?headers initheader, ?bot dest) ?{ (String body_segment) -> void } -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1694,7 +1696,7 @@ module Net
     #
     #     http.patch('/todos/1', data) # => #<Net::HTTPCreated 201 Created readbody=true>
     #
-    def patch: (String path, String data, ?Hash[String, untyped] initheader, ?bot dest) ?{ (String body_segment) -> void } -> Net::HTTPResponse
+    def patch: (String path, String data, ?headers initheader, ?bot dest) ?{ (String body_segment) -> void } -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1710,7 +1712,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.put('/todos/1', data) # => #<Net::HTTPOK 200 OK readbody=true>
     #
-    def put: (String path, String data, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def put: (String path, String data, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1726,7 +1728,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.proppatch('/todos/1', data)
     #
-    def proppatch: (String path, String body, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def proppatch: (String path, String body, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1742,7 +1744,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.lock('/todos/1', data)
     #
-    def lock: (String path, String body, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def lock: (String path, String body, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1758,7 +1760,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.unlock('/todos/1', data)
     #
-    def unlock: (String path, String body, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def unlock: (String path, String body, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1773,7 +1775,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.options('/')
     #
-    def options: (String path, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def options: (String path, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1789,7 +1791,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.propfind('/todos/1', data)
     #
-    def propfind: (String path, ?untyped? body, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def propfind: (String path, ?untyped? body, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1804,7 +1806,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.delete('/todos/1')
     #
-    def delete: (String path, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def delete: (String path, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1819,7 +1821,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.move('/todos/1')
     #
-    def move: (String path, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def move: (String path, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1834,7 +1836,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.copy('/todos/1')
     #
-    def copy: (String path, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def copy: (String path, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1850,7 +1852,7 @@ module Net
     #     http.mkcol('/todos/1', data)
     #     http = Net::HTTP.new(hostname)
     #
-    def mkcol: (String path, ?untyped? body, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def mkcol: (String path, ?untyped? body, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1865,7 +1867,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.trace('/todos/1')
     #
-    def trace: (String path, ?Hash[String, untyped] initheader) -> Net::HTTPResponse
+    def trace: (String path, ?headers initheader) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1893,7 +1895,7 @@ module Net
     #
     #     #<Net::HTTPOK 200 OK readbody=false>
     #
-    def request_get: (String path, ?Hash[String, untyped] initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
+    def request_get: (String path, ?headers initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1908,7 +1910,7 @@ module Net
     #     http = Net::HTTP.new(hostname)
     #     http.head('/todos/1') # => #<Net::HTTPOK 200 OK readbody=true>
     #
-    def request_head: (String path, ?Hash[String, untyped] initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
+    def request_head: (String path, ?headers initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1937,9 +1939,9 @@ module Net
     #
     #     "{\n  \"xyzzy\": \"\",\n  \"id\": 201\n}"
     #
-    def request_post: (String path, String data, ?Hash[String, untyped] initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
+    def request_post: (String path, String data, ?headers initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
 
-    def request_put: (String path, String data, ?Hash[String, untyped] initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
+    def request_put: (String path, String data, ?headers initheader) ?{ (Net::HTTPResponse response) -> void } -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -1987,7 +1989,7 @@ module Net
     #     http.send_request('POST', '/todos', 'xyzzy')
     #     # => #<Net::HTTPCreated 201 Created readbody=true>
     #
-    def send_request: (String name, String path, ?String? data, ?Hash[String, untyped]? header) -> Net::HTTPResponse
+    def send_request: (String name, String path, ?String? data, ?headers? header) -> Net::HTTPResponse
 
     # <!--
     #   rdoc-file=lib/net/http.rb
@@ -2076,7 +2078,7 @@ module Net
     #   - new(m, reqbody, resbody, uri_or_path, initheader = nil)
     # -->
     #
-    def initialize: (String m, boolish reqbody, boolish resbody, URI::Generic | String uri_or_path, ?Hash[String, untyped] initheader) -> Net::HTTP
+    def initialize: (String m, boolish reqbody, boolish resbody, URI::Generic | String uri_or_path, ?headers initheader) -> Net::HTTP
 
     # <!-- rdoc-file=lib/net/http/generic_request.rb -->
     # Returns the string method name for the request:
@@ -3288,8 +3290,8 @@ module Net
     # to enable compression of the response body unless Accept-Encoding or Range are
     # supplied in `initheader`.
     #
-    def initialize: (String path, ?Hash[String, untyped] initheader) -> void
-                  | (URI::Generic uri, ?Hash[String, untyped] initheader) -> void
+    def initialize: (String path, ?headers initheader) -> void
+                  | (URI::Generic uri, ?headers initheader) -> void
   end
 
   # <!-- rdoc-file=lib/net/http/requests.rb -->

data/stdlib/socket/0/socket.rbs

@@ -482,8 +482,8 @@ class Socket < BasicSocket
   #       puts sock.read
   #     }
   #
-  def self.tcp: (String host, Integer port, ?String local_host, ?Integer local_port, ?resolv_timeout: Numeric, ?connect_timeout: Numeric) -> instance
-              | (String host, Integer port, ?String local_host, ?Integer local_port, ?resolv_timeout: Numeric, ?connect_timeout: Numeric) { (instance) -> void } -> void
+  def self.tcp: (String host, Integer port, ?String local_host, ?Integer local_port, ?resolv_timeout: Time::_Timeout, ?connect_timeout: Time::_Timeout) -> instance
+              | (String host, Integer port, ?String local_host, ?Integer local_port, ?resolv_timeout: Time::_Timeout, ?connect_timeout: Time::_Timeout) { (instance) -> void } -> void
 
   # <!--
   #   rdoc-file=ext/socket/lib/socket.rb

data/stdlib/timeout/0/timeout.rbs

@@ -62,6 +62,12 @@ module Timeout
   def self?.timeout: [T] (Numeric? sec, ?singleton(Exception) klass, ?String message) { (Numeric sec) -> T } -> T
 end
 
+# <!-- rdoc-file=lib/timeout.rb -->
+# Internal error raised to when a timeout is triggered.
+#
+class Timeout::ExitException < Exception
+end
+
 # <!-- rdoc-file=lib/timeout.rb -->
 # Raised by Timeout.timeout when the block times out.
 #

data/stdlib/uri/0/generic.rbs

@@ -154,7 +154,7 @@ module URI
     # then it does URI::Escape.escape all URI components and tries again.
     #
     def self.build2: (Array[nil | String | Integer]) -> URI::Generic
-                   | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> URI::Generic
+                   | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> instance
 
     # <!--
     #   rdoc-file=lib/uri/generic.rb
@@ -172,7 +172,7 @@ module URI
     # See ::new for hash keys to use or for order of array items.
     #
     def self.build: (Array[nil | String | Integer]) -> URI::Generic
-                  | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> URI::Generic
+                  | ({ scheme: String?, userinfo: String?, host: String?, port: Integer?, registry: String?, path: String?, opaque: String?, query: String?, fragment: String? }) -> instance
 
     # <!--
     #   rdoc-file=lib/uri/generic.rb

data/stdlib/uri/0/http.rbs

@@ -45,8 +45,8 @@ module URI
     # Currently, if passed userinfo components this method generates invalid HTTP
     # URIs as per RFC 1738.
     #
-    def self.build: (Array[String | Integer] args) -> URI::HTTP
-                  | ({ userinfo: String?, host: String?, port: Integer?, path: String?, query: String?, fragment: String? }) -> URI::HTTP
+    def self.build: (Array[String | Integer] args) -> instance
+                  | ({ userinfo: String?, host: String?, port: Integer?, path: String?, query: String?, fragment: String? }) -> instance
 
     # <!--
     #   rdoc-file=lib/uri/http.rb

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 3.4.4
+  version: 3.5.0.pre.1
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-02-08 00:00:00.000000000 Z
+date: 2024-04-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: abbrev
@@ -132,6 +132,7 @@ files:
 - core/unbound_method.rbs
 - core/warning.rbs
 - docs/CONTRIBUTING.md
+- docs/architecture.md
 - docs/collection.md
 - docs/data_and_struct.md
 - docs/gem.md
@@ -210,10 +211,6 @@ files:
 - lib/rbs/method_type.rb
 - lib/rbs/namespace.rb
 - lib/rbs/parser_aux.rb
-- lib/rbs/parser_compat/lexer_error.rb
-- lib/rbs/parser_compat/located_value.rb
-- lib/rbs/parser_compat/semantics_error.rb
-- lib/rbs/parser_compat/syntax_error.rb
 - lib/rbs/prototype/helpers.rb
 - lib/rbs/prototype/node_usage.rb
 - lib/rbs/prototype/rb.rb

data/lib/rbs/parser_compat/lexer_error.rb

@@ -1,6 +0,0 @@
-# frozen_string_literal: true
-
-RBS.print_warning {
-  "RBS::Parser::LexerError is deprecated and will be deleted in RBS 2.0."
-}
-RBS::Parser::LexerError = RBS::ParsingError

data/lib/rbs/parser_compat/located_value.rb

@@ -1,7 +0,0 @@
-# frozen_string_literal: true
-
-RBS.print_warning {
-  "RBS::Parser::LocatedValue is deprecated and will be deleted in RBS 2.0."
-}
-class RBS::Parser::LocatedValue
-end

data/lib/rbs/parser_compat/semantics_error.rb

@@ -1,6 +0,0 @@
-# frozen_string_literal: true
-
-RBS.print_warning {
-  "RBS::Parser::SemanticsError is deprecated and will be deleted in RBS 2.0."
-}
-RBS::Parser::SemanticsError = RBS::ParsingError

data/lib/rbs/parser_compat/syntax_error.rb

@@ -1,6 +0,0 @@
-# frozen_string_literal: true
-
-RBS.print_warning {
-  "RBS::Parser::SyntaxError is deprecated and will be deleted in RBS 2.0."
-}
-RBS::Parser::SyntaxError = RBS::ParsingError