rbs 2.2.0 → 2.2.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: f4afaa0d6ac4b7b74aae38aa7cd04679dad881ad073ca496aa06f272a7261cfe
-  data.tar.gz: 041f1bf758d156f9a968ae3cb460da45a99f80aacb2868513549687ee4e4ad76
+  metadata.gz: 148d69843b5a84c07daea0f8729c7f72c693daf327ef82045cb312c2211c09fe
+  data.tar.gz: 4df8267989d27a0b9d807e5149681ba854e73976e3e9e8ea610f480d89ac261d
 SHA512:
-  metadata.gz: 8891199897e1ef1574b8009bc810c0d60a1a8fbe4a9f2d5d6658b703c75d515d6e89022e5246a6196657775d8f0ea2bd44db13718a425face5d16d3e5cff38dd
-  data.tar.gz: faa9199018c944a87de33fc99a4bf203e73f2f24d27960d79cd92fb82aaa6be2218cae07a2bb6887ad1dee2df96e8abc7b43ec818bf11d5a40dfabf3e782f1c2
+  metadata.gz: b7ed92c4b514890fbe54072a32e3f114cc5f403167b14cbaf6ac3809abff21af854ab004f6752731e169040e536be364e56ef3d5063c6695b98a6b8b8b78d3ed
+  data.tar.gz: 0704c9b4623410f6f83563c04d2497c0f35b3cf1bc68ae1e146d48f7ca8994848f3d58d34bcb70178efeee3bc0283b519d4aa0f664e812e879711bc830678802

data/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 ## master
 
+## 2.2.1 (2022-02-22)
+
+### Library changes
+
+* Let `validate_type_alias` run without an error on unknown type ([\#912](https://github.com/ruby/rbs/pull/912))
+
 ## 2.2.0 (2022-02-22)
 
 RBS 2.2 ships with a new syntax to specify the visibility of a method per definition bases.

data/lib/rbs/type_alias_regularity.rb

@@ -55,7 +55,7 @@ module RBS
     end
 
     def build_alias_type(name)
-      entry = env.alias_decls[name] or raise "Unknown alias name: #{name}"
+      entry = env.alias_decls[name] or return
       unless entry.decl.type_params.empty?
         as = entry.decl.type_params.each.map {|param| Types::Variable.new(name: param.name, location: nil) }
         Types::Alias.new(name: name, args: as, location: nil)
@@ -85,9 +85,11 @@ module RBS
       end
       # @type var each_child: TSort::_EachChild[TypeName]
       each_child = __skip__ = -> (name, &block) do
-        type = builder.expand_alias1(name)
-        each_alias_type(type) do |ty|
-          block[ty.name]
+        if env.alias_decls.key?(name)
+          type = builder.expand_alias1(name)
+          each_alias_type(type) do |ty|
+            block[ty.name]
+          end
         end
       end
 

data/lib/rbs/validator.rb

@@ -89,6 +89,10 @@ module RBS
           location: entry.decl.location&.aref(:type_params)
         )
       end
+
+      if block_given?
+        yield entry.decl.type
+      end
     end
 
     def validate_method_definition(method_def, type_name:)

data/lib/rbs/version.rb

@@ -1,3 +1,3 @@
 module RBS
-  VERSION = "2.2.0"
+  VERSION = "2.2.1"
 end

data/sig/validator.rbs

@@ -23,7 +23,9 @@ module RBS
     # - The generics type parameter variance annotation is consistent with respect to their usage
     # - There is no circular dependencies between the generics type parameter bounds
     #
-    def validate_type_alias: (entry: Environment::SingleEntry[TypeName, AST::Declarations::Alias]) -> void
+    # It yields the rhs type if block is given, so that you can validate the rhs type.
+    #
+    def validate_type_alias: (entry: Environment::SingleEntry[TypeName, AST::Declarations::Alias]) ?{ (Types::t rhs_type) -> void } -> void
 
     # Validates the type parameters in generic methods.
     #

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 2.2.0
+  version: 2.2.1
 platform: ruby
 authors:
 - Soutaro Matsumoto