rbs 1.7.0.beta.4 → 1.8.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: afd173e37912ce2897a5ff7b9ec6e54bed7258abd7015ac80ae5fa9baa380df5
-  data.tar.gz: 77b07c52dc592c5f5b01df9d4ab8c91d59942c67f158a8f3386926922e197042
+  metadata.gz: 9b12d92ea4eeeb5dbd6de6c5d58351b0306bdcd017d0f1e51a36599766bfded3
+  data.tar.gz: d60cfb836027441a5bb3f85fbebb0e2ab9bc03c49a21f00c3f10d4ab8dd1de65
 SHA512:
-  metadata.gz: e03c35027deec7e866534c1f79fe02060ea5672a3e3e8abe9ac1ae5940f2dd7cd99eeed5ee71d9a5991b3074984a6daaaa58d09c380b0cdcb40c568bae50427d
-  data.tar.gz: 92a8cc1a171669ca98c5e323293258ff774747712fb24c0b342e28da866077fc10f4c4bbb2699857842ca7bba9829c014c3b69b5e80a1690aa77027f55c7b083
+  metadata.gz: 9ef926a62415189173d41204d1a16674a4a8331e3fdefafe00a4e52c9cbf0f3eb84281194a5b5c43027455334c13ea0ab14e1b3f0a6b8d5f5644cb80733a246b
+  data.tar.gz: ce07016eee6b4142a66a28d8c7ffc356b3d4fdd747027f2dd521b347efcb6ac791385e903a1e3b9f8d468ec66e13995e341516137ceba990db511982c6d0d206

data/.gitignore

@@ -13,7 +13,6 @@
 **/.rbfu-version
 **/.rbenv-version
 **/.versions.conf
-/lib/rbs/parser.output
 /vendor/sigs
 /Gemfile.lock
 

data/CHANGELOG.md

@@ -2,20 +2,76 @@
 
 ## master
 
-## 1.7.0 (beta.4)
+## 1.8.0 (2021-12-02)
+
+RBS 1.8.0 ships with a language feature enchancement, _generic type alias_.
+You can define a type alias with type parameters now.
+
+```rbs
+type list[T] = [T, list[T]] | nil  # Defines a list of type T
+
+type int_list = list[Integer]      # List of Integer
+type string_list = list[String]    # List of String
+```
+
+You can find the detail in the [PR](https://github.com/ruby/rbs/pull/823).
+
+### Signature updates
+
+* `Date#+`, `Date#-` ([\#830](https://github.com/ruby/rbs/pull/830))
+* `#include?`, `#member?`, `#delete`, `#count` ([\#835](https://github.com/ruby/rbs/pull/835))
+
+### Language updates
+
+* Generic type alias ([\#823](https://github.com/ruby/rbs/pull/823))
+
+## 1.7.1 (2021-11-18)
+
+### Signature updates
+
+* `Thread#value` ([\#824](https://github.com/ruby/rbs/pull/824/files))
+
+### Library changes
+
+* Unquote parameter name ([\#827](https://github.com/ruby/rbs/pull/827))
+* Remove `ruby/signature.rb` ([\#825](https://github.com/ruby/rbs/pull/825))
+
+### Miscellaneous
+
+* Use `untyped` as an expectation of return value of `IO#ready?` in test ([\#828](https://github.com/ruby/rbs/pull/828/files))
+
+## 1.7.0 (2021-11-11)
+
+This version replaces `RBS::Parser` implementation from pure Ruby code based on [Racc](https://github.com/ruby/racc) to C extension.
+It improves the RBS file parsing performance up to 5 times faster. :rocket:
+
+* There are some incompatibilties to drop obsolete syntax rules: `super` keyword and `any` type are no longer supported.
+* [re2c](https://github.com/skvadrik/re2c) is used to generate lexical generator.
+
+When you want to change the parser/lexer, change the files under `ext/rbs_extension` directory and run `rake compile` to compile the extension.
 
 ### Signature updates
 
 * io/console ([\#783](https://github.com/ruby/rbs/pull/783))
+* `ENV` -- Note that it introduces a dummy `::ENVClass` class, which is not defined in Ruby. ([\#812](https://github.com/ruby/rbs/pull/812))
 * `Net::HTTPRequest` ([\#784](https://github.com/ruby/rbs/pull/784))
+* `#clone` ([#811](https://github.com/ruby/rbs/pull/811), [\#813](https://github.com/ruby/rbs/pull/813))
+* `Kernel#BigDecimal` ([\#817](https://github.com/ruby/rbs/pull/817))
 * `Tempfile.new`, `Tempfile.create` ([\#792](https://github.com/ruby/rbs/pull/792), [\#791](https://github.com/ruby/rbs/pull/791))
 
 ### Library changes
 
+* Replace `RBS::Parser` ([#788](https://github.com/ruby/rbs/pull/788), [#789](https://github.com/ruby/rbs/pull/789))
 * Fix unexpected `CollectionNotAvailable` without `gems` from git source ([\#795](https://github.com/ruby/rbs/pull/795))
-* Replace RBS::Parser ([#788](https://github.com/ruby/rbs/pull/788), [#789](https://github.com/ruby/rbs/pull/789))
 * Print deprecation warning ([\#801](https://github.com/ruby/rbs/pull/801))
 * Make `Parser::KEYWORDS` a hash ([\#804](https://github.com/ruby/rbs/pull/804))
+* Use _partial clone_ for `rbs collection` installer ([#805](https://github.com/ruby/rbs/pull/805))
+* Respect logger level for test/setup logger ([\#819](https://github.com/ruby/rbs/pull/819), [\#822](https://github.com/ruby/rbs/pull/822))
+
+## Miscellaneous
+
+* Avoid a mixture of `Array#filter` and `Array#select` ([\#820](https://github.com/ruby/rbs/pull/820))
+* Remove leftover documentation about `super` ([\#807](https://github.com/ruby/rbs/pull/807))
 
 ## 1.6.2 (2021-09-09)
 

data/Steepfile

@@ -3,7 +3,6 @@ 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", "uri"

data/core/array.rbs

@@ -699,7 +699,7 @@ class Array[unchecked out Elem] < Object
   #     ary.count {|x| x%2 == 0}   #=> 3
   #
   def count: () -> ::Integer
-           | (untyped obj) -> ::Integer
+           | (Elem obj) -> ::Integer
            | () { (Elem) -> boolish } -> ::Integer
 
   # Calls the given block for each element `n` times or forever if `nil` is given.
@@ -733,7 +733,7 @@ class Array[unchecked out Elem] < Object
   #     a.delete("z")                   #=> nil
   #     a.delete("z") {"not found"}     #=> "not found"
   #
-  def delete: (untyped obj) -> Elem?
+  def delete: (Elem obj) -> Elem?
             | [S, T] (S obj) { (S) -> T } -> (Elem | T)
 
   # Deletes the element at the specified `index`, returning that element, or `nil`
@@ -1029,7 +1029,7 @@ class Array[unchecked out Elem] < Object
   #     a.include?("b")   #=> true
   #     a.include?("z")   #=> false
   #
-  def include?: (untyped object) -> bool
+  def include?: (Elem object) -> bool
 
   # Returns the *index* of the first object in `ary` such that the object is `==`
   # to `obj`.

data/core/binding.rbs

@@ -31,6 +31,8 @@
 class Binding
   public
 
+  def clone: () -> self
+
   # Evaluates the Ruby expression(s) in *string*, in the *binding*'s context.  If
   # the optional *filename* and *lineno* parameters are present, they will be used
   # when reporting syntax errors.

data/core/builtin.rbs

@@ -6,6 +6,10 @@ interface _ToInt
   def to_int: -> Integer
 end
 
+interface _ToR
+  def to_r: () -> Rational
+end
+
 interface _ToS
   def to_s: -> String
 end

data/core/complex.rbs

@@ -165,8 +165,6 @@ class Complex < Numeric
 
   def ceil: (*untyped) -> bot
 
-  def clone: (?freeze: bool) -> self
-
   def coerce: (Numeric) -> [ Complex, Complex ]
 
   # Returns the complex conjugate.

data/core/enumerable.rbs

@@ -63,7 +63,7 @@ module Enumerable[unchecked out Elem]: _Each[Elem]
   # ary.count{ |x| x%2==0 } #=> 3
   # ```
   def count: () -> Integer
-           | (?untyped) -> Integer
+           | (Elem) -> Integer
            | () { (Elem) -> boolish } -> Integer
 
   def cycle: (?Integer n) { (Elem arg0) -> untyped } -> NilClass
@@ -130,7 +130,7 @@ module Enumerable[unchecked out Elem]: _Each[Elem]
   def group_by: [U] () { (Elem arg0) -> U } -> ::Hash[U, ::Array[Elem]]
               | () -> ::Enumerator[Elem, ::Array[Elem]]
 
-  def `include?`: (untyped arg0) -> bool
+  def `include?`: (Elem arg0) -> bool
 
   def inject: (untyped init, Symbol method) -> untyped
             | (Symbol method) -> untyped
@@ -341,7 +341,7 @@ module Enumerable[unchecked out Elem]: _Each[Elem]
   def map: [U] () { (Elem arg0) -> U } -> ::Array[U]
          | () -> ::Enumerator[Elem, ::Array[untyped]]
 
-  def member?: (untyped arg0) -> bool
+  def member?: (Elem arg0) -> bool
 
   alias reduce inject