rbs 1.7.0.beta.4 → 1.8.0

data/stdlib/date/0/date.rbs

@@ -446,7 +446,7 @@ class Date
   #     DateTime.jd(0,12) + DateTime.new(2001,2,3).ajd
   #                               #=> #<DateTime: 2001-02-03T00:00:00+00:00 ...>
   #
-  def +: (Integer | Rational other) -> Date
+  def +: ((Numeric & _ToR) other) -> Date
 
   # Returns the difference between the two dates if the other is a date object.
   # If the other is a numeric value, returns a date object pointing `other` days
@@ -461,7 +461,7 @@ class Date
   #     DateTime.new(2001,2,3) - DateTime.new(2001,2,2,12)
   #                              #=> (1/2)
   #
-  def -: (Integer | Rational other) -> Date
+  def -: ((Numeric & _ToR) other) -> Date
        | (Date other) -> Rational
 
   # Returns a date object pointing `n` months before self. The argument `n` should

data/stdlib/set/0/set.rbs

@@ -122,7 +122,7 @@ class Set[A]
   #
   # See also Enumerable#include?
   #
-  def include?: (untyped) -> bool
+  def include?: (A) -> bool
 
   alias member? include?
 
@@ -168,12 +168,12 @@ class Set[A]
   # Deletes the given object from the set and returns self.  Use `subtract` to
   # delete many items at once.
   #
-  def delete: (untyped) -> self
+  def delete: (A) -> self
 
   # Deletes the given object from the set and returns self.  If the object is not
   # in the set, returns nil.
   #
-  def delete?: (untyped) -> self?
+  def delete?: (A) -> self?
 
   # Deletes every element of the set for which block evaluates to true, and
   # returns self. Returns an enumerator if no block is given.

data/steep/Gemfile.lock

@@ -9,37 +9,37 @@ GEM
       zeitwerk (~> 2.3)
     ast (2.4.2)
     concurrent-ruby (1.1.9)
-    ffi (1.15.3)
-    i18n (1.8.10)
+    ffi (1.15.4)
+    i18n (1.8.11)
       concurrent-ruby (~> 1.0)
     language_server-protocol (3.16.0.3)
     listen (3.7.0)
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     minitest (5.14.4)
-    parallel (1.20.1)
-    parser (3.0.2.0)
+    parallel (1.21.0)
+    parser (3.0.3.1)
       ast (~> 2.4.1)
     rainbow (3.0.0)
     rb-fsevent (0.11.0)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (1.5.1)
-    steep (0.46.0)
+    rbs (1.7.1)
+    steep (0.47.0)
       activesupport (>= 5.1)
       language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
       parallel (>= 1.0.0)
       parser (>= 3.0)
       rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 1.2.0)
+      rbs (~> 1.7.0)
       terminal-table (>= 2, < 4)
-    terminal-table (3.0.1)
+    terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     tzinfo (2.0.4)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (2.0.0)
-    zeitwerk (2.4.2)
+    unicode-display_width (2.1.0)
+    zeitwerk (2.5.1)
 
 PLATFORMS
   ruby

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rbs
 version: !ruby/object:Gem::Version
-  version: 1.7.0.beta.4
+  version: 1.8.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-09-22 00:00:00.000000000 Z
+date: 2021-12-02 00:00:00.000000000 Z
 dependencies: []
 description: RBS is the language for type signatures for Ruby and standard library
   definitions.
@@ -44,6 +44,7 @@ files:
 - core/encoding.rbs
 - core/enumerable.rbs
 - core/enumerator.rbs
+- core/env.rbs
 - core/errno.rbs
 - core/errors.rbs
 - core/exception.rbs
@@ -152,12 +153,12 @@ files:
 - lib/rbs/locator.rb
 - lib/rbs/method_type.rb
 - lib/rbs/namespace.rb
-- lib/rbs/parser.y
 - lib/rbs/parser_aux.rb
 - lib/rbs/parser_compat/lexer_error.rb
 - lib/rbs/parser_compat/located_value.rb
 - lib/rbs/parser_compat/semantics_error.rb
 - lib/rbs/parser_compat/syntax_error.rb
+- lib/rbs/prototype/helpers.rb
 - lib/rbs/prototype/rb.rb
 - lib/rbs/prototype/rbi.rb
 - lib/rbs/prototype/runtime.rb
@@ -173,6 +174,7 @@ files:
 - lib/rbs/test/tester.rb
 - lib/rbs/test/type_check.rb
 - lib/rbs/type_alias_dependency.rb
+- lib/rbs/type_alias_regularity.rb
 - lib/rbs/type_name.rb
 - lib/rbs/type_name_resolver.rb
 - lib/rbs/types.rb
@@ -181,7 +183,6 @@ files:
 - lib/rbs/vendorer.rb
 - lib/rbs/version.rb
 - lib/rbs/writer.rb
-- lib/ruby/signature.rb
 - rbs.gemspec
 - schema/annotation.json
 - schema/comment.json
@@ -225,6 +226,7 @@ files:
 - sig/repository.rbs
 - sig/substitution.rbs
 - sig/type_alias_dependency.rbs
+- sig/type_alias_regularity.rbs
 - sig/type_name_resolver.rbs
 - sig/typename.rbs
 - sig/types.rbs
@@ -340,9 +342,9 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '2.6'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
 rubygems_version: 3.2.22
 signing_key: