rbs 3.0.4 → 3.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: be4870f9cbfced10b6cbfe578fc38429fa9c4232fe687a4a4e075a3970db2a0c
-  data.tar.gz: 837608d29d1541864457f307dbb52c9809bdc92325d8c255414c6034ba6f3b77
+  metadata.gz: 38298f073fa4b8e071ba2f38a13640e4143a4a64981e16535a214364ce99a536
+  data.tar.gz: 0a818cb58aac7767500da1bd57b4a06d193232a1c8b0fa88537c372af542b180
 SHA512:
-  metadata.gz: c3cb35ee898cfe7da1dedac7ff448a201391da32fab7aef37ef0547fb0bdfbf887b8c72fdb2351357501811bfbe6c14f018de92f4ccb81d21833be03b243bcf4
-  data.tar.gz: 838ef9460abf1ba9e59ae8b5a70a704b1a3b931f83ef86f111f6729434e28680e26df3f2dc5ee367a9b28019fdd542272873eac44a200bf7f70438371582494b
+  metadata.gz: cf52478cb1f82d103499796eae6e946925b79faca65cf7c52665ebb9966fcf3d8f2a344bf7806dffe7abe8d8e8f5b49e01c0e4bb58bb54fb870104582a84d2e6
+  data.tar.gz: f63f19cff5e7246dc3d9e6fe6c1ed46256eae0f83f6c939d50bda1adb5ff78de8e71c4f9864c6059da338485046ad7b936b8b65d1d838610eebb4bf902013bad

data/CHANGELOG.md

@@ -2,6 +2,62 @@
 
 ## master
 
+## 3.1.1 (2023-07-18)
+
+### Signature updates
+
+* Removed `GC.verify_transient_heap_internal_consistency` ([#1374](https://github.com/ruby/rbs/pull/1374))
+
+### Library changes
+
+* Relax rdoc version requirement in RDoc plugin ([#1333](https://github.com/ruby/rbs/pull/1333))
+
+#### rbs collection
+
+* Spec may be missing when rbs_collection.yaml declares dependency ([#1378](https://github.com/ruby/rbs/pull/1378))
+
+### Miscellaneous
+
+* Handle connection error with Resolv_test.rb ([#1356](https://github.com/ruby/rbs/pull/1356))
+* Fix broken CI ([#1353](https://github.com/ruby/rbs/pull/1353))
+
+## 3.1.0 (2023-04-26)
+
+### Signature updates
+
+* `Module#attr_*` methods ([#1300](https://github.com/ruby/rbs/pull/1300))
+* `Object#define_singleton_method` ([#1299](https://github.com/ruby/rbs/pull/1299))
+* `String#scan` ([#1297](https://github.com/ruby/rbs/pull/1297))
+* Removed `Gem.datadir` ([#1273](https://github.com/ruby/rbs/pull/1273))
+
+### Language updates
+
+### Library changes
+
+* Use fenced code block instead of indented one in .rbs files ([#1312](https://github.com/ruby/rbs/pull/1312))
+* Fix single use clause `:type_name` location ([#1307](https://github.com/ruby/rbs/pull/1307))
+* Fix `InvalidOverloadMethodError` on overloading extended method ([#1294](https://github.com/ruby/rbs/pull/1294))
+* Fix super class of `NoTypeFoundError` from `BaseError` to `DefinitionError` ([#1290](https://github.com/ruby/rbs/pull/1290))
+* Support `#detailed_message` for `NonregularTypeAliasError`, `CyclicTypeParameterBound`, `InconsistentClassModuleAliasError` and `CyclicClassAliasDefinitionError` ([#1289](https://github.com/ruby/rbs/pull/1289))
+* Implement `rbs subtract` command ([#1287](https://github.com/ruby/rbs/pull/1287))
+* Support `#detailed_message` for `InvalidVarianceAnnotationError`, `RecursiveAliasDefinitionError`, `MixinClassError` and `RecursiveTypeAliasError` ([#1285](https://github.com/ruby/rbs/pull/1285))
+* Support `#detailed_message` for `NoTypeError`, `InheritModuleError`, `NoSelfTypeFoundError` and `NoMixinFoundError` ([#1280](https://github.com/ruby/rbs/pull/1280))
+* Validate duplicate type aliases ([#1279](https://github.com/ruby/rbs/pull/1279))
+* Add `-e`, `--type`, and `--method-type` options to `rbs parse` ([#1252](https://github.com/ruby/rbs/pull/1252))
+
+#### rbs prototype
+
+* Convert `include` in `class << self` to `extend` by `prototype rb` ([#1255](https://github.com/ruby/rbs/pull/1255))
+
+#### rbs collection
+
+* Skip loading `#gemspec` gems via RBS collection ([#1319](https://github.com/ruby/rbs/pull/1319))
+
+### Miscellaneous
+
+* Run `bundle install` automatically in `bin/steep` ([#1308](https://github.com/ruby/rbs/pull/1308))
+* Fix warnings ([#1314](https://github.com/ruby/rbs/pull/1314))
+
 ## 3.0.4 (2023-03-13)
 
 ### Library changes

data/Gemfile

@@ -18,7 +18,7 @@ gem "dbm"
 gem 'digest'
 gem 'tempfile'
 gem "prime"
-gem "rdoc", "< 6.5.0"
+gem "rdoc", "~> 6.4.0"
 
 # Test gems
 gem "rbs-amber", path: "test/assets/test-gem"

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    rbs (3.0.4)
+    rbs (3.1.1)
 
 PATH
   remote: test/assets/test-gem
@@ -11,13 +11,13 @@ PATH
 GEM
   remote: https://rubygems.org/
   specs:
-    addressable (2.8.0)
-      public_suffix (>= 2.0.2, < 5.0)
+    addressable (2.8.4)
+      public_suffix (>= 2.0.2, < 6.0)
     ast (2.4.2)
     dbm (1.1.0)
     debase (0.2.5.beta2)
       debase-ruby_core_source (>= 0.10.12)
-    debase-ruby_core_source (3.2.0)
+    debase-ruby_core_source (3.2.1)
     diff-lcs (1.5.0)
     digest (3.1.1)
     forwardable (1.3.2)
@@ -27,27 +27,29 @@ GEM
       rainbow (>= 3.0, < 4.0)
       strong_json (>= 1.1, < 2.2)
     json (2.6.3)
-    json-schema (3.0.0)
+    json-schema (4.0.0)
       addressable (>= 2.8)
     marcel (1.0.2)
-    minitest (5.17.0)
-    parallel (1.22.1)
-    parser (3.2.1.0)
+    minitest (5.18.0)
+    parallel (1.23.0)
+    parser (3.2.2.3)
       ast (~> 2.4.1)
-    power_assert (2.0.2)
+      racc
+    power_assert (2.0.3)
     prime (0.1.2)
       forwardable
       singleton
     psych (4.0.6)
       stringio
-    public_suffix (4.0.7)
+    public_suffix (5.0.1)
+    racc (1.7.1)
     rainbow (3.1.1)
     rake (13.0.6)
-    rake-compiler (1.2.1)
+    rake-compiler (1.2.2)
       rake
     rdoc (6.4.0)
       psych (>= 4.0.0)
-    regexp_parser (2.7.0)
+    regexp_parser (2.8.1)
     rexml (3.2.5)
     rspec (3.12.0)
       rspec-core (~> 3.12.0)
@@ -62,29 +64,29 @@ GEM
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.12.0)
     rspec-support (3.12.0)
-    rubocop (1.45.1)
+    rubocop (1.52.1)
       json (~> 2.3)
       parallel (~> 1.10)
-      parser (>= 3.2.0.0)
+      parser (>= 3.2.2.3)
       rainbow (>= 2.2.2, < 4.0)
       regexp_parser (>= 1.8, < 3.0)
       rexml (>= 3.2.5, < 4.0)
-      rubocop-ast (>= 1.24.1, < 2.0)
+      rubocop-ast (>= 1.28.0, < 2.0)
       ruby-progressbar (~> 1.7)
       unicode-display_width (>= 2.4.0, < 3.0)
-    rubocop-ast (1.26.0)
+    rubocop-ast (1.29.0)
       parser (>= 3.2.1.0)
     rubocop-rubycw (0.1.6)
       rubocop (~> 1.0)
     ruby-debug-ide (0.7.3)
       rake (>= 0.8.1)
-    ruby-progressbar (1.11.0)
+    ruby-progressbar (1.13.0)
     singleton (0.1.1)
-    stackprof (0.2.23)
-    stringio (3.0.4)
+    stackprof (0.2.25)
+    stringio (3.0.7)
     strong_json (2.1.2)
     tempfile (0.1.3)
-    test-unit (3.5.7)
+    test-unit (3.5.9)
       power_assert
     unicode-display_width (2.4.2)
 
@@ -105,7 +107,7 @@ DEPENDENCIES
   rake-compiler
   rbs!
   rbs-amber!
-  rdoc (< 6.5.0)
+  rdoc (~> 6.4.0)
   rspec
   rubocop
   rubocop-rubycw

data/Steepfile

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

data/core/file.rbs

@@ -1971,67 +1971,171 @@ File::SEPARATOR: String
 #
 File::Separator: String
 
+# <!-- rdoc-file=file.c -->
+# File::Constants provides file-related constants.  All possible file constants
+# are listed in the documentation but they may not all be present on your
+# platform.
+#
+# If the underlying platform doesn't define a constant the corresponding Ruby
+# constant is not defined.
+#
+# Your platform documentations (e.g. man open(2)) may describe more detailed
+# information.
+#
 module File::Constants
 end
 
+# <!-- rdoc-file=file.c -->
+# append on each write
+#
 File::Constants::APPEND: Integer
 
+# <!-- rdoc-file=file.c -->
+# disable line code conversion
+#
 File::Constants::BINARY: Integer
 
+# <!-- rdoc-file=file.c -->
+# create file if it does not exist
+#
 File::Constants::CREAT: Integer
 
+# <!-- rdoc-file=file.c -->
+# Try to minimize cache effects of the I/O to and from this file.
+#
 File::Constants::DIRECT: Integer
 
+# <!-- rdoc-file=file.c -->
+# any write operation perform synchronously except some meta data
+#
 File::Constants::DSYNC: Integer
 
+# <!-- rdoc-file=file.c -->
+# error if CREAT and the file exists
+#
 File::Constants::EXCL: Integer
 
+# <!-- rdoc-file=dir.c -->
+# Makes File.fnmatch patterns case insensitive (but not Dir.glob patterns).
+#
 File::Constants::FNM_CASEFOLD: Integer
 
+# <!-- rdoc-file=dir.c -->
+# The '*' wildcard matches filenames starting with "." in File.fnmatch and
+# Dir.glob patterns
+#
 File::Constants::FNM_DOTMATCH: Integer
 
+# <!-- rdoc-file=dir.c -->
+# Allows file globbing through "{a,b}" in File.fnmatch patterns.
+#
 File::Constants::FNM_EXTGLOB: Integer
 
+# <!-- rdoc-file=dir.c -->
+# Disables escapes in File.fnmatch and Dir.glob patterns
+#
 File::Constants::FNM_NOESCAPE: Integer
 
+# <!-- rdoc-file=dir.c -->
+# Wildcards in File.fnmatch and Dir.glob patterns do not match directory
+# separators
+#
 File::Constants::FNM_PATHNAME: Integer
 
+# <!-- rdoc-file=dir.c -->
+# Makes patterns to match short names if existing.  Valid only on Microsoft
+# Windows.
+#
 File::Constants::FNM_SHORTNAME: Integer
 
+# <!-- rdoc-file=dir.c -->
+# System default case insensitiveness, equals to FNM_CASEFOLD or 0.
+#
 File::Constants::FNM_SYSCASE: Integer
 
+# <!-- rdoc-file=file.c -->
+# exclusive lock. see File#flock
+#
 File::Constants::LOCK_EX: Integer
 
+# <!-- rdoc-file=file.c -->
+# non-blocking lock. used with LOCK_SH or LOCK_EX. see File#flock
+#
 File::Constants::LOCK_NB: Integer
 
+# <!-- rdoc-file=file.c -->
+# shared lock. see File#flock
+#
 File::Constants::LOCK_SH: Integer
 
+# <!-- rdoc-file=file.c -->
+# unlock. see File#flock
+#
 File::Constants::LOCK_UN: Integer
 
+# <!-- rdoc-file=file.c -->
+# do not change atime
+#
 File::Constants::NOATIME: Integer
 
+# <!-- rdoc-file=file.c -->
+# not to make opened IO the controlling terminal device
+#
 File::Constants::NOCTTY: Integer
 
+# <!-- rdoc-file=file.c -->
+# do not follow symlinks
+#
 File::Constants::NOFOLLOW: Integer
 
+# <!-- rdoc-file=file.c -->
+# do not block on open or for data to become available
+#
 File::Constants::NONBLOCK: Integer
 
+# <!-- rdoc-file=file.c -->
+# Name of the null device
+#
 File::Constants::NULL: String
 
+# <!-- rdoc-file=file.c -->
+# open for reading only
+#
 File::Constants::RDONLY: Integer
 
+# <!-- rdoc-file=file.c -->
+# open for reading and writing
+#
 File::Constants::RDWR: Integer
 
+# <!-- rdoc-file=file.c -->
+# any read operation perform synchronously. used with SYNC or DSYNC.
+#
 File::Constants::RSYNC: Integer
 
+# <!-- rdoc-file=file.c -->
+# can delete opened file
+#
 File::Constants::SHARE_DELETE: Integer
 
+# <!-- rdoc-file=file.c -->
+# any write operation perform synchronously
+#
 File::Constants::SYNC: Integer
 
+# <!-- rdoc-file=file.c -->
+# Create an unnamed temporary file
+#
 File::Constants::TMPFILE: Integer
 
+# <!-- rdoc-file=file.c -->
+# truncate size to 0
+#
 File::Constants::TRUNC: Integer
 
+# <!-- rdoc-file=file.c -->
+# open for writing only
+#
 File::Constants::WRONLY: Integer
 
 # <!-- rdoc-file=file.c -->

data/core/gc.rbs

@@ -234,13 +234,6 @@ module GC
   #
   def self.verify_internal_consistency: () -> nil
 
-  # <!--
-  #   rdoc-file=gc.c
-  #   - verify_transient_heap_internal_consistency()
-  # -->
-  #
-  def self.verify_transient_heap_internal_consistency: () -> nil
-
   # <!--
   #   rdoc-file=gc.rb
   #   - GC.latest_gc_info -> hash

data/core/io/buffer.rbs

@@ -541,13 +541,11 @@ class IO
 
     # <!--
     #   rdoc-file=io_buffer.c
-    #   - read(io, [length, [offset]]) -> read length or -errno
+    #   - read(io, length, [offset]) -> read length or -errno
     # -->
     # Read at most `length` bytes from `io` into the buffer, starting at `offset`.
     # If an error occurs, return `-errno`.
     #
-    # If `length` is not given, read until the end of the buffer.
-    #
     # If `offset` is not given, read from the beginning of the buffer.
     #
     # If `length` is 0, read nothing.

data/core/module.rbs

@@ -284,7 +284,7 @@ class Module < Object
   #     end
   #     Mod.instance_methods.sort   #=> [:one, :one=, :two, :two=]
   #
-  def attr_accessor: (*Symbol | String arg0) -> Array[Symbol]
+  def attr_accessor: (*Object::name arg0) -> Array[Symbol]
 
   # <!--
   #   rdoc-file=object.c
@@ -298,7 +298,7 @@ class Module < Object
   # in turn. String arguments are converted to symbols. Returns an array of
   # defined method names as symbols.
   #
-  def attr_reader: (*Symbol | String arg0) -> Array[Symbol]
+  def attr_reader: (*Object::name arg0) -> Array[Symbol]
 
   # <!--
   #   rdoc-file=object.c
@@ -309,7 +309,7 @@ class Module < Object
   # *symbol*`.id2name`. String arguments are converted to symbols. Returns an
   # array of defined method names as symbols.
   #
-  def attr_writer: (*Symbol | String arg0) -> Array[Symbol]
+  def attr_writer: (*Object::name arg0) -> Array[Symbol]
 
   # <!--
   #   rdoc-file=load.c
@@ -1629,5 +1629,5 @@ class Module < Object
   # `attr_reader(name)` but deprecated. Returns an array of defined method names
   # as symbols.
   #
-  def attr: (*Symbol | String arg0) -> Array[Symbol]
+  def attr: (*Object::name arg0) -> Array[Symbol]
 end

data/core/object.rbs

@@ -205,8 +205,8 @@ class Object < BasicObject
   #     chris.define_singleton_method(:greet) {|greeting| "#{greeting}, I'm Chris!" }
   #     chris.greet("Hi") #=> "Hi, I'm Chris!"
   #
-  def define_singleton_method: (Symbol, Method | UnboundMethod) -> Symbol
-                             | (Symbol) { (*untyped) -> untyped } -> Symbol
+  def define_singleton_method: (name, Method | UnboundMethod) -> Symbol
+                             | (name) { (*untyped) -> untyped } -> Symbol
 
   # <!--
   #   rdoc-file=io.c

data/core/process.rbs

@@ -1645,6 +1645,9 @@ module Process::UID
   def self.eid=: (Integer user) -> Integer
 end
 
+# <!-- rdoc-file=process.c -->
+# Placeholder for rusage
+#
 class Process::Tms < Struct[Float]
 end
 

data/core/rubygems/rubygems.rbs

@@ -261,15 +261,6 @@ module Gem
   #
   def self.data_home: () -> String
 
-  # <!--
-  #   rdoc-file=lib/rubygems.rb
-  #   - datadir(gem_name)
-  # -->
-  # The path to the data directory specified by the gem name.  If the package is
-  # not available as a gem, return nil.
-  #
-  def self.datadir: (String gem_name) -> String?
-
   # <!--
   #   rdoc-file=lib/rubygems/defaults.rb
   #   - default_bindir()

data/core/string.rbs

@@ -2600,8 +2600,10 @@ class String
   #     <<cruel>> <<world>>
   #     rceu lowlr
   #
-  def scan: (Regexp | string pattern) -> Array[String | Array[String]]
-          | (Regexp | string pattern) { (String | Array[String]) -> void } -> self
+  def scan: (Regexp pattern) -> Array[String | Array[String]]
+          | (Regexp pattern) { (String | Array[String]) -> void } -> self
+          | (string pattern) -> Array[String]
+          | (string pattern) { (String) -> void } -> self
 
   # <!--
   #   rdoc-file=string.c

data/ext/rbs_extension/parser.c

@@ -2649,13 +2649,9 @@ void parse_use_clauses(parserstate *state, VALUE clauses) {
 
         VALUE location = rbs_new_location(state->buffer, clause_range);
         rbs_loc *loc = rbs_check_location(location);
-        rbs_loc_add_required_child(loc, rb_intern("type_name"), state->current_token.range);
-        if (!null_range_p(keyword_range)) {
-          rbs_loc_add_optional_child(loc, rb_intern("keyword"), keyword_range);
-        }
-        if (!null_range_p(new_name_range)) {
-          rbs_loc_add_optional_child(loc, rb_intern("new_name"), new_name_range);
-        }
+        rbs_loc_add_required_child(loc, rb_intern("type_name"), type_name_range);
+        rbs_loc_add_optional_child(loc, rb_intern("keyword"), keyword_range);
+        rbs_loc_add_optional_child(loc, rb_intern("new_name"), new_name_range);
 
         rb_ary_push(clauses, rbs_ast_directives_use_single_clause(type_name, new_name, location));
 
@@ -2739,7 +2735,7 @@ VALUE parse_signature(parserstate *state) {
 }
 
 static VALUE
-rbsparser_parse_type(VALUE self, VALUE buffer, VALUE start_pos, VALUE end_pos, VALUE variables)
+rbsparser_parse_type(VALUE self, VALUE buffer, VALUE start_pos, VALUE end_pos, VALUE variables, VALUE require_eof)
 {
   parserstate *parser = alloc_parser(buffer, FIX2INT(start_pos), FIX2INT(end_pos), variables);
 
@@ -2749,13 +2745,17 @@ rbsparser_parse_type(VALUE self, VALUE buffer, VALUE start_pos, VALUE end_pos, V
 
   VALUE type = parse_type(parser);
 
+  if (RB_TEST(require_eof)) {
+    parser_advance_assert(parser, pEOF);
+  }
+
   free_parser(parser);
 
   return type;
 }
 
 static VALUE
-rbsparser_parse_method_type(VALUE self, VALUE buffer, VALUE start_pos, VALUE end_pos, VALUE variables)
+rbsparser_parse_method_type(VALUE self, VALUE buffer, VALUE start_pos, VALUE end_pos, VALUE variables, VALUE require_eof)
 {
   parserstate *parser = alloc_parser(buffer, FIX2INT(start_pos), FIX2INT(end_pos), variables);
 
@@ -2765,6 +2765,10 @@ rbsparser_parse_method_type(VALUE self, VALUE buffer, VALUE start_pos, VALUE end
 
   VALUE method_type = parse_method_type(parser);
 
+  if (RB_TEST(require_eof)) {
+    parser_advance_assert(parser, pEOF);
+  }
+
   free_parser(parser);
 
   return method_type;
@@ -2782,7 +2786,7 @@ rbsparser_parse_signature(VALUE self, VALUE buffer, VALUE end_pos)
 
 void rbs__init_parser(void) {
   RBS_Parser = rb_define_class_under(RBS, "Parser", rb_cObject);
-  rb_define_singleton_method(RBS_Parser, "_parse_type", rbsparser_parse_type, 4);
-  rb_define_singleton_method(RBS_Parser, "_parse_method_type", rbsparser_parse_method_type, 4);
+  rb_define_singleton_method(RBS_Parser, "_parse_type", rbsparser_parse_type, 5);
+  rb_define_singleton_method(RBS_Parser, "_parse_method_type", rbsparser_parse_method_type, 5);
   rb_define_singleton_method(RBS_Parser, "_parse_signature", rbsparser_parse_signature, 2);
 }