steep 0.11.1 → 0.12.0

data/smoke/regression/Steepfile

@@ -0,0 +1,5 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+  library "set"
+end

data/smoke/regression/array.rb

@@ -1,7 +1,7 @@
 class Foo
-  # @type method foo: (Array<String>) -> void
+  # @type method foo: (Array[String]) -> void
   def array(x)
-    # @type ivar @y: Array<String>>
+    # @type ivar @y: Array[String]
     @y = x
   end
 end

data/smoke/regression/hash.rb

@@ -1,7 +1,7 @@
 class Foo
-  # @type method foo: (Hash<String, any>) -> void
+  # @type method foo: (Hash[String, untyped]) -> void
   def foo(x)
-    # @type ivar @y: Hash<String, any>
+    # @type ivar @y: Hash[String, untyped]
     @y = x
   end
 end

data/smoke/regression/poly_new.rb

@@ -0,0 +1,2 @@
+# @type var a: PolyNew[String]
+a = PolyNew.new(a: "")

data/smoke/regression/poly_new.rbs

@@ -0,0 +1,4 @@
+class PolyNew[A]
+  def initialize: (a: A) -> void
+  def foo: () -> A
+end

data/smoke/regression/set_divide.rb

@@ -1,5 +1,5 @@
-d = Set.new([1,2,3], &:to_s)
-# !expects NoMethodError: type=::Set<::String>, method=ffffffff
+d = Set["1","2","3"]
+# !expects NoMethodError: type=::Set[::String], method=ffffffff
 d.ffffffff
 
 d.divide do |x, y|

data/smoke/rescue/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/rescue/a.rb

@@ -34,7 +34,7 @@ d = begin
 
 # @type var e: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array<::Integer> | ::Integer | ::String | ::Symbol)
+# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::Integer] | ::Integer | ::String | ::Symbol)
 e = begin
       'foo'
     rescue RuntimeError

data/smoke/self/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/self/a.rbs

@@ -0,0 +1,4 @@
+class A
+  def foo: -> untyped
+  def bar: -> untyped
+end

data/smoke/skip/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/stdout/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/stdout/{a.rbi → a.rbs}

@@ -1,5 +1,5 @@
 interface _Puts
-  def puts: (*any) -> void
+  def puts: (*untyped) -> void
 end
 
 class A

data/smoke/super/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/super/a.rbs

@@ -0,0 +1,10 @@
+class A
+  def foo: (untyped) -> Integer
+  include M
+
+  def baz: () -> untyped
+end
+
+module M
+  def foo: (untyped) -> Object
+end

data/smoke/type_case/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/type_case/a.rb

@@ -8,7 +8,7 @@ when Integer, String
   x.foobar()
 end
 
-case x == 1
+case x == (_ = 1)
 when Integer
   # !expects NoMethodError: type=(::Integer | ::String | ::Symbol), method=foobar
   x.foobar

data/smoke/yield/Steepfile

@@ -0,0 +1,4 @@
+target :test do
+  check "*.rb"
+  signature "*.rbs"
+end

data/smoke/yield/a.rb

@@ -1,5 +1,5 @@
 class A
-  # @type method foo: () { (Integer) -> Integer } -> any
+  # @type method foo: () { (Integer) -> Integer } -> untyped
   def foo()
     # @type var x: String
 
@@ -10,7 +10,7 @@ class A
     yield(x)
   end
 
-  # @type method bar: () -> any
+  # @type method bar: () -> untyped
   def bar()
     # !expects UnexpectedYield
     yield 4

data/steep.gemspec

@@ -14,26 +14,33 @@ Gem::Specification.new do |spec|
   spec.homepage      = "https://github.com/soutaro/steep"
   spec.license       = 'MIT'
 
-  spec.files         = `git ls-files -z`.split("\x0").reject do |f|
+  spec.files         = `git ls-files -z`.split("\x0").reject {|f|
     f.match(%r{^(test|spec|features)/})
-  end
-  spec.files         << "lib/steep/parser.rb"
+  } + Dir.chdir("vendor/ruby-signature") {
+    `git ls-files -z`.split("\x0")
+      .reject {|f| f.match(%r{^(test|spec|features)/}) }
+      .map {|f| File.join("vendor/ruby-signature", f) }
+  }
+  spec.files         << "vendor/ruby-signature/lib/ruby/signature/parser.rb"
+
   spec.bindir        = "exe"
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
 
-  spec.required_ruby_version = '>= 2.5.0'
+  spec.required_ruby_version = '>= 2.6.0'
 
   spec.add_development_dependency "bundler", ">= 1.13"
-  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rake", "~> 13.0"
   spec.add_development_dependency "minitest", "~> 5.0"
   spec.add_development_dependency "racc", "~> 1.4"
+  spec.add_development_dependency "minitest-reporters", "~> 1.3.6"
+  spec.add_development_dependency "minitest-hooks", "~> 1.5.0"
 
-  spec.add_runtime_dependency "parser", "~> 2.4"
+  spec.add_runtime_dependency "parser", "~> 2.7.0"
   spec.add_runtime_dependency "ast_utils", "~> 0.3.0"
   spec.add_runtime_dependency "activesupport", ">= 5.1"
   spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
   spec.add_runtime_dependency "listen", "~> 3.1"
   spec.add_runtime_dependency "pry", "~> 0.12.2"
-  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0"
+  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.1"
 end

data/vendor/ruby-signature/.github/workflows/ruby.yml

@@ -0,0 +1,27 @@
+name: Ruby
+
+on:
+  push:
+    branches:
+      - master
+  pull_request: {}
+
+jobs:
+  test:
+    runs-on: "ubuntu-latest"
+    strategy:
+      matrix:
+        container_tag:
+        - master-nightly-bionic 
+        - 2.6.5-bionic
+        - 2.7.0-bionic
+    container:
+      image: rubylang/ruby:${{ matrix.container_tag }}
+    steps:
+    - uses: actions/checkout@v1
+    - name: Run test
+      run: |
+        ruby -v
+        gem install bundler
+        bundle install --jobs 4 --retry 3
+        bundle exec rake

data/vendor/ruby-signature/.gitignore

@@ -0,0 +1,12 @@
+/.bundle/
+/.yardoc
+/_yardoc/
+/coverage/
+/pkg/
+/spec/reports/
+/tmp/
+/Gemfile.lock
+/.ruby-version
+/lib/ruby/signature/parser.rb
+/lib/ruby/signature/parser.output
+/vendor/sigs

data/vendor/ruby-signature/.rubocop.yml

@@ -0,0 +1,15 @@
+require: rubocop-rubycw
+AllCops:
+  TargetRubyVersion: 2.7
+  DisabledByDefault: true
+  Exclude:
+    - 'vendor/bundle/**/*'
+Rubycw/Rubycw:
+  Enabled: true
+  Exclude:
+    - 'test/**/*_test.rb'
+
+Lint/DuplicateMethods:
+  Enabled: true
+  Include:
+    - 'test/**/*_test.rb'

data/vendor/ruby-signature/BSDL

@@ -0,0 +1,22 @@
+Copyright (C) 2019 Soutaro Matsumoto. All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+1. Redistributions of source code must retain the above copyright
+notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+SUCH DAMAGE.

data/vendor/ruby-signature/COPYING

@@ -0,0 +1,56 @@
+ruby-signature is copyrighted free software by Soutaro Matsumoto <matsumoto@soutaro.com>.
+You can redistribute it and/or modify it under either the terms of the
+2-clause BSDL (see the file BSDL), or the conditions below:
+
+1. You may make and give away verbatim copies of the source form of the
+   software without restriction, provided that you duplicate all of the
+   original copyright notices and associated disclaimers.
+
+2. You may modify your copy of the software in any way, provided that
+   you do at least ONE of the following:
+
+   a. place your modifications in the Public Domain or otherwise
+      make them Freely Available, such as by posting said
+      modifications to Usenet or an equivalent medium, or by allowing
+      the author to include your modifications in the software.
+
+   b. use the modified software only within your corporation or
+      organization.
+
+   c. give non-standard binaries non-standard names, with
+      instructions on where to get the original software distribution.
+
+   d. make other distribution arrangements with the author.
+
+3. You may distribute the software in object code or binary form,
+   provided that you do at least ONE of the following:
+
+   a. distribute the binaries and library files of the software,
+      together with instructions (in the manual page or equivalent)
+      on where to get the original distribution.
+
+   b. accompany the distribution with the machine-readable source of
+      the software.
+
+   c. give non-standard binaries non-standard names, with
+      instructions on where to get the original software distribution.
+
+   d. make other distribution arrangements with the author.
+
+4. You may modify and include the part of the software into any other
+   software (possibly commercial).  But some files in the distribution
+   are not written by the author, so that they are not under these terms.
+
+   For the list of those files and their copying conditions, see the
+   file LEGAL.
+
+5. The scripts and library files supplied as input to or produced as
+   output from the software do not automatically fall under the
+   copyright of the software, but belong to whomever generated them,
+   and may be sold commercially, and may be aggregated with this
+   software.
+
+6. THIS SOFTWARE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR
+   IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
+   WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+   PURPOSE.

data/vendor/ruby-signature/Gemfile

@@ -0,0 +1,6 @@
+source "https://rubygems.org"
+
+# Specify your gem's dependencies in ruby-signature.gemspec
+gemspec
+
+gem "ruby-signature-amber", path: "test/assets/test-gem"

data/vendor/ruby-signature/README.md

@@ -0,0 +1,93 @@
+# Ruby::Signature
+
+Ruby::Signature provides syntax and semantics definition for the `Ruby Signature` language, `.rbs` files.
+It consists of a parser, the syntax, and class definition interpreter, the semantics.
+
+## Build
+
+We haven't published a gem yet.
+You need to install the dependencies, and build its parser with `bin/setup`.
+
+```
+$ bin/setup
+$ bundle exec exe/ruby-signature
+```
+
+## Usage
+
+```
+$ ruby-signature list
+$ ruby-signature ancestors ::Object
+$ ruby-signature methods ::Object
+$ ruby-signature method ::Object tap
+```
+
+### ruby-signature [--class|--module|interface] list
+
+```
+$ ruby-signature list
+```
+
+This command lists all of the classes/modules/interfaces defined in `.rbs` files.
+
+### ruby-signature ancestors [--singleton|--instance] CLASS
+
+```
+$ ruby-signature ancestors Array                    # ([].class.ancestors)
+$ ruby-signature ancestors --singleton Array        # (Array.class.ancestors)
+```
+
+This command prints the _ancestors_ of the class.
+The name of the command is borrowed from `Class#ancestors`, but the semantics is a bit different.
+The `ancestors` command is more precise (I believe).
+
+### ruby-signature methods [--singleton|--instance] CLASS
+
+```
+$ ruby-signature methods ::Integer                  # 1.methods
+$ ruby-signature methods --singleton ::Object       # Object.methods
+```
+
+This command prints all methods provided for the class.
+
+### ruby-signature method [--singleton|--instance] CLASS METHOD
+
+```
+$ ruby-signature method ::Integer '+'               # 1+2
+$ ruby-signature method --singleton ::Object tap    # Object.tap { ... }
+```
+
+This command prints type and properties of the method.
+
+### Options
+
+It accepts two global options, `-r` and `-I`.
+
+`-r` is for libraries. You can specify the names of libraries.
+
+```
+$ ruby-signature -r set list
+```
+
+`-I` is for application signatures. You can specify the name of directory.
+
+```
+$ ruby-signature -I sig list
+```
+
+## Guides
+
+- [Standard library signature contribution guide](docs/CONTRIBUTING.md)
+- [Writing signatures guide](docs/sigs.md)
+- [Stdlib signatures guide](docs/stdlib.md)
+- [Syntax](docs/syntax.md)
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake test` to run the tests. You can also run `bin/console` for an interactive prompt that will allow you to experiment.
+
+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).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/ruby/ruby-signature.

data/vendor/ruby-signature/Rakefile

@@ -0,0 +1,66 @@
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+  t.libs << "lib"
+  t.test_files = FileList["test/**/*_test.rb"].reject do |path|
+    path =~ %r{test/stdlib/}
+  end
+end
+
+task :default => [:test, :stdlib_test, :rubocop, :validate]
+
+task :validate do
+  sh "rbs validate"
+end
+
+task :stdlib_test do
+  FileList["test/stdlib/*_test.rb"].each do |test|
+    sh "ruby bin/test_runner.rb #{test}"
+  end
+end
+
+task :rubocop do
+  sh "rubocop --parallel"
+end
+
+rule ".rb" => ".y" do |t|
+  sh "racc -v -o #{t.name} #{t.source}"
+end
+
+task :parser => "lib/ruby/signature/parser.rb"
+task :test => :parser
+task :stdlib_test => :parser
+task :build => :parser
+
+namespace :generate do
+  task :stdlib_test, [:class] do |_task, args|
+    klass = args.fetch(:class) do
+      raise "Class name is necessary. e.g. rake 'generate:stdlib_test[String]'"
+    end
+
+    path = Pathname("test/stdlib/#{klass}_test.rb")
+    raise "#{path} already exists!" if path.exist?
+
+    path.write <<~RUBY
+      require_relative "test_helper"
+      
+      class #{klass}Test < StdlibTest
+        target #{klass}
+        # library "pathname", "set", "securerandom"     # Declare library signatures to load
+        using hook.refinement
+
+        # def test_method_name
+        #   # Call the method
+        #   method_name(arg)
+        #   method_name(arg, arg2)
+        # end
+      end
+    RUBY
+
+    puts "Created: #{path}"
+  end
+end
+
+CLEAN.include("lib/ruby/signature/parser.rb")