rbs 1.5.1 → 1.7.0.beta.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d4c3e2d7c96d7bfa810d993696088e8e4d7cd17301c5a96f925b38a6d2d6ef0c
-  data.tar.gz: f1a618f362782267bcbb221314f0070f0d6e6be4cd2436e3bf904c7bcbace039
+  metadata.gz: 6f2e7e51d08feb7b1a562ac43c679da8fc6f0a7cfc2ecef65e11c1e8c3d0d2b9
+  data.tar.gz: d41ed33c0b5de01cd1746faa3572e56f651ecfc808c046cdb4166a0ec357138e
 SHA512:
-  metadata.gz: c98f6bdf67e2fc41f421ccd778a029b74f5ecc121f79e3c0740fb2d5b7eb03d8ac95116ba2bfa4193d6aeee2fb1d819f5144d6e6c883e1e332ee4fa96f41cbb7
-  data.tar.gz: 515b1091e01179d3b472e8a7dc16fb520767a2b2d7617bebd14fce0d806ff6368ee633234de91cc49c0814673d55f5b44cff87bb5bbb5098f25b46002d14d7b7
+  metadata.gz: bc198dc7d40caaa802604cb1f633098955540d838c4e1adcca635da85880703378d981a4f37c528e7f4b3720fc6f152d7fc6c7bcb11ce3e0abba76fd14a6d47c
+  data.tar.gz: 68c6643f9adf4761bec2a2ffb211e223cb732a37c341652c4625191b5ab6d6791c91196f3c3bc4fd5624d6d853558c33e28f8462f483f923badad8f38498a675

data/.github/dependabot.yml

@@ -0,0 +1,10 @@
+version: 2
+updates:
+  - package-ecosystem: "bundler"
+    directory: "/"
+    schedule:
+      interval: "daily"
+  - package-ecosystem: "bundler"
+    directory: "/steep"
+    schedule:
+      interval: "daily"

data/.github/workflows/ruby.yml

@@ -19,10 +19,6 @@ jobs:
         - test
         - stdlib_test
         - rubocop validate test_doc build test_generate_stdlib
-        - confirm_parser
-        exclude:
-        - container_tag: master-nightly-focal
-          job: confirm_parser
     container:
       image: rubylang/ruby:${{ matrix.container_tag }}
     steps:

data/.gitignore

@@ -11,3 +11,4 @@
 /vendor/sigs
 /Gemfile.lock
 
+lib/**/*.bundle

data/CHANGELOG.md

@@ -2,6 +2,57 @@
 
 ## master
 
+## 1.7.0 (beta.1)
+
+## Library changes
+
+* Replace RBS::Parser ([#788](https://github.com/ruby/rbs/pull/788))
+
+## 1.6.2 (2021-09-09)
+
+## Signature updates
+
+* `Enumerator::Lazy#force` ([\#782](https://github.com/ruby/rbs/pull/782))
+* `IO.readlines` ([\#780](https://github.com/ruby/rbs/pull/780))
+
+## Miscellaneous
+
+* Set `$XDG_CACHE_HOME` during test ([\#781](https://github.com/ruby/rbs/pull/781))
+
+## 1.6.1 (2021-09-05)
+
+This is a minor release including test fixes.
+
+## Miscellaneous
+
+* Fix stdlib test for `Resolv::Hosts` by removing `/etc/hosts` dependency ([\#779](https://github.com/ruby/rbs/pull/779))
+* Fix bundler related test for test-bundled-gems ([\#778](https://github.com/ruby/rbs/pull/778))
+
+## 1.6.0 (2021-09-05)
+
+This release includes a preview of `rbs collection` commands, which is _bundler for RBS_.
+The command helps you manage RBS files from gem_rbs_collection or other repositories.
+
+This feature is a preview, and any feedback is welcome!
+
+## Signature updates
+
+* objspace ([\#763](https://github.com/ruby/rbs/pull/763), [\#776](https://github.com/ruby/rbs/pull/776))
+* tempfile ([\#767](https://github.com/ruby/rbs/pull/767), [\#775](https://github.com/ruby/rbs/pull/775))
+* `IO#set_encoding_by_bom` ([\#106](https://github.com/ruby/rbs/pull/106))
+* `OpenSSL::PKey::EC#dh_compute_key` ([\#775](https://github.com/ruby/rbs/pull/775))
+
+## Library changes
+
+* Add `rbs collection` ([\#589](https://github.com/ruby/rbs/pull/589), [\#772](https://github.com/ruby/rbs/pull/772), [\#773](https://github.com/ruby/rbs/pull/773))
+
+## Miscellaneous
+
+* Let `bin/annotate-with-rdoc` process nested constants/classes ([\#766](https://github.com/ruby/rbs/pull/766), [\#768](https://github.com/ruby/rbs/pull/768))
+* Stop printing version mismatch message in CI ([\#777](https://github.com/ruby/rbs/pull/777))
+* Update Steep and fix type errors ([\#770](https://github.com/ruby/rbs/pull/770), [\#774](https://github.com/ruby/rbs/pull/774))
+* Add dependabot configuration ([\#771](https://github.com/ruby/rbs/pull/771))
+
 ## 1.5.1 (2021-08-22)
 
 ### Miscellaneous

data/Gemfile

@@ -5,6 +5,7 @@ gemspec
 
 # Development dependencies
 gem "rake"
+gem "rake-compiler"
 gem "test-unit"
 gem "rspec"
 gem "racc"
@@ -16,6 +17,7 @@ gem 'stackprof'
 gem "goodcheck"
 gem "dbm"
 gem 'digest'
+gem 'tempfile'
 
 # Test gems
 gem "rbs-amber", path: "test/assets/test-gem"

data/Rakefile

@@ -1,15 +1,17 @@
 require "bundler/gem_tasks"
 require "rake/testtask"
 require "rbconfig"
+require 'rake/extensiontask'
 
 $LOAD_PATH << File.join(__dir__, "test")
 
 ruby = ENV["RUBY"] || RbConfig.ruby
-racc = ENV.fetch("RACC", "racc")
 rbs = File.join(__dir__, "exe/rbs")
 bin = File.join(__dir__, "bin")
 
-Rake::TestTask.new(:test) do |t|
+Rake::ExtensionTask.new("rbs/extension")
+
+Rake::TestTask.new(:test => :compile) do |t|
   t.libs << "test"
   t.libs << "lib"
   t.test_files = FileList["test/**/*_test.rb"].reject do |path|
@@ -19,7 +21,7 @@ end
 
 multitask :default => [:test, :stdlib_test, :rubocop, :validate, :test_doc]
 
-task :test_doc => :parser do
+task :test_doc do
   files = Dir.chdir(File.expand_path('..', __FILE__)) do
     `git ls-files -z`.split("\x0").select do |file| Pathname(file).extname == ".md" end
   end
@@ -27,7 +29,7 @@ task :test_doc => :parser do
   sh "#{ruby} #{__dir__}/bin/run_in_md.rb #{files.join(" ")}"
 end
 
-task :validate => :parser do
+task :validate => :compile do
   sh "#{ruby} #{rbs} validate --silent"
 
   FileList["stdlib/*"].each do |path|
@@ -72,7 +74,7 @@ task :validate => :parser do
 end
 
 FileList["test/stdlib/**/*_test.rb"].each do |test|
-  task test => :parser do
+  task test => :compile do
     sh "#{ruby} -Ilib #{bin}/test_runner.rb #{test}"
   end
   task stdlib_test: test
@@ -82,21 +84,6 @@ task :rubocop do
   sh "rubocop --parallel"
 end
 
-rule ".rb" => ".y" do |t|
-  sh "#{racc} -v -o #{t.name} #{t.source}"
-end
-
-task :parser => "lib/rbs/parser.rb"
-task :test => :parser
-task :stdlib_test => :parser
-task :build => :parser
-
-task :confirm_parser do
-  puts "Testing if parser.rb is updated with respect to parser.y"
-  sh "#{racc} -v -o lib/rbs/parser.rb lib/rbs/parser.y"
-  sh "git diff --exit-code lib/rbs/parser.rb"
-end
-
 namespace :generate do
   desc "Generate a test file for a stdlib class signatures"
   task :stdlib_test, [:class] do |_task, args|
@@ -225,5 +212,3 @@ task :test_generate_stdlib do
   sh "RBS_GENERATE_TEST_PATH=/tmp/Array_test.rb rake 'generate:stdlib_test[Array]'"
   sh "ruby -c /tmp/Array_test.rb"
 end
-
-CLEAN.include("lib/rbs/parser.rb")

data/Steepfile

@@ -1,13 +1,21 @@
+D = Steep::Diagnostic
+
 target :lib do
   signature "sig"
   check "lib"
   ignore "lib/rbs/parser.rb"
   ignore "lib/rbs/prototype", "lib/rbs/test", "lib/rbs/test.rb"
 
-  library "set", "pathname", "json", "logger", "monitor", "tsort"
+  library "set", "pathname", "json", "logger", "monitor", "tsort", "uri"
   signature "stdlib/strscan/0/"
   signature "stdlib/rubygems/0/"
   signature "stdlib/optparse/0/"
+
+  configure_code_diagnostics do |config|
+    config[D::Ruby::MethodDefinitionMissing] = :hint
+    config[D::Ruby::ElseOnExhaustiveCase] = :hint
+    config[D::Ruby::FallbackAny] = :hint
+  end
 end
 
 # target :lib do

data/core/enumerator.rbs

@@ -249,6 +249,7 @@ class Enumerator::Generator[out Elem] < Object
 end
 
 class Enumerator::Lazy[out Elem, out Return] < Enumerator[Elem, Return]
+  alias force to_a
 end
 
 class Enumerator::Yielder < Object

data/core/io.rbs

@@ -635,6 +635,8 @@ class IO < Object
   def set_encoding: (?String | Encoding ext_or_ext_int_enc) -> self
                   | (?String | Encoding ext_or_ext_int_enc, ?String | Encoding int_enc) -> self
 
+  def set_encoding_by_bom: () -> Encoding?
+
   # Returns status information for *ios* as an object of type `File::Stat` .
   #
   # ```ruby
@@ -747,7 +749,7 @@ class IO < Object
 
   def self.read: (String name, ?Integer length, ?Integer offset, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> String
 
-  def self.readlines: (String name, ?String sep, ?Integer limit, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode) -> ::Array[String]
+  def self.readlines: (String name, ?String sep, ?Integer limit, ?external_encoding: String external_encoding, ?internal_encoding: String internal_encoding, ?encoding: String encoding, ?textmode: untyped textmode, ?binmode: untyped binmode, ?autoclose: untyped autoclose, ?mode: String mode, ?chomp: boolish) -> ::Array[String]
 
   def self.select: [X, Y, Z] (::Array[X & io]? read_array, ?::Array[Y & io]? write_array, ?::Array[Z & io]? error_array) -> [Array[X], Array[Y], Array[Z]]
                  | [X, Y, Z] (::Array[X & io]? read_array, ?::Array[Y & io]? write_array, ?::Array[Z & io]? error_array, Numeric? timeout) -> [Array[X], Array[Y], Array[Z]]?

data/core/kernel.rbs

@@ -482,8 +482,8 @@ module Kernel : BasicObject
                    | [:child, int] # redirect to the redirected file descriptor
                    | :close # close the file descriptor in child process
 
-  def self?.spawn: (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) -> Integer
-                 | (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) -> Integer
+  def self?.spawn: (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) -> Integer
+                 | (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) -> Integer
 
   # Executes *command…* in a subshell. *command…* is one of following forms.
   #
@@ -510,8 +510,8 @@ module Kernel : BasicObject
   #     *
   #
   # See `Kernel.exec` for the standard shell.
-  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) -> (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)
 end
 
 Kernel::RUBYGEMS_ACTIVATION_MONITOR: untyped

data/core/trace_point.rbs

@@ -286,5 +286,5 @@ class TracePoint < Object
   # Same as TracePoint#binding:
   #     trace.binding.eval('self')
   #
-  def `self`: () -> Binding
+  def self: () -> Binding
 end

data/docs/collection.md

@@ -0,0 +1,116 @@
+# RBS Collection manager
+
+`rbs collection` sub command manages third party gems' RBS. In short, it is `bundler` for RBS.
+
+## Requirements
+
+* `git(1)`
+* `Gemfile.lock`
+
+
+## Usage
+
+### Setup
+
+First, generate the configuration file, `rbs_collection.yaml`, with `rbs collection init`.
+
+```console
+$ rbs collection init
+created: rbs_collection.yaml
+
+$ cat rbs_collection.yaml
+# Download sources
+sources:
+  - name: ruby/gem_rbs_collection
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    revision: main
+    repo_dir: gems
+
+# A directory to install the downloaded RBSs
+path: .gem_rbs_collection
+
+gems:
+  # Skip loading rbs gem's RBS.
+  # It's unnecessary if you don't use rbs as a library.
+  - name: rbs
+    ignore: true
+```
+
+I also recommend updating `.gitignore`.
+
+```console
+$ echo /.gem_rbs_collection/ >> .gitignore
+```
+
+### Install dependencies
+
+Then, install gems' RBS with `rbs collection install`! It copies RBS from [the gem RBS repository](https://github.com/ruby/gem_rbs_collection) to `.gem_rbs_collection/` directory by default.
+I recommend to ignore `.gem_rbs_collection/` from version control system, such as Git.
+
+```console
+$ rbs collection install
+Installing ast:2.4 (ruby/gem_rbs_collection@4b1a2a2f64c)
+...
+It's done! 42 gems's RBSs now installed.
+```
+
+Finally the third party RBSs are available! `rbs` commands, such as `rbs validate`, automatically load the third party RBSs.
+
+### Other commands
+
+`rbs collection` has two more commands.
+
+* `rbs collection update` updates `rbs_collection.lock.yaml`.
+* `rbs collection clean` removes unnecessary rbs from `.gem_rbs_collection` directory.
+
+## Configuration
+
+Configure `rbs collection` with editing `rbs_collection.yaml`.
+
+```yaml
+# Download sources.
+# You can add own collection git repository.
+sources:
+  - name: ruby/gem_rbs_collection
+    remote: https://github.com/ruby/gem_rbs_collection.git
+    revision: main
+    repo_dir: gems
+
+# A directory to install the downloaded RBSs
+path: .gem_rbs_collection
+
+gems:
+  # If the Gemfile.lock doesn't contain csv gem but you use csv gem,
+  # you can write the gem name explicitly to install RBS of the gem.
+  - name: csv
+
+  # If the Gemfile.lock contains nokogiri gem but you don't want to use the RBS,
+  # you can ignore the gem.
+  # `rbs collection` avoids to install nokogiri gem's RBS by this change.
+  # It is useful if the nokogiri RBS has a problem, such as compatibility issue with other RBS.
+  - name: nokogiri
+    ignore: true
+```
+
+## Files / Directories
+
+* `rbs_collection.yaml`
+  * The configuration file.
+  * You need to edit it if:
+    * You don't want to ignore gem's RBS.
+    * You want to add gem's RBS explicitly.
+  * You can change the file path with `--collection` option. e.g. `rbs --collection another_conf.yaml collection install`.
+* `rbs_collection.lock.yaml`
+  * RBS installs and loads RBS files with this file.
+  * It is auto-generated file. Do not edit this file.
+  * I recommend to manage it with VCS such as git.
+* `.gem_rbs_collection/`
+  * RBS installs third party RBS files to the directory.
+  * I recommend to ignore it from VCS.
+  * You can change the path with `path` option of `rbs_collection.yaml` file.
+
+
+## How it works
+
+`rbs collection` is integrated with Bundler.
+`rbs collection install` command generates `gem_rbs_collection.lock.yaml` from `gem_rbs_collection.yaml` and `Gemfile.lock`. It uses `Gemfile.lock` to detects dependencies.

data/ext/rbs/extension/constants.c

@@ -0,0 +1,140 @@
+#include "rbs_extension.h"
+
+VALUE RBS_Parser;
+VALUE RBS_Parser_KEYWORDS;
+
+VALUE RBS;
+VALUE RBS_AST;
+VALUE RBS_AST_Comment;
+VALUE RBS_AST_Annotation;
+
+VALUE RBS_AST_Declarations;
+
+VALUE RBS_AST_Declarations_ModuleTypeParams;
+VALUE RBS_AST_Declarations_ModuleTypeParams_TypeParam;
+
+VALUE RBS_AST_Declarations_Alias;
+VALUE RBS_AST_Declarations_Constant;
+VALUE RBS_AST_Declarations_Global;
+VALUE RBS_AST_Declarations_Interface;
+VALUE RBS_AST_Declarations_Module;
+VALUE RBS_AST_Declarations_Module_Self;
+VALUE RBS_AST_Declarations_Class;
+VALUE RBS_AST_Declarations_Class_Super;
+
+VALUE RBS_AST_Members;
+VALUE RBS_AST_Members_Alias;
+VALUE RBS_AST_Members_AttrAccessor;
+VALUE RBS_AST_Members_AttrReader;
+VALUE RBS_AST_Members_AttrWriter;
+VALUE RBS_AST_Members_ClassInstanceVariable;
+VALUE RBS_AST_Members_ClassVariable;
+VALUE RBS_AST_Members_Extend;
+VALUE RBS_AST_Members_Include;
+VALUE RBS_AST_Members_InstanceVariable;
+VALUE RBS_AST_Members_MethodDefinition;
+VALUE RBS_AST_Members_Prepend;
+VALUE RBS_AST_Members_Private;
+VALUE RBS_AST_Members_Public;
+
+VALUE RBS_Namespace;
+VALUE RBS_TypeName;
+
+VALUE RBS_Types_Alias;
+VALUE RBS_Types_Bases_Any;
+VALUE RBS_Types_Bases_Bool;
+VALUE RBS_Types_Bases_Bottom;
+VALUE RBS_Types_Bases_Class;
+VALUE RBS_Types_Bases_Instance;
+VALUE RBS_Types_Bases_Nil;
+VALUE RBS_Types_Bases_Self;
+VALUE RBS_Types_Bases_Top;
+VALUE RBS_Types_Bases_Void;
+VALUE RBS_Types_Bases;
+VALUE RBS_Types_Block;
+VALUE RBS_Types_ClassInstance;
+VALUE RBS_Types_ClassSingleton;
+VALUE RBS_Types_Function_Param;
+VALUE RBS_Types_Function;
+VALUE RBS_Types_Interface;
+VALUE RBS_Types_Intersection;
+VALUE RBS_Types_Literal;
+VALUE RBS_Types_Optional;
+VALUE RBS_Types_Proc;
+VALUE RBS_Types_Record;
+VALUE RBS_Types_Tuple;
+VALUE RBS_Types_Union;
+VALUE RBS_Types_Variable;
+VALUE RBS_Types;
+VALUE RBS_MethodType;
+
+VALUE RBS_ParsingError;
+
+void rbs__init_constants() {
+  ID id_RBS = rb_intern_const("RBS");
+
+  RBS = rb_const_get(rb_cObject, id_RBS);
+  RBS_ParsingError = rb_const_get(RBS, rb_intern("ParsingError"));
+  RBS_AST = rb_const_get(RBS, rb_intern("AST"));
+  RBS_AST_Comment = rb_const_get(RBS_AST, rb_intern("Comment"));
+  RBS_AST_Annotation = rb_const_get(RBS_AST, rb_intern("Annotation"));
+
+  RBS_AST_Declarations = rb_const_get(RBS_AST, rb_intern("Declarations"));
+
+  RBS_AST_Declarations_ModuleTypeParams = rb_const_get(RBS_AST_Declarations, rb_intern("ModuleTypeParams"));
+  RBS_AST_Declarations_ModuleTypeParams_TypeParam = rb_const_get(RBS_AST_Declarations_ModuleTypeParams, rb_intern("TypeParam"));
+
+  RBS_AST_Declarations_Alias = rb_const_get(RBS_AST_Declarations, rb_intern("Alias"));
+  RBS_AST_Declarations_Constant = rb_const_get(RBS_AST_Declarations, rb_intern("Constant"));
+  RBS_AST_Declarations_Global = rb_const_get(RBS_AST_Declarations, rb_intern("Global"));
+  RBS_AST_Declarations_Interface = rb_const_get(RBS_AST_Declarations, rb_intern("Interface"));
+  RBS_AST_Declarations_Module = rb_const_get(RBS_AST_Declarations, rb_intern("Module"));
+  RBS_AST_Declarations_Module_Self = rb_const_get(RBS_AST_Declarations_Module, rb_intern("Self"));
+  RBS_AST_Declarations_Class = rb_const_get(RBS_AST_Declarations, rb_intern("Class"));
+  RBS_AST_Declarations_Class_Super = rb_const_get(RBS_AST_Declarations_Class, rb_intern("Super"));
+
+  RBS_AST_Members = rb_const_get(RBS_AST, rb_intern("Members"));
+  RBS_AST_Members_Alias = rb_const_get(RBS_AST_Members, rb_intern("Alias"));
+  RBS_AST_Members_AttrAccessor = rb_const_get(RBS_AST_Members, rb_intern("AttrAccessor"));
+  RBS_AST_Members_AttrReader = rb_const_get(RBS_AST_Members, rb_intern("AttrReader"));
+  RBS_AST_Members_AttrWriter = rb_const_get(RBS_AST_Members, rb_intern("AttrWriter"));
+  RBS_AST_Members_ClassInstanceVariable = rb_const_get(RBS_AST_Members, rb_intern("ClassInstanceVariable"));
+  RBS_AST_Members_ClassVariable = rb_const_get(RBS_AST_Members, rb_intern("ClassVariable"));
+  RBS_AST_Members_Extend = rb_const_get(RBS_AST_Members, rb_intern("Extend"));
+  RBS_AST_Members_Include = rb_const_get(RBS_AST_Members, rb_intern("Include"));
+  RBS_AST_Members_InstanceVariable = rb_const_get(RBS_AST_Members, rb_intern("InstanceVariable"));
+  RBS_AST_Members_MethodDefinition = rb_const_get(RBS_AST_Members, rb_intern("MethodDefinition"));
+  RBS_AST_Members_Prepend = rb_const_get(RBS_AST_Members, rb_intern("Prepend"));
+  RBS_AST_Members_Private = rb_const_get(RBS_AST_Members, rb_intern("Private"));
+  RBS_AST_Members_Public = rb_const_get(RBS_AST_Members, rb_intern("Public"));
+
+  RBS_Namespace = rb_const_get(RBS, rb_intern("Namespace"));
+  RBS_TypeName = rb_const_get(RBS, rb_intern("TypeName"));
+  RBS_Types = rb_const_get(RBS, rb_intern("Types"));
+  RBS_Types_Alias = rb_const_get(RBS_Types, rb_intern("Alias"));
+  RBS_Types_Bases = rb_const_get(RBS_Types, rb_intern("Bases"));
+  RBS_Types_Bases_Any = rb_const_get(RBS_Types_Bases, rb_intern("Any"));
+  RBS_Types_Bases_Bool = rb_const_get(RBS_Types_Bases, rb_intern("Bool"));
+  RBS_Types_Bases_Bottom = rb_const_get(RBS_Types_Bases, rb_intern("Bottom"));
+  RBS_Types_Bases_Class = rb_const_get(RBS_Types_Bases, rb_intern("Class"));
+  RBS_Types_Bases_Instance = rb_const_get(RBS_Types_Bases, rb_intern("Instance"));
+  RBS_Types_Bases_Nil = rb_const_get(RBS_Types_Bases, rb_intern("Nil"));
+  RBS_Types_Bases_Self = rb_const_get(RBS_Types_Bases, rb_intern("Self"));
+  RBS_Types_Bases_Top = rb_const_get(RBS_Types_Bases, rb_intern("Top"));
+  RBS_Types_Bases_Void = rb_const_get(RBS_Types_Bases, rb_intern("Void"));
+  RBS_Types_Block = rb_const_get(RBS_Types, rb_intern("Block"));
+  RBS_Types_ClassInstance = rb_const_get(RBS_Types, rb_intern("ClassInstance"));
+  RBS_Types_ClassSingleton = rb_const_get(RBS_Types, rb_intern("ClassSingleton"));
+  RBS_Types_Function = rb_const_get(RBS_Types, rb_intern("Function"));
+  RBS_Types_Function_Param = rb_const_get(RBS_Types_Function, rb_intern("Param"));
+  RBS_Types_Interface = rb_const_get(RBS_Types, rb_intern("Interface"));
+  RBS_Types_Intersection = rb_const_get(RBS_Types, rb_intern("Intersection"));
+  RBS_Types_Literal = rb_const_get(RBS_Types, rb_intern("Literal"));
+  RBS_Types_Optional = rb_const_get(RBS_Types, rb_intern("Optional"));
+  RBS_Types_Proc = rb_const_get(RBS_Types, rb_intern("Proc"));
+  RBS_Types_Record = rb_const_get(RBS_Types, rb_intern("Record"));
+  RBS_Types_Tuple = rb_const_get(RBS_Types, rb_intern("Tuple"));
+  RBS_Types_Union = rb_const_get(RBS_Types, rb_intern("Union"));
+  RBS_Types_Variable = rb_const_get(RBS_Types, rb_intern("Variable"));
+  RBS_MethodType = rb_const_get(RBS, rb_intern("MethodType"));
+}