rbs 3.7.0.dev.1 → 3.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 86a893f83a116311b7161ef437a811c4c81adae584063b690acf0711f94eb633
-  data.tar.gz: d5cdbec208cd2c8c7671712e1e94215e1d83ea487d6eb9eca8499d0d3016b9a0
+  metadata.gz: 51a3619d5a207208fefbe7520651b507cf7ba1abdbafb023ad562eac414a3fbd
+  data.tar.gz: beda4f39d5472acccb31d105306cf510e6195fb55cbdbde7affeb8a02feaad6c
 SHA512:
-  metadata.gz: e17695da454b8df97db782759c1e63f7d01af6a33ec258c43ec0c1759fa6c768d83e4b9a5cd98c7229370bfad0c2865c202b06fcb86568821ec62148139fbbf0
-  data.tar.gz: 274d1c7db8d8e97e68ede7d0f21ed69b9a2403243c1f5c0e1c02429b669f3b0ff1d6c28e8c7d64b4ff658bd22c4f20b0d3318bf396e1cdd6dcca8ceca9f2bb3c
+  metadata.gz: 323131b69f6b0ed044c97a9187863e73f0e71bfb5bb8d365acc5a7fedb4603d988782505b8a6997efcc9720b087d78ce5f860321513adfb922a0dc3f686c200b
+  data.tar.gz: 02c19b9c330fb78fc80e3fe426d5a4dc5dcf4c605744b1eef957e92e40dd6948f40fd09f61b0b2b535ea5ec43e33d95b4b54d412e9f7120e87d4db0ffa65eaa0

data/.github/workflows/ruby.yml

@@ -29,7 +29,7 @@ jobs:
             job: stdlib_test
             rubyopt: "--enable-frozen-string-literal"
           - ruby: "3.3"
-            job: lexer compile confirm_lexer
+            job: lexer templates compile confirm_lexer confirm_templates
           - ruby: "3.3"
             job: rubocop validate test_doc build test_generate_stdlib raap
           - ruby: "3.3"

data/.github/workflows/windows.yml

@@ -20,7 +20,9 @@ jobs:
         uses: ruby/setup-ruby@v1
         with:
           ruby-version: ${{ matrix.ruby }}
-      - name: rake-compiler
-        run: gem install rake-compiler
+      - name: bundle install
+        run: |
+          bundle config set without profilers libs
+          bundle install
       - name: compile
-        run: rake compile
+        run: bundle exec rake compile

data/.gitignore

@@ -19,4 +19,5 @@ lib/**/*.bundle
 lib/**/*.so
 lib/**/*.dll
 doc/
+
 **/*.gem

data/.rubocop.yml

@@ -28,11 +28,17 @@ RBS/Lint:
   Exclude:
     - 'sig/**/*'
     - 'test/**/*'
+RBS/Lint/TopLevelInterface:
+  Enabled: false
+RBS/Lint/TopLevelTypeAlias:
+  Enabled: false
 RBS/Style:
   Enabled: false
   Exclude:
     - 'sig/**/*'
     - 'test/**/*'
+RBS/Style/EmptyArgument:
+  Enabled: true
 RBS/Style/InitializeReturnType:
   Enabled: true
 

data/CHANGELOG.md

@@ -1,5 +1,58 @@
 # CHANGELOG
 
+## 3.7.0 (2024-12-05)
+
+### Miscellaneous
+
+* bundle update mutex_m ([#2122](https://github.com/ruby/rbs/pull/2122))
+
+## 3.7.0.pre.1 (2024-12-05)
+
+### Signature updates
+
+* `CGI.accept_charset` ([#2045](https://github.com/ruby/rbs/pull/2045))
+* `IO#readline`, `IO#readlines` ([#2059](https://github.com/ruby/rbs/pull/2059))
+* `Kernel#proc` ([#2036](https://github.com/ruby/rbs/pull/2036))
+* `Kernel#system` ([#2075](https://github.com/ruby/rbs/pull/2075))
+* `Object#to_yaml` ([#2107](https://github.com/ruby/rbs/pull/2107))
+* `OpenSSL::Digest` ([#2108](https://github.com/ruby/rbs/pull/2108))
+* `OpenSSL.base64digest` ([#2078](https://github.com/ruby/rbs/pull/2078))
+* `Process.detach` ([#2083](https://github.com/ruby/rbs/pull/2083))
+
+### Library changes
+
+* Reduce object allocation for record type ([#2118](https://github.com/ruby/rbs/pull/2118))
+* Milestone to graduate stringio from core. ([#2114](https://github.com/ruby/rbs/pull/2114))
+* Mark all internal `parse_` methods as `static` ([#2103](https://github.com/ruby/rbs/pull/2103))
+* Add templating mechanism to automatically generate `.c`/`.h` files ([#2098](https://github.com/ruby/rbs/pull/2098))
+* Remove unused `rbs_unescape_string` declaration ([#2058](https://github.com/ruby/rbs/pull/2058))
+* Fix UntypedFunction does not provide #map_type_name ([#2054](https://github.com/ruby/rbs/pull/2054))
+* Better `instance_eval`/`instance_exec` detection ([#2052](https://github.com/ruby/rbs/pull/2052))
+* Overload annotations ([#2049](https://github.com/ruby/rbs/pull/2049))
+
+#### rbs prototype
+
+* prototype rb: Fix crashed by self::CONST ([#2079](https://github.com/ruby/rbs/pull/2079))
+
+#### rbs collection
+
+* mutex_m support ([#2115](https://github.com/ruby/rbs/pull/2115))
+
+### Miscellaneous
+
+* Use `File.open` with block ([#2119](https://github.com/ruby/rbs/pull/2119))
+* Compile without activesupport ([#2105](https://github.com/ruby/rbs/pull/2105))
+* docs: Add singleton attribute members to syntax.md ([#2090](https://github.com/ruby/rbs/pull/2090))
+* Bundle update rubocop-on-rbs ([#2094](https://github.com/ruby/rbs/pull/2094))
+* `bundle exec` on windows ([#2101](https://github.com/ruby/rbs/pull/2101))
+* Fix typos ([#2097](https://github.com/ruby/rbs/pull/2097))
+* Bundle update json 2.8.2 ([#2095](https://github.com/ruby/rbs/pull/2095))
+* Skip `rbs` gem validation ([#2084](https://github.com/ruby/rbs/pull/2084))
+* Skip PTY_test with Windows platform ([#2055](https://github.com/ruby/rbs/pull/2055))
+* Randomize stdlib test order to uncover hidden assumptions ([#2043](https://github.com/ruby/rbs/pull/2043))
+* Suppress `inline` is not at beginning of declaration for melt_array ([#2050](https://github.com/ruby/rbs/pull/2050))
+* Skip `mkpath` test with 3.4 ([#2053](https://github.com/ruby/rbs/pull/2053))
+
 ## 3.6.1 (2024-10-03)
 
 ### Library changes

data/Rakefile

@@ -30,10 +30,22 @@ task :confirm_lexer => :lexer do
   sh "git diff --exit-code ext/rbs_extension/lexer.c"
 end
 
+task :confirm_templates => :templates do
+  puts "Testing if generated code under include and src is updated with respect to templates"
+  sh "git diff --exit-code -- include src"
+end
+
 rule ".c" => ".re" do |t|
   puts "⚠️⚠️⚠️ #{t.name} is older than #{t.source}. You may need to run `rake lexer` ⚠️⚠️⚠️"
 end
 
+rule %r{^src/(.*)\.c} => 'templates/%X.c.erb' do |t|
+  puts "⚠️⚠️⚠️ #{t.name} is older than #{t.source}. You may need to run `rake templates` ⚠️⚠️⚠️"
+end
+rule %r{^include/(.*)\.c} => 'templates/%X.c.erb' do |t|
+  puts "⚠️⚠️⚠️ #{t.name} is older than #{t.source}. You may need to run `rake templates` ⚠️⚠️⚠️"
+end
+
 task :annotate do
   sh "bin/generate_docs.sh"
 end
@@ -43,7 +55,18 @@ task :confirm_annotation do
   sh "git diff --exit-code core stdlib"
 end
 
+task :templates do
+  sh "#{ruby} templates/template.rb include/rbs/constants.h"
+  sh "#{ruby} templates/template.rb include/rbs/ruby_objs.h"
+  sh "#{ruby} templates/template.rb src/constants.c"
+  sh "#{ruby} templates/template.rb src/ruby_objs.c"
+end
+
 task :compile => "ext/rbs_extension/lexer.c"
+task :compile => "include/rbs/constants.h"
+task :compile => "include/rbs/ruby_objs.h"
+task :compile => "src/constants.c"
+task :compile => "src/ruby_objs.c"
 
 task :test_doc do
   files = Dir.chdir(File.expand_path('..', __FILE__)) do

data/config.yml

@@ -0,0 +1,311 @@
+nodes:
+  - name: RBS::AST::Annotation
+    fields:
+      - name: string
+      - name: location
+  - name: RBS::AST::Comment
+    fields:
+      - name: string
+      - name: location
+  - name: RBS::AST::Declarations::Class
+    fields:
+      - name: name
+      - name: type_params
+      - name: super_class
+      - name: members
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::Class::Super
+    fields:
+      - name: name
+      - name: args
+      - name: location
+  - name: RBS::AST::Declarations::ClassAlias
+    fields:
+      - name: new_name
+      - name: old_name
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::Constant
+    fields:
+      - name: name
+      - name: type
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::Global
+    fields:
+      - name: name
+      - name: type
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::Interface
+    fields:
+      - name: name
+      - name: type_params
+      - name: members
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::Module
+    fields:
+      - name: name
+      - name: type_params
+      - name: self_types
+      - name: members
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::Module::Self
+    fields:
+      - name: name
+      - name: args
+      - name: location
+  - name: RBS::AST::Declarations::ModuleAlias
+    fields:
+      - name: new_name
+      - name: old_name
+      - name: location
+      - name: comment
+  - name: RBS::AST::Declarations::TypeAlias
+    fields:
+      - name: name
+      - name: type_params
+      - name: type
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Directives::Use
+    fields:
+      - name: clauses
+      - name: location
+  - name: RBS::AST::Directives::Use::SingleClause
+    fields:
+      - name: type_name
+      - name: new_name
+      - name: location
+  - name: RBS::AST::Directives::Use::WildcardClause
+    fields:
+      - name: namespace
+      - name: location
+  - name: RBS::AST::Members::Alias
+    fields:
+      - name: new_name
+      - name: old_name
+      - name: kind
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::AttrAccessor
+    fields:
+      - name: name
+      - name: type
+      - name: ivar_name
+      - name: kind
+      - name: annotations
+      - name: location
+      - name: comment
+      - name: visibility
+  - name: RBS::AST::Members::AttrReader
+    fields:
+      - name: name
+      - name: type
+      - name: ivar_name
+      - name: kind
+      - name: annotations
+      - name: location
+      - name: comment
+      - name: visibility
+  - name: RBS::AST::Members::AttrWriter
+    fields:
+      - name: name
+      - name: type
+      - name: ivar_name
+      - name: kind
+      - name: annotations
+      - name: location
+      - name: comment
+      - name: visibility
+  - name: RBS::AST::Members::ClassInstanceVariable
+    fields:
+      - name: name
+      - name: type
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::ClassVariable
+    fields:
+      - name: name
+      - name: type
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::Extend
+    fields:
+      - name: name
+      - name: args
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::Include
+    fields:
+      - name: name
+      - name: args
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::InstanceVariable
+    fields:
+      - name: name
+      - name: type
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::MethodDefinition
+    fields:
+      - name: name
+      - name: kind
+      - name: overloads
+      - name: annotations
+      - name: location
+      - name: comment
+      - name: overloading
+      - name: visibility
+  - name: RBS::AST::Members::MethodDefinition::Overload
+    fields:
+      - name: annotations
+      - name: method_type
+  - name: RBS::AST::Members::Prepend
+    fields:
+      - name: name
+      - name: args
+      - name: annotations
+      - name: location
+      - name: comment
+  - name: RBS::AST::Members::Private
+    fields:
+      - name: location
+  - name: RBS::AST::Members::Public
+    fields:
+      - name: location
+  - name: RBS::AST::TypeParam
+    fields:
+      - name: name
+      - name: variance
+      - name: upper_bound
+      - name: default_type
+      - name: location
+  - name: RBS::MethodType
+    fields:
+      - name: type_params
+      - name: type
+      - name: block
+      - name: location
+  - name: RBS::Namespace
+    fields:
+      - name: path
+      - name: absolute
+  - name: RBS::TypeName
+    fields:
+      - name: namespace
+      - name: name
+  - name: RBS::Types::Alias
+    fields:
+      - name: name
+      - name: args
+      - name: location
+  - name: RBS::Types::Bases::Any
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Bool
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Bottom
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Class
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Instance
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Nil
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Self
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Top
+    fields:
+      - name: location
+  - name: RBS::Types::Bases::Void
+    fields:
+      - name: location
+  - name: RBS::Types::Block
+    fields:
+      - name: type
+      - name: required
+      - name: self_type
+  - name: RBS::Types::ClassInstance
+    fields:
+      - name: name
+      - name: args
+      - name: location
+  - name: RBS::Types::ClassSingleton
+    fields:
+      - name: name
+      - name: location
+  - name: RBS::Types::Function
+    fields:
+      - name: required_positionals
+      - name: optional_positionals
+      - name: rest_positionals
+      - name: trailing_positionals
+      - name: required_keywords
+      - name: optional_keywords
+      - name: rest_keywords
+      - name: return_type
+  - name: RBS::Types::Function::Param
+    fields:
+      - name: type
+      - name: name
+      - name: location
+  - name: RBS::Types::Interface
+    fields:
+      - name: name
+      - name: args
+      - name: location
+  - name: RBS::Types::Intersection
+    fields:
+      - name: types
+      - name: location
+  - name: RBS::Types::Literal
+    fields:
+      - name: literal
+      - name: location
+  - name: RBS::Types::Optional
+    fields:
+      - name: type
+      - name: location
+  - name: RBS::Types::Proc
+    fields:
+      - name: type
+      - name: block
+      - name: location
+      - name: self_type
+  - name: RBS::Types::Record
+    fields:
+      - name: all_fields
+      - name: location
+  - name: RBS::Types::Tuple
+    fields:
+      - name: types
+      - name: location
+  - name: RBS::Types::Union
+    fields:
+      - name: types
+      - name: location
+  - name: RBS::Types::UntypedFunction
+    fields:
+      - name: return_type
+  - name: RBS::Types::Variable
+    fields:
+      - name: name
+      - name: location

data/core/dir.rbs

@@ -784,7 +784,7 @@ class Dir
   # caveats.
   #
   def chdir: () -> Integer
-           | [T] { () -> T } -> T
+           | [T] () { () -> T } -> T
 
   # <!--
   #   rdoc-file=dir.c

data/core/kernel.rbs

@@ -2056,8 +2056,8 @@ module Kernel : BasicObject
   #
   # Raises an exception if the new process could not execute.
   #
-  def self?.system: (String command, *String args, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: boolish, ?chdir: String) -> (NilClass | FalseClass | TrueClass)
-                  | (Hash[string, string?] env, String command, *String args, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: boolish, ?chdir: String) -> (NilClass | FalseClass | TrueClass)
+  def self?.system: (String command, *String args, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: boolish, ?chdir: String, ?exception: bool) -> (NilClass | FalseClass | TrueClass)
+                  | (Hash[string, string?] env, String command, *String args, ?unsetenv_others: boolish, ?pgroup: true | Integer, ?umask: Integer, ?in: redirect_fd, ?out: redirect_fd, ?err: redirect_fd, ?close_others: boolish, ?chdir: String, ?exception: bool) -> (NilClass | FalseClass | TrueClass)
 
   # <!--
   #   rdoc-file=object.c

data/core/process.rbs

@@ -615,7 +615,7 @@ module Process
   #
   #     thread.join.pid                       # => 313262
   #
-  def self.detach: (Integer pid) -> Thread
+  def self.detach: (Integer pid) -> Process::Waiter
 
   # <!--
   #   rdoc-file=process.c

data/core/set.rbs

@@ -629,5 +629,5 @@ module Enumerable[unchecked out Elem]
   # Needs to `require "set"` to use this method.
   #
   def to_set: () -> Set[Elem]
-            | [T] { (Elem) -> T } -> Set[T]
+            | [T] () { (Elem) -> T } -> Set[T]
 end

data/docs/syntax.md

@@ -416,10 +416,12 @@ _method-types_ ::= _method-type-parameters_ _method-type_
 _method-type-parameters_ ::=                                                    # Empty
                            | `[` _type-variable_ `,` ... `]`
 
-_attribute-member_ ::= _visibility_ _attribute-type_ _method-name_ `:` _type_                     # Attribute
-                     | _visibility_ _attribute-type_ _method-name_ `(` _ivar-name_ `) :` _type_   # Attribute with variable name specification
-                     | _visibility_ _attribute-type_ _method-name_ `() :` _type_                  # Attribute without variable
-
+_attribute-member_ ::= _visibility_ _attribute-type_ _method-name_ `:` _type_                             # Attribute
+                     | _visibility_ _attribute-type_ _method-name_ `(` _ivar-name_ `) :` _type_           # Attribute with variable name specification
+                     | _visibility_ _attribute-type_ _method-name_ `() :` _type_                          # Attribute without variable
+                     | _visibility_ _attribute-type_ `self.` _method-name_ `:` _type_                     # Singleton attribute
+                     | _visibility_ _attribute-type_ `self.` _method-name_ `(` _ivar-name_ `) :` _type_   # Singleton attribute with variable name specification
+                     | _visibility_ _attribute-type_ `self.` _method-name_ `() :` _type_                  # Singleton attribute without variable
 _visibility_ ::= `public` | `private`
 
 _attribute-type_ ::= `attr_reader` | `attr_writer` | `attr_accessor`

data/ext/rbs_extension/extconf.rb

@@ -1,4 +1,14 @@
 require 'mkmf'
+
 $INCFLAGS << " -I$(top_srcdir)" if $extmk
+$INCFLAGS << " -I$(srcdir)/../../include"
+
+$VPATH << "$(srcdir)/../../src"
+$VPATH << "$(srcdir)/ext/rbs_extension"
+
+root_dir = File.expand_path('../../../', __FILE__)
+$srcs = Dir.glob("#{root_dir}/src/*.c") +
+        Dir.glob("#{root_dir}/ext/rbs_extension/*.c")
+
 append_cflags ['-std=gnu99']
 create_makefile 'rbs_extension'