rbs 3.9.5 → 4.0.0

data/CHANGELOG.md

@@ -1,5 +1,289 @@
 # CHANGELOG
 
+## 4.0.0 (2026-03-16)
+
+RBS 4.0 ships with experimental RBS inline syntax support, allowing you to write type annotations directly in Ruby source files. See [docs/inline.md](docs/inline.md) for the syntax details.
+
+```ruby
+class Calculator
+  # @rbs (Integer, Integer) -> Integer
+  def add(a, b) = a + b
+end
+```
+
+Note: RBS inline is still experimental and may change in future releases.
+
+This release also introduces two language changes: type argument support for singleton types (`singleton(T)[S]`) mainly for Sorbet integration, and generic type parameter lower bounds (`T < S`).
+
+### Signature updates
+
+**Updated classes/modules/methods:** `Addrinfo`, `Array`, `BasicObject`, `BigDecimal`, `Binding`, `CGI`, `Comparable`, `Complex`, `Digest::SHA2`, `Encoding::Converter`, `Enumerable`, `Enumerator`, `Enumerator::ArithmeticSequence`, `Enumerator::Lazy`, `Fiber`, `File`, `FileUtils`, `Float`, `Hash`, `IO`, `IO::TimeoutError`, `Integer`, `JSON`, `Kernel`, `Kconv`, `Math`, `Method`, `Minitest`, `Module`, `Numeric`, `ObjectSpace`, `Open3`, `OpenURI`, `OptionParser`, `PStore`, `Pathname`, `Proc`, `Process::Status`, `Psych`, `Ractor`, `Random`, `Random::Formatter`, `Range`, `Rational`, `RBS::Unnamed::TopLevelSelfClass`, `Ripper::Lexer::Elem`, `Ruby`, `RubyVM`, `SecureRandom`, `Set`, `Socket`, `String`, `StringScanner`, `TCPSocket`, `Thread`, `URI`, `URI::Generic`, `Zlib::GzipReader`, `Zlib::GzipWriter`
+
+* Remove deprecated types ([#2880](https://github.com/ruby/rbs/pull/2880))
+* Add type `RBS::Unnamed::TopLevelSelfClass` to core ([#2362](https://github.com/ruby/rbs/pull/2362))
+* Graduate bundled gems from Ruby v4.0 ([#2852](https://github.com/ruby/rbs/pull/2852))
+* stdlib: Add missing Psych methods and exception classes ([#2850](https://github.com/ruby/rbs/pull/2850))
+* Add variants with positional argument to `Hash#transform_keys` ([#2848](https://github.com/ruby/rbs/pull/2848))
+* add extra kwarg options for File#initialize and derivatives ([#2798](https://github.com/ruby/rbs/pull/2798))
+* pstore: fixes types, treat it as a collection ([#2806](https://github.com/ruby/rbs/pull/2806))
+* Add signatures for `{Module,Proc}#ruby2_keywords` ([#2805](https://github.com/ruby/rbs/pull/2805))
+* Make Zlib::GzipWriter.new level and strategy parameters optional ([#2810](https://github.com/ruby/rbs/pull/2810))
+* URI.(s) does string coercion ([#2825](https://github.com/ruby/rbs/pull/2825))
+* Fix String#append_as_bytes to accept Integer ([#2817](https://github.com/ruby/rbs/pull/2817))
+* [Comparable] Add in Comparable::_CompareToZero ([#2697](https://github.com/ruby/rbs/pull/2697))
+* [Kernel] Add Kernel.trace_var and Kernel.untrace_var ([#2682](https://github.com/ruby/rbs/pull/2682))
+* Add signature for `Module#method_undefined` ([#2804](https://github.com/ruby/rbs/pull/2804))
+* Fix Zlib::GzipWriter signatures ([#2803](https://github.com/ruby/rbs/pull/2803))
+* GzipWriter#initialize only takes 1 required positional arg ([#2799](https://github.com/ruby/rbs/pull/2799))
+* Fix accessibility of method in Module ([#2802](https://github.com/ruby/rbs/pull/2802))
+* Graduate kconv ([#2794](https://github.com/ruby/rbs/pull/2794))
+* Fix test related to pathname ([#2789](https://github.com/ruby/rbs/pull/2789))
+* Split pathname to core and stdlib ([#2777](https://github.com/ruby/rbs/pull/2777))
+* [Kernel] Narrow `caller_locations` ([#2745](https://github.com/ruby/rbs/pull/2745))
+* Ruby 4.1 changed `source_location` type ([#2784](https://github.com/ruby/rbs/pull/2784))
+* Remove ObjectSpace.count_nodes ([#2779](https://github.com/ruby/rbs/pull/2779))
+* Support selector for `String#strip` family. ([#2775](https://github.com/ruby/rbs/pull/2775))
+* Add `Ruby`, `Array#find`, and `Array#rfind` ([#2767](https://github.com/ruby/rbs/pull/2767))
+* Update minitest ([#2761](https://github.com/ruby/rbs/pull/2761))
+* Support BigDecimal v4 ([#2758](https://github.com/ruby/rbs/pull/2758))
+* Update rdoc and comments ([#2733](https://github.com/ruby/rbs/pull/2733))
+* Update cgi and cgi/escape type definitions ([#2728](https://github.com/ruby/rbs/pull/2728))
+* Update RBS files for Ruby 4 ([#2731](https://github.com/ruby/rbs/pull/2731))
+* Update existing docs ([#2724](https://github.com/ruby/rbs/pull/2724))
+* Remove reference to `JSON.deep_const_get` ([#2701](https://github.com/ruby/rbs/pull/2701))
+* Remove deprecated methods in `JSON` ([#2366](https://github.com/ruby/rbs/pull/2366))
+* Update FileUtils to v1.8.0 ([#2700](https://github.com/ruby/rbs/pull/2700))
+* Avoid overloading where arguments are identical ([#2559](https://github.com/ruby/rbs/pull/2559))
+* Move Pathname to core from stdlib ([#2705](https://github.com/ruby/rbs/pull/2705))
+* Remove undocumented `#nonzero?` ([#2543](https://github.com/ruby/rbs/pull/2543))
+* Add signature for `OptionParser#raise_unknown` ([#2735](https://github.com/ruby/rbs/pull/2735))
+* Add signature for `Open3.popen2` ([#2734](https://github.com/ruby/rbs/pull/2734))
+* Add RFC2396_PARSER to URI module ([#2727](https://github.com/ruby/rbs/pull/2727))
+* Add signature for `Open3.capture3` ([#2714](https://github.com/ruby/rbs/pull/2714))
+* Remove sig for IO#{ready?,nread} ([#2710](https://github.com/ruby/rbs/pull/2710))
+* Accept `nil` state parameter in `to_json` type signatures ([#2691](https://github.com/ruby/rbs/pull/2691))
+* Add type of `Open3.popen3` ([#2699](https://github.com/ruby/rbs/pull/2699))
+* `unsetenv_others` and `close_others` only allows bool. ([#2698](https://github.com/ruby/rbs/pull/2698))
+* Add deprecated annotation to `attr` with bool args ([#2693](https://github.com/ruby/rbs/pull/2693))
+* Update open3 ([#2692](https://github.com/ruby/rbs/pull/2692))
+* Add signature for `SecureRandom.bytes` ([#2690](https://github.com/ruby/rbs/pull/2690))
+* Set %a{deprecated} to deprecated core methods ([#2664](https://github.com/ruby/rbs/pull/2664))
+* Migrate usages of ::_ToPath to use ::path instead ([#2677](https://github.com/ruby/rbs/pull/2677))
+* Add missing signatures for `Random::Formatter` ([#2680](https://github.com/ruby/rbs/pull/2680))
+* Split `Random::Formatter` to core and stdlib ([#2661](https://github.com/ruby/rbs/pull/2661))
+* Skip test cases of developing methods for Pathname ([#2648](https://github.com/ruby/rbs/pull/2648))
+* Add signature `Random.seed` ([#2649](https://github.com/ruby/rbs/pull/2649))
+* Update `string.rbs` to avoid deprecation warning in Steep ([#2655](https://github.com/ruby/rbs/pull/2655))
+* Add sig `IO#pread` and `IO#pwrite` ([#2647](https://github.com/ruby/rbs/pull/2647))
+* Refine signature of `Numeric#step` and add type of `Enumerator::ArithmeticSequence` ([#2600](https://github.com/ruby/rbs/pull/2600))
+* Remove undocumented override methods ([#2622](https://github.com/ruby/rbs/pull/2622))
+* Add docs ([#2625](https://github.com/ruby/rbs/pull/2625))
+* Remove undocumented methods for `imaginary` ([#2620](https://github.com/ruby/rbs/pull/2620))
+* Update securerandom ([#2619](https://github.com/ruby/rbs/pull/2619))
+* Drop undocumented `#eql?` ([#2618](https://github.com/ruby/rbs/pull/2618))
+* Just use `Numeric#+@` and return self ([#2597](https://github.com/ruby/rbs/pull/2597))
+* Drop undocumented `#dup` ([#2598](https://github.com/ruby/rbs/pull/2598))
+* Add signature for `Digest::SHA2` ([#2573](https://github.com/ruby/rbs/pull/2573))
+* Add signatures for `OpenURI` ([#2574](https://github.com/ruby/rbs/pull/2574))
+* Add signature for `IO::TimeoutError` ([#2571](https://github.com/ruby/rbs/pull/2571))
+* Add signatures for `Set` ([#2570](https://github.com/ruby/rbs/pull/2570))
+* Add signature for `Enumerator#+` ([#2567](https://github.com/ruby/rbs/pull/2567))
+* Add signature for `Enumerator::Lazy#eager` ([#2568](https://github.com/ruby/rbs/pull/2568))
+* Add signature for `Fiber#blocking` ([#2566](https://github.com/ruby/rbs/pull/2566))
+* Support BasicObject to avoid NoMethodError for `RBS::Test::TypeCheck` ([#2565](https://github.com/ruby/rbs/pull/2565))
+* Add documentation for `Range#{minmax,count,to_a,entries}` ([#2562](https://github.com/ruby/rbs/pull/2562))
+* Delegate to `Enumerable` from `Range#{min,max}` ([#2540](https://github.com/ruby/rbs/pull/2540))
+* Add URI::Generic#+ ([#2535](https://github.com/ruby/rbs/pull/2535))
+* Make IO.binread, IO.binwrite, IO.read and IO.write accept _ToPath ([#2378](https://github.com/ruby/rbs/pull/2378))
+* Support pattern argument for Enumerable#{all,any,none,one}? ([#2368](https://github.com/ruby/rbs/pull/2368))
+* fixing sig for addrinfo ([#2464](https://github.com/ruby/rbs/pull/2464))
+
+### Language updates
+
+* Add type arguments support to singleton types ([#2502](https://github.com/ruby/rbs/pull/2502))
+* Move the note about lower bound ([#2517](https://github.com/ruby/rbs/pull/2517))
+* Add support for lower bounds in type parameters ([#2490](https://github.com/ruby/rbs/pull/2490))
+
+### Library changes
+
+* Add `#type_fingerprint` methods ([#2879](https://github.com/ruby/rbs/pull/2879))
+* `top` for membership predicates of collection types ([#2878](https://github.com/ruby/rbs/pull/2878))
+* Add block parameter (`&block`) type declaration ([#2875](https://github.com/ruby/rbs/pull/2875))
+* Add splat (`*a`) and double-splat (`**a`) parameter support ([#2873](https://github.com/ruby/rbs/pull/2873))
+* Add parameter type inline annotation ([#2443](https://github.com/ruby/rbs/pull/2443))
+* Reduce compile warnings ([#2871](https://github.com/ruby/rbs/pull/2871))
+* Specify input range by byte offsets ([#2863](https://github.com/ruby/rbs/pull/2863))
+* add `extern "C"` wrapping to `rbs.h` when using C++ ([#2855](https://github.com/ruby/rbs/pull/2855))
+* Automatically inherits super method type if unannotated ([#2858](https://github.com/ruby/rbs/pull/2858))
+* Add `...` syntax to method type inline annotation syntax ([#2856](https://github.com/ruby/rbs/pull/2856))
+* Fix for string reference corruption issue ([#2836](https://github.com/ruby/rbs/pull/2836))
+* Use unreleased steep for `rake typecheck_test` ([#2842](https://github.com/ruby/rbs/pull/2842))
+* Fix breaking references after GC.compact ([#2822](https://github.com/ruby/rbs/pull/2822))
+* Fix special methods accessibility. ([#2546](https://github.com/ruby/rbs/pull/2546))
+* Fix allocation alignment ([#2788](https://github.com/ruby/rbs/pull/2788))
+* Skip `set` and `pathname` from `manifest.yaml` ([#2773](https://github.com/ruby/rbs/pull/2773))
+* Fix C++ compiler warnings ([#2755](https://github.com/ruby/rbs/pull/2755))
+* Better encoding ([#2675](https://github.com/ruby/rbs/pull/2675))
+* Move `require_eof` handling to C API ([#2678](https://github.com/ruby/rbs/pull/2678))
+* Delete debug print ([#2753](https://github.com/ruby/rbs/pull/2753))
+* Make assertions macro ([#2729](https://github.com/ruby/rbs/pull/2729))
+* Remove deprecated method `Kernel#Namespace`. Also remove `Kernel#TypeName`. ([#2480](https://github.com/ruby/rbs/pull/2480))
+* Update rdoc to 6.13.1 ([#2355](https://github.com/ruby/rbs/pull/2355))
+* Allow `self` for inline `@rbs @ivar: self` ([#2633](https://github.com/ruby/rbs/pull/2633))
+* Normalize modules during type name resolution ([#2670](https://github.com/ruby/rbs/pull/2670))
+* Only load extconf_compile_commands_json when compiling through Rake  ([#2498](https://github.com/ruby/rbs/pull/2498))
+* Use `malloc` based allocator ([#2666](https://github.com/ruby/rbs/pull/2666))
+* Add another parser benchmark script ([#2668](https://github.com/ruby/rbs/pull/2668))
+* Reuse empty array and hash ([#2667](https://github.com/ruby/rbs/pull/2667))
+* Faster lexical analyzer ([#2665](https://github.com/ruby/rbs/pull/2665))
+* Introduce `type_fingerprint` ([#2644](https://github.com/ruby/rbs/pull/2644))
+* Add module-class alias declaration ([#2636](https://github.com/ruby/rbs/pull/2636))
+* Inline constant declaration ([#2635](https://github.com/ruby/rbs/pull/2635))
+* `self` type is rejected depending on the context ([#2627](https://github.com/ruby/rbs/pull/2627))
+* Add instance variable declaration annotation ([#2632](https://github.com/ruby/rbs/pull/2632))
+* Module-self allow void once ([#2626](https://github.com/ruby/rbs/pull/2626))
+* Support inheritance in Inline RBS declaration ([#2630](https://github.com/ruby/rbs/pull/2630))
+* Inline attribute/method definitions have comments ([#2624](https://github.com/ruby/rbs/pull/2624))
+* Inline RBS declaration for attributes (`attr_***`) ([#2623](https://github.com/ruby/rbs/pull/2623))
+* Fix bad scaling in `rbs_comment_t` tokens ([#2578](https://github.com/ruby/rbs/pull/2578))
+* Update parser so that `void` type is rejected depending on the context ([#2590](https://github.com/ruby/rbs/pull/2590))
+* Implement mixin in inline RBS declarations ([#2614](https://github.com/ruby/rbs/pull/2614))
+* Validate type args given to non-generic ancestor ([#2615](https://github.com/ruby/rbs/pull/2615))
+* Add name locations to AST ([#2595](https://github.com/ruby/rbs/pull/2595))
+* Move `exit` calls to `exe/rbs` ([#2591](https://github.com/ruby/rbs/pull/2591))
+* Fix locator ([#2588](https://github.com/ruby/rbs/pull/2588))
+* Introduce standalone C parser for RBS with arena allocation ([#2398](https://github.com/ruby/rbs/pull/2398))
+* Fix subtraction of civar ([#2369](https://github.com/ruby/rbs/pull/2369))
+* Buffer with empty string ([#2551](https://github.com/ruby/rbs/pull/2551))
+* Fix unavailable MAP_ANONYMOUS ([#2470](https://github.com/ruby/rbs/pull/2470))
+* Inline minor fix ([#2514](https://github.com/ruby/rbs/pull/2514))
+* Enable `-Wc++-compat` ([#2463](https://github.com/ruby/rbs/pull/2463))
+* Expose a method to parse type parameters ([#2457](https://github.com/ruby/rbs/pull/2457))
+* Expose and fix `Block#location` ([#2456](https://github.com/ruby/rbs/pull/2456))
+* Restore RBS::Environment#declarations for backwards-compatibility ([#2393](https://github.com/ruby/rbs/pull/2393))
+* Implement `@rbs return: T` annotation ([#2406](https://github.com/ruby/rbs/pull/2406))
+* Add `@rbs skip` annotation ([#2405](https://github.com/ruby/rbs/pull/2405))
+* Inline annotations ([#2403](https://github.com/ruby/rbs/pull/2403))
+* Inline `def` support ([#2392](https://github.com/ruby/rbs/pull/2392))
+* Suppress to GCC warning with multi-line comment ([#2383](https://github.com/ruby/rbs/pull/2383))
+* Add inline class/module declaration ([#2390](https://github.com/ruby/rbs/pull/2390))
+* Add `RBS::Source::RBS` ([#2380](https://github.com/ruby/rbs/pull/2380))
+
+#### rbs prototype
+
+* [prototype runtime] Find redefined methods ([#2542](https://github.com/ruby/rbs/pull/2542))
+
+#### rbs collection
+
+### Miscellaneous
+
+* bundle update (2026-01-20) ([#2818](https://github.com/ruby/rbs/pull/2818))
+* Ruby 4.0.1 ([#2823](https://github.com/ruby/rbs/pull/2823))
+* [rbs/test] Check type arguments size ([#2809](https://github.com/ruby/rbs/pull/2809))
+* Add tsort to testing dependencies ([#2795](https://github.com/ruby/rbs/pull/2795))
+* Update ruby to 4.0 ([#2776](https://github.com/ruby/rbs/pull/2776))
+* Ruby 4.0.0 preview3 ([#2764](https://github.com/ruby/rbs/pull/2764))
+* Remove test code for bundled gems ([#2760](https://github.com/ruby/rbs/pull/2760))
+* Fix `nil` size `Enumerator` test ([#2749](https://github.com/ruby/rbs/pull/2749))
+* Fix tests for rbs_skip_tests in ruby repo ([#2725](https://github.com/ruby/rbs/pull/2725))
+* Update rdoc to v6.16 ([#2721](https://github.com/ruby/rbs/pull/2721))
+* Run CI with "4.0.0-preview2" ([#2718](https://github.com/ruby/rbs/pull/2718))
+* Minor typo fix ([#2676](https://github.com/ruby/rbs/pull/2676))
+* Add -j option to make ([#2658](https://github.com/ruby/rbs/pull/2658))
+* Allows the use of a path list as RBS_SKIP_TESTS ([#2612](https://github.com/ruby/rbs/pull/2612))
+* Fix clang-format ([#2589](https://github.com/ruby/rbs/pull/2589))
+* Restrict the execution of the valgrind task to when the C code has been modified. ([#2552](https://github.com/ruby/rbs/pull/2552))
+* Set force_ruby_platform for bundler when head ([#2555](https://github.com/ruby/rbs/pull/2555))
+* More skip paths with valgrind ([#2557](https://github.com/ruby/rbs/pull/2557))
+* Run the `Encoding::Converter` test ([#2550](https://github.com/ruby/rbs/pull/2550))
+* Fix CI ([#2527](https://github.com/ruby/rbs/pull/2527))
+* Replace reference with official documentation ([#2453](https://github.com/ruby/rbs/pull/2453))
+* Add clangd integration for improved C extension development ([#2481](https://github.com/ruby/rbs/pull/2481))
+* Setup clang format for C code ([#2437](https://github.com/ruby/rbs/pull/2437))
+* Add `super` calls in `setup` ([#2484](https://github.com/ruby/rbs/pull/2484))
+* Suppress warnings during testing ([#2370](https://github.com/ruby/rbs/pull/2370))
+* Update rubocop-on-rbs and use plugins ([#2345](https://github.com/ruby/rbs/pull/2345))
+* Fix error at Ruby CI ([#2445](https://github.com/ruby/rbs/pull/2445))
+* Use `erb` instead of `set` for load path testing ([#2439](https://github.com/ruby/rbs/pull/2439))
+* Skip loading ruby_memcheck ([#2349](https://github.com/ruby/rbs/pull/2349))
+* Forcibly uninstall gems even if there is a dependency problem. ([#2346](https://github.com/ruby/rbs/pull/2346))
+
+## 3.10.3 (2026-01-30)
+
+This is a minor fix around the dependency to `tsort`.
+
+## Pull Requests
+
+* Merge pull request #2601 from ima1zumi/add-tsort-dep ([#2834](https://github.com/ruby/rbs/pull/2834))
+
+## 3.10.2 (2026-01-07)
+
+This is a minor fix on arena allocator alignment.
+
+### Pull Requests
+
+* Merge pull request #2788 from ruby/fix-alloc-alignment ([#2790](https://github.com/ruby/rbs/pull/2790))
+
+## 3.10.1 (2026-01-07)
+
+This is a follow-up release for Ruby 4.0.0 with documentation update based on Ruby 4.0.0, and bugfixes related to set/pathname library loading.
+
+### Pull Requests
+
+* Merge pull request #2777 from ksss/pathname-ext ([#2786](https://github.com/ruby/rbs/pull/2786))
+* Ruby 4.0.0 backports ([#2785](https://github.com/ruby/rbs/pull/2785))
+* [Backport] Fix subtraction of civar ([#2783](https://github.com/ruby/rbs/pull/2783))
+* [Backport] Update ruby to 4.0 ([#2778](https://github.com/ruby/rbs/pull/2778))
+
+## 3.10.0 (2025-12-23)
+
+RBS 3.10.0 ships with a pure C parser implementation, signature updates for Ruby 4.0, and various bug fixes.
+
+### Pure C parser implementation
+
+The new parser implementation was announced at [RubyKaigi 2025](https://rubykaigi.org/2025/presentations/amomchilov.html) and is finally shipped as a RubyGem!
+
+The new parser is faster than the one in 3.9 and is portable — it is independent of the Ruby runtime and is used to implement Sorbet’s RBS support.
+
+### Type definition of bundled gems
+
+The type definitions of `cgi` have been moved to [gem_rbs_collection](https://github.com/ruby/gem_rbs_collection/tree/main/gems/cgi), as it has been migrated to a bundled gem in Ruby 4.0
+
+`cgi-escape` has been added to `stdlib`. You may need to declare a dependency on `cgi-escape` in your `manifest.yaml`, add `-r cgi-escape` to your command line, or update your type checker configuration.
+
+```yaml
+dependencies:
+  - name: cgi-escape
+```
+
+The type definitions for `pathname` have also been moved from `stdlib` to `core`, as it is now implemented as part of the core library.
+
+### Pull Requests
+
+* [Backport] Support rdoc v7 ([#2770](https://github.com/ruby/rbs/pull/2770))
+* [Backport] Check tuple type length ([#2766](https://github.com/ruby/rbs/pull/2766))
+* Backport update to 4.0.0-preview3 ([#2768](https://github.com/ruby/rbs/pull/2768))
+* [Backport] Remove test code for bundled gems ([#2762](https://github.com/ruby/rbs/pull/2762))
+* Merge pull request #2761 from ruby/update-minitest ([#2763](https://github.com/ruby/rbs/pull/2763))
+* [Backport] Support BigDecimal v4 ([#2759](https://github.com/ruby/rbs/pull/2759))
+* Parser/lexer backports ([#2756](https://github.com/ruby/rbs/pull/2756))
+* Merge pull request #2753 from ruby/delete-printf ([#2754](https://github.com/ruby/rbs/pull/2754))
+* Backports ([#2751](https://github.com/ruby/rbs/pull/2751))
+* Merge pull request #2728 from ruby/cgi ([#2747](https://github.com/ruby/rbs/pull/2747))
+* Merge pull request #2729 from ruby/rbs-assert ([#2748](https://github.com/ruby/rbs/pull/2748))
+* Merge pull request #2749 from ruby/fix-test ([#2750](https://github.com/ruby/rbs/pull/2750))
+* Backport RBS file updates ([#2742](https://github.com/ruby/rbs/pull/2742))
+* Backport JSON PRs ([#2740](https://github.com/ruby/rbs/pull/2740))
+* Merge pull request #2718 from ruby/ruby-4 ([#2741](https://github.com/ruby/rbs/pull/2741))
+* [Backport] Move Pathname to core from stdlib ([#2730](https://github.com/ruby/rbs/pull/2730))
+* Backport rdoc 6.16 ([#2722](https://github.com/ruby/rbs/pull/2722))
+* Backport rdoc support ([#2719](https://github.com/ruby/rbs/pull/2719))
+* Backport "Remove sig for IO#{ready?,nread}" ([#2720](https://github.com/ruby/rbs/pull/2720))
+* Backport more pure C parsers ([#2679](https://github.com/ruby/rbs/pull/2679))
+* Backport module name normalization ([#2673](https://github.com/ruby/rbs/pull/2673))
+* Backport pure-C parser ([#2671](https://github.com/ruby/rbs/pull/2671))
+* Fix test failure ([#2672](https://github.com/ruby/rbs/pull/2672))
+
 ## 3.9.5 (2025-09-08)
 
 ### Signature updates

data/README.md

@@ -141,7 +141,7 @@ require "rbs"
 loader = RBS::EnvironmentLoader.new()
 
 # loader.add(path: Pathname("sig"))   # Load .rbs files from `sig` directory
-# loader.add(library: "pathname")     # Load pathname library
+# loader.add(library: "logger")       # Load logger library
 
 environment = RBS::Environment.from_loader(loader).resolve_type_names
 
@@ -198,6 +198,43 @@ After checking out the repo, run `bin/setup` to install dependencies. Then, run
 
 To install this gem onto your local machine, run `bundle exec rake install`. To release a new version, update the version number in `version.rb`, and then run `bundle exec rake release`, which will create a git tag for the version, push git commits and tags, and push the `.gem` file to [rubygems.org](https://rubygems.org).
 
+### C Code Formatting
+
+This project uses `clang-format` to enforce consistent formatting of C code with a `.clang-format` configuration in the root directory.
+
+#### Setup
+
+First, install clang-format:
+
+```bash
+# macOS
+brew install clang-format
+
+# Ubuntu/Debian
+sudo apt-get install clang-format
+
+# Windows
+choco install llvm
+```
+
+#### Usage
+
+Format all C source files:
+
+```bash
+rake format:c
+```
+
+Check formatting without making changes:
+
+```bash
+rake format:c_check
+```
+
+#### Editor Integration
+
+For VS Code users, install the "clangd" extension which will automatically use the project's `.clang-format` file.
+
 ## Contributing
 
 Bug reports and pull requests are welcome on GitHub at https://github.com/ruby/rbs.

data/Rakefile

@@ -11,37 +11,40 @@ bin = File.join(__dir__, "bin")
 
 Rake::ExtensionTask.new("rbs_extension")
 
+compile_task = Rake::Task[:compile]
+
+task :setup_extconf_compile_commands_json do
+  ENV["COMPILE_COMMANDS_JSON"] = "1"
+end
+
+compile_task.prerequisites.unshift(:setup_extconf_compile_commands_json)
+
 test_config = lambda do |t|
   t.libs << "test"
   t.libs << "lib"
   t.test_files = FileList["test/**/*_test.rb"].reject do |path|
     path =~ %r{test/stdlib/}
   end
-end
-
-Rake::TestTask.new(test: :compile, &test_config)
-
-unless Gem.win_platform?
-  begin
-    require "ruby_memcheck"
-
-    namespace :test do
-      RubyMemcheck::TestTask.new(valgrind: :compile, &test_config)
+  if defined?(RubyMemcheck)
+    if t.is_a?(RubyMemcheck::TestTask)
+      t.verbose = true
+      t.options = '-v'
     end
-  rescue LoadError => exn
-    STDERR.puts "🚨🚨🚨🚨 Skipping RubyMemcheck: #{exn.inspect} 🚨🚨🚨🚨"
   end
 end
 
+Rake::TestTask.new(test: :compile, &test_config)
+
 multitask :default => [:test, :stdlib_test, :typecheck_test, :rubocop, :validate, :test_doc]
 
 task :lexer do
-  sh "re2c -W --no-generation-date -o ext/rbs_extension/lexer.c ext/rbs_extension/lexer.re"
+  sh "re2c -W --no-generation-date -o src/lexer.c src/lexer.re"
+  sh "clang-format -i -style=file src/lexer.c"
 end
 
 task :confirm_lexer => :lexer do
   puts "Testing if lexer.c is updated with respect to lexer.re"
-  sh "git diff --exit-code ext/rbs_extension/lexer.c"
+  sh "git diff --exit-code src/lexer.c"
 end
 
 task :confirm_templates => :templates do
@@ -49,6 +52,84 @@ task :confirm_templates => :templates do
   sh "git diff --exit-code -- include src"
 end
 
+# Task to format C code using clang-format
+namespace :format do
+  dirs = ["src", "ext", "include"]
+
+  # Find all C source and header files
+  files = `find #{dirs.join(" ")} -type f \\( -name "*.c" -o -name "*.h" \\)`.split("\n")
+
+  desc "Format C source files using clang-format"
+  task :c do
+    puts "Formatting C files..."
+
+    # Check if clang-format is installed
+    unless system("which clang-format > /dev/null 2>&1")
+      abort "Error: clang-format not found. Please install clang-format first."
+    end
+
+    if files.empty?
+      puts "No C files found to format"
+      next
+    end
+
+    puts "Found #{files.length} files to format (excluding generated files)"
+
+    exit_status = 0
+    files.each do |file|
+      puts "Formatting #{file}"
+      unless system("clang-format -i -style=file #{file}")
+        puts "❌ Error formatting #{file}"
+        exit_status = 1
+      end
+    end
+
+    exit exit_status unless exit_status == 0
+    puts "✅ All files formatted successfully"
+  end
+
+  desc "Check if C source files are properly formatted"
+  task :c_check do
+    puts "Checking C file formatting..."
+
+    # Check if clang-format is installed
+    unless system("which clang-format > /dev/null 2>&1")
+      abort "Error: clang-format not found. Please install clang-format first."
+    end
+
+    if files.empty?
+      puts "No C files found to check"
+      next
+    end
+
+    puts "Found #{files.length} files to check (excluding generated files)"
+
+    needs_format = false
+    files.each do |file|
+      formatted = `clang-format -style=file #{file}`
+      original = File.read(file)
+
+      if formatted != original
+        puts "❌ #{file} needs formatting"
+        puts "Diff:"
+        # Save formatted version to temp file and run diff
+        temp_file = "#{file}.formatted"
+        File.write(temp_file, formatted)
+        system("diff -u #{file} #{temp_file}")
+        File.unlink(temp_file)
+        needs_format = true
+      end
+    end
+
+    if needs_format
+      warn "Some files need formatting. Run 'rake format:c' to format them."
+      exit 1
+    else
+      puts "✅ All files are properly formatted"
+    end
+  end
+end
+
 rule ".c" => ".re" do |t|
   puts "⚠️⚠️⚠️ #{t.name} is older than #{t.source}. You may need to run `rake lexer` ⚠️⚠️⚠️"
 end
@@ -70,17 +151,22 @@ task :confirm_annotation do
 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"
+  sh "#{ruby} templates/template.rb ext/rbs_extension/ast_translation.h"
+  sh "#{ruby} templates/template.rb ext/rbs_extension/ast_translation.c"
+
+  sh "#{ruby} templates/template.rb ext/rbs_extension/class_constants.h"
+  sh "#{ruby} templates/template.rb ext/rbs_extension/class_constants.c"
+
+  sh "#{ruby} templates/template.rb include/rbs/ast.h"
+  sh "#{ruby} templates/template.rb src/ast.c"
+
+  # Format the generated files
+  Rake::Task["format:c"].invoke
 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 :compile => "ext/rbs_extension/class_constants.h"
+task :compile => "ext/rbs_extension/class_constants.c"
+task :compile => "src/lexer.c"
 
 task :test_doc do
   files = Dir.chdir(File.expand_path('..', __FILE__)) do
@@ -93,7 +179,7 @@ end
 task :validate => :compile do
   require 'yaml'
 
-  sh "#{ruby} #{rbs} validate --exit-error-on-syntax-error"
+  sh "#{ruby} #{rbs} validate"
 
   libs = FileList["stdlib/*"].map {|path| File.basename(path).to_s }
 
@@ -114,7 +200,14 @@ task :validate => :compile do
   end
 
   libs.each do |lib|
-    sh "#{ruby} #{rbs} -r #{lib} validate --exit-error-on-syntax-error"
+    args = ["-r", lib]
+
+    if lib == "rbs"
+      args << "-r"
+      args << "prism"
+    end
+
+    sh "#{ruby} #{rbs} #{args.join(' ')} validate"
   end
 end
 
@@ -126,7 +219,7 @@ end
 
 task :stdlib_test => :compile do
   test_files = FileList["test/stdlib/**/*_test.rb"].reject do |path|
-    path =~ %r{Ractor} || path =~ %r{Encoding} || path =~ %r{CGI_test}
+    path =~ %r{Ractor} || path =~ %r{Encoding} || path =~ %r{CGI-escape_test}
   end
 
   if ENV["RANDOMIZE_STDLIB_TEST_ORDER"] == "true"
@@ -135,7 +228,7 @@ task :stdlib_test => :compile do
 
   sh "#{ruby} -Ilib #{bin}/test_runner.rb #{test_files.join(' ')}"
   # TODO: Ractor tests need to be run in a separate process
-  sh "#{ruby} -Ilib #{bin}/test_runner.rb test/stdlib/CGI_test.rb"
+  sh "#{ruby} -Ilib #{bin}/test_runner.rb test/stdlib/CGI-escape_test.rb"
   sh "#{ruby} -Ilib #{bin}/test_runner.rb test/stdlib/Ractor_test.rb"
   sh "#{ruby} -Ilib #{bin}/test_runner.rb test/stdlib/Encoding_test.rb"
 end
@@ -228,7 +321,7 @@ namespace :generate do
           class <%= target %>SingletonTest < Test::Unit::TestCase
             include TestHelper
 
-            # library "pathname", "securerandom"     # Declare library signatures to load
+            # library "logger", "securerandom"     # Declare library signatures to load
             testing "singleton(::<%= target %>)"
 
           <%- class_methods.each do |method_name, definition| -%>
@@ -247,7 +340,7 @@ namespace :generate do
           class <%= target %>Test < Test::Unit::TestCase
             include TestHelper
 
-            # library "pathname", "securerandom"     # Declare library signatures to load
+            # library "logger", "securerandom"     # Declare library signatures to load
             testing "::<%= target %>"
 
           <%- instance_methods.each do |method_name, definition| -%>
@@ -430,3 +523,25 @@ task :changelog do
     puts "  (🤑 There is no *unreleased* pull request associated to the milestone.)"
   end
 end
+
+desc "Compile extension without C23 extensions"
+task :compile_c99 do
+  ENV["TEST_NO_C23"] = "true"
+  Rake::Task[:"compile"].invoke
+ensure
+  ENV.delete("TEST_NO_C23")
+end
+
+task :prepare_bench do
+  ENV.delete("DEBUG")
+  Rake::Task[:"clobber"].invoke
+  Rake::Task[:"templates"].invoke
+  Rake::Task[:"compile"].invoke
+end
+
+task :prepare_profiling do
+  ENV["DEBUG"] = "1"
+  Rake::Task[:"clobber"].invoke
+  Rake::Task[:"templates"].invoke
+  Rake::Task[:"compile"].invoke
+end

data/Steepfile

@@ -9,11 +9,13 @@ target :lib do
   )
 
   library "pathname", "json", "logger", "monitor", "tsort", "uri", 'dbm', 'pstore', 'singleton', 'shellwords', 'fileutils', 'find', 'digest', 'prettyprint', 'yaml', "psych", "securerandom"
+  library "prism"
   signature "stdlib/strscan/0/"
   signature "stdlib/optparse/0/"
   signature "stdlib/rdoc/0/"
   signature "stdlib/ripper/0"
   signature "stdlib/pp/0"
+  signature "steep/patch.rbs"
 
   # configure_code_diagnostics do |config|
   #   config[D::Ruby::MethodDefinitionMissing] = :hint