steep 1.7.0.dev.4 → 1.7.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 17795ed14e183d6e8858e6ea8f57f71dbd3cdced0e4d9cf7e43c646188e486cd
-  data.tar.gz: 7005e9d96f44f23a47f1844597b86fd3d774f000b1de5cf100d235e68c56a0b5
+  metadata.gz: ee680022ab2333d1fcfeff84ee0513c389ccfb6cf52fbc04f3f53edace112931
+  data.tar.gz: 400fd763d24b8154fea38900c988cf651c6a0e646485a1aa4d4e6c5ba285a453
 SHA512:
-  metadata.gz: e178baa7a185edaafb359032266bfa7f29d082c9da30ca418e5ef4030b5723423f3f36ba4165a640d996e252bb91883dcfe55b1f750f51c3153452b368e5a9ee
-  data.tar.gz: 8919d4c047097e7e7fd63ecba71ae96f412a56588c7b6ff1d381838d2d935d2ba7dc382ca83fe5b679f35ebbe298460e80e87047c88b6ebcc5e3e6ef258e2535
+  metadata.gz: 6836114d1f2e78eea1b2d19528a480ca234cc02f1339d8c70543e20a6c7b969d59b11a9434290e0fa2a4116ffe8f2b646bb0a9c642a0978102e5752be06ae808
+  data.tar.gz: 0476bc765f54bba0442aafdd08a64c2985a0d16fe25efaac69f9c3ddad8cca44628d78d1fb62e2c5e0727627cdcddd1a7cdc5987e3de6ef4cdc1e1a5761bcb99

data/CHANGELOG.md

@@ -1,5 +1,48 @@
 # CHANGELOG
 
+## 1.7.0 (2024-06-07)
+
+### Type checker core
+
+* Implement untyped function params ([#1101](https://github.com/soutaro/steep/pull/1101))
+* Fix method call type narrowing with`||` operator ([#1085](https://github.com/soutaro/steep/pull/1085))
+* Refactor `Interface::Builder` ([#1081](https://github.com/soutaro/steep/pull/1081))
+* Fix UnexpectedError with unnamed arguments  ([#1041](https://github.com/soutaro/steep/pull/1041))
+* Abort if subtyping fails to (possible) infinite loop ([#1055](https://github.com/soutaro/steep/pull/1055))
+* Ignore diagnostics by `steep:ignore` comment ([#1034](https://github.com/soutaro/steep/pull/1034))
+* Make defined? accept any type ([#1031](https://github.com/soutaro/steep/pull/1031))
+* Refactor case-when syntax ([#999](https://github.com/soutaro/steep/pull/999))
+* Update `Steep::Subtyping::Check#check` types ([#972](https://github.com/soutaro/steep/pull/972))
+
+### Commandline tool
+
+* Improve wildcard handling in pattern matching for directory paths ([#1121](https://github.com/soutaro/steep/pull/1121))
+* Fix issue with wildcard expansion in FileLoader ([#1113](https://github.com/soutaro/steep/pull/1113))
+* Avoid unnecessary calling `RBS::Location#to_s` on debug log ([#1092](https://github.com/soutaro/steep/pull/1092))
+* Better recovery from collection problems ([#987](https://github.com/soutaro/steep/pull/987))
+* Handle absolute path ([#975](https://github.com/soutaro/steep/pull/975))
+* Default to check the entire current directory when there is no `Steepfile` ([#968](https://github.com/soutaro/steep/pull/968))
+
+### Language server
+
+* Fix variable untyped hover issue in rescue clause ([#1147](https://github.com/soutaro/steep/pull/1147))
+* Handle `$/file/reset` request in interaction worker ([#1122](https://github.com/soutaro/steep/pull/1122))
+* Skip pending UI jobs ([#1035](https://github.com/soutaro/steep/pull/1035))
+* Fix no method error ([#1040](https://github.com/soutaro/steep/pull/1040))
+* Implement completion for comments ([#1039](https://github.com/soutaro/steep/pull/1039))
+* Fix signature help ([#1038](https://github.com/soutaro/steep/pull/1038))
+
+### Miscellaneous
+
+* Revise rake tasks ([#1156](https://github.com/soutaro/steep/pull/1156))
+* Update `steep.gemspec` ([#1155](https://github.com/soutaro/steep/pull/1155))
+* Add `Steep::RakeTask` ([#995](https://github.com/soutaro/steep/pull/995))
+* Stop to distribute sig dir ([#1144](https://github.com/soutaro/steep/pull/1144))
+* Update gem-rbs-collection.md ([#1127](https://github.com/soutaro/steep/pull/1127))
+* Add shape docs ([#1089](https://github.com/soutaro/steep/pull/1089))
+* Ignore smoke tests when packaging gem ([#962](https://github.com/soutaro/steep/pull/962))
+* Fix setup for Ruby 3.3 ([#1000](https://github.com/soutaro/steep/pull/1000))
+
 ## master
 
 ## 1.6.0 (2023-11-09)

data/README.md

@@ -219,6 +219,24 @@ Steep implements some of the Language Server Protocol features.
 
 Other LSP supporting tools may work with Steep where it starts the server as `steep langserver`.
 
+## Rake Tasks
+
+Steep comes with a set of configurable Rake tasks.
+
+```ruby
+# Rakefile
+
+require "steep/rake_task"
+Steep::RakeTask.new do |t|
+  t.check.severity_level = :error
+  t.watch.verbose
+end
+
+task default: [:steep]
+```
+
+Use `bundle exec rake -T` to see all available tasks.
+
 ## 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.

data/guides/src/gem-rbs-collection/gem-rbs-collection.md

@@ -12,30 +12,13 @@ Run rbs-collection-init to start setup.
 $ rbs collection init
 ```
 
-You have to edit the generated `rbs_collection.yaml` file. Add a few lines under gems section.
-
-```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
-  - name: steep
-    ignore: true
-  - name: rbs_rails     # Add these lines if you use rbs_rails
-    ignore: true
-  - name: rbs_protobuf  # Add these lines if you use rbs_protobuf
-    ignore: true
+You have to edit your `Gemfile`. Specify `require: false` for gems for which you do not want type definitions.
+
+```ruby
+gem 'rbs', require: false
+gem 'steep, require: false
+gem 'rbs_rails', require: false
+gem 'rbs_protobuf', require: false
 ```
 
 Once you save the file, run the install command.

data/lib/steep/rake_task.rb

@@ -0,0 +1,132 @@
+require "rake"
+require "rake/tasklib"
+require "steep/cli"
+
+module Steep
+  # Provides Rake tasks for running Steep commands.
+  #
+  # require "steep/rake_task"
+  # Steep::RakeTask.new do |t|
+  #   t.check.severity_level = :error
+  #   t.watch.verbose
+  #   t.stats << "--format=table"
+  # end
+  class RakeTask < Rake::TaskLib # steep:ignore UnknownConstant
+    attr_accessor :name
+
+    def self.available_commands
+      %i(init check stats binstub project watch)
+    end
+
+    def initialize(name = :steep, cli_runner = default_cli_runner)
+      super()
+
+      @name = name
+
+      configuration = TaskConfiguration.new
+
+      yield configuration if block_given?
+
+      define_tasks(configuration, cli_runner)
+    end
+
+    private
+
+    # :nodoc:
+    class TaskConfiguration
+      def initialize
+        @commands = {}
+      end
+
+      def method_missing(command)
+        if respond_to?(command)
+          @commands[command] ||= CommandConfiguration.new
+        else
+          super
+        end
+      end
+
+      def respond_to_missing?(name, include_private = false)
+        RakeTask.available_commands.include?(name) || super
+      end
+
+      def options(command)
+        @commands[command]&.to_a || []
+      end
+    end
+
+    # :nodoc:
+    class CommandConfiguration
+      def initialize
+        @options = []
+      end
+
+      def method_missing(name, value = nil)
+        option = "--#{name.to_s.gsub(/_/, '-').gsub(/=/, '')}"
+        option << "=#{value}" if value
+
+        self << option
+      end
+
+      def respond_to_missing?(_name)
+        true
+      end
+
+      def <<(value)
+        @options << value
+        self
+      end
+
+      def to_a
+        @options
+      end
+    end
+
+    def default_cli_runner
+      lambda do |arguments|
+        require "steep"
+
+        cli = Steep::CLI.new(
+          stdout: $stdout,
+          stdin: $stdin,
+          stderr: $stderr,
+          argv: arguments
+        )
+
+        cli.run
+      end
+    end
+
+    def define_tasks(configuration, cli_runner)
+      namespace name do
+        RakeTask.available_commands.each do |command|
+          desc "Run steep #{command}"
+          task command do |_, args|
+            configured_options = configuration.options(command)
+
+            argv = [
+              command.to_s,
+              *configured_options,
+              *args.extras
+            ]
+
+            result = cli_runner[argv]
+
+            raise "Steep failed" if result.nonzero?
+          end
+        end
+
+        desc "Run steep help"
+        task "help" do
+          arguments = ["--help"]
+
+          cli_runner[arguments]
+        end
+      end
+
+      # Default steep task to steep:check
+      desc "Run steep check" unless ::Rake.application.last_description # steep:ignore UnknownConstant
+      task name => ["#{name}:check"]
+    end
+  end
+end

data/lib/steep/type_construction.rb

@@ -2106,6 +2106,7 @@ module Steep
               end
 
               if body
+                resbody_construction.typing.add_context_for_node(body, context: resbody_construction.context)
                 resbody_construction.synthesize(body, hint: hint)
               else
                 Pair.new(constr: body_constr, type: AST::Builtin.nil_type)

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.7.0.dev.4"
+  VERSION = "1.7.0"
 end

data/steep.gemspec

@@ -18,8 +18,11 @@ Gem::Specification.new do |spec|
   spec.metadata["source_code_uri"] = "https://github.com/soutaro/steep"
   spec.metadata["changelog_uri"] = "https://github.com/soutaro/steep/blob/master/CHANGELOG.md"
 
+  skip_dirs = %w(test spec features smoke sig gemfile_steep .github .vscode)
+  skip_files = %w(Gemfile Gemfile.lock rbs_collection.steep.yaml rbs_collection.steep.lock.yaml)
+
   spec.files         = `git ls-files -z`.split("\x0").reject {|f|
-    f.match(%r{^(test|spec|features|smoke)/})
+    skip_dirs.any? {|dir| f.start_with?(dir + File::SEPARATOR) } || skip_files.include?(f)
   }
 
   spec.bindir        = "exe"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.7.0.dev.4
+  version: 1.7.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-05-12 00:00:00.000000000 Z
+date: 2024-06-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -232,16 +232,9 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
-- ".github/dependabot.yml"
-- ".github/workflows/ruby-windows.yml"
-- ".github/workflows/ruby.yml"
 - ".gitignore"
 - ".gitmodules"
-- ".vscode/steep-shared.code-snippets"
 - CHANGELOG.md
-- Gemfile
-- Gemfile.lock
-- Gemfile.steep
 - LICENSE
 - README.md
 - Rakefile
@@ -256,8 +249,6 @@ files:
 - doc/narrowing.md
 - doc/shape.md
 - exe/steep
-- gemfile_steep/Gemfile
-- gemfile_steep/Gemfile.lock
 - guides/README.md
 - guides/src/gem-rbs-collection/gem-rbs-collection.md
 - guides/src/getting-started/getting-started.md
@@ -332,6 +323,7 @@ files:
 - lib/steep/project/options.rb
 - lib/steep/project/pattern.rb
 - lib/steep/project/target.rb
+- lib/steep/rake_task.rb
 - lib/steep/range_extension.rb
 - lib/steep/server/base_worker.rb
 - lib/steep/server/change_buffer.rb
@@ -381,142 +373,11 @@ files:
 - lib/steep/typing.rb
 - lib/steep/version.rb
 - manual/annotations.md
-- rbs_collection.steep.lock.yaml
-- rbs_collection.steep.yaml
 - sample/Steepfile
 - sample/lib/conference.rb
 - sample/lib/length.rb
 - sample/sig/conference.rbs
 - sample/sig/length.rbs
-- sig/shims/bundler.rbs
-- sig/shims/concurrent-ruby.rbs
-- sig/shims/exception.rbs
-- sig/shims/language-server_protocol.rbs
-- sig/shims/parser.rbs
-- sig/shims/parser/comment.rbs
-- sig/shims/parser/nodes.rbs
-- sig/shims/parser/source/map.rbs
-- sig/shims/parser/source/range.rbs
-- sig/shims/string.rbs
-- sig/shims/tagged_logging.rbs
-- sig/shims/yaml.rbs
-- sig/steep.rbs
-- sig/steep/annotation_parser.rbs
-- sig/steep/ast/annotation.rbs
-- sig/steep/ast/annotation/collection.rbs
-- sig/steep/ast/builtin.rbs
-- sig/steep/ast/ignore.rbs
-- sig/steep/ast/node/type_application.rbs
-- sig/steep/ast/node/type_assertion.rbs
-- sig/steep/ast/types.rbs
-- sig/steep/ast/types/any.rbs
-- sig/steep/ast/types/boolean.rbs
-- sig/steep/ast/types/bot.rbs
-- sig/steep/ast/types/class.rbs
-- sig/steep/ast/types/factory.rbs
-- sig/steep/ast/types/helper.rbs
-- sig/steep/ast/types/instance.rbs
-- sig/steep/ast/types/intersection.rbs
-- sig/steep/ast/types/literal.rbs
-- sig/steep/ast/types/logic.rbs
-- sig/steep/ast/types/name.rbs
-- sig/steep/ast/types/nil.rbs
-- sig/steep/ast/types/proc.rbs
-- sig/steep/ast/types/record.rbs
-- sig/steep/ast/types/self.rbs
-- sig/steep/ast/types/top.rbs
-- sig/steep/ast/types/tuple.rbs
-- sig/steep/ast/types/union.rbs
-- sig/steep/ast/types/var.rbs
-- sig/steep/ast/types/void.rbs
-- sig/steep/cli.rbs
-- sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs
-- sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs
-- sig/steep/diagnostic/helper.rbs
-- sig/steep/diagnostic/lsp_formatter.rbs
-- sig/steep/diagnostic/ruby.rbs
-- sig/steep/diagnostic/signature.rbs
-- sig/steep/drivers/annotations.rbs
-- sig/steep/drivers/check.rbs
-- sig/steep/drivers/checkfile.rbs
-- sig/steep/drivers/diagnostic_printer.rbs
-- sig/steep/drivers/init.rbs
-- sig/steep/drivers/langserver.rbs
-- sig/steep/drivers/print_project.rbs
-- sig/steep/drivers/stats.rbs
-- sig/steep/drivers/utils/driver_helper.rbs
-- sig/steep/drivers/utils/jobs_option.rbs
-- sig/steep/drivers/validate.rbs
-- sig/steep/drivers/vendor.rbs
-- sig/steep/drivers/watch.rbs
-- sig/steep/drivers/worker.rbs
-- sig/steep/equatable.rbs
-- sig/steep/expectations.rbs
-- sig/steep/index/rbs_index.rbs
-- sig/steep/index/signature_symbol_provider.rbs
-- sig/steep/index/source_index.rbs
-- sig/steep/interface/block.rbs
-- sig/steep/interface/builder.rbs
-- sig/steep/interface/function.rbs
-- sig/steep/interface/method_type.rbs
-- sig/steep/interface/shape.rbs
-- sig/steep/interface/substitution.rbs
-- sig/steep/interface/type_param.rbs
-- sig/steep/method_name.rbs
-- sig/steep/module_helper.rbs
-- sig/steep/node_helper.rbs
-- sig/steep/path_helper.rbs
-- sig/steep/project.rbs
-- sig/steep/project/dsl.rbs
-- sig/steep/project/options.rbs
-- sig/steep/project/pattern.rbs
-- sig/steep/project/target.rbs
-- sig/steep/range_extension.rbs
-- sig/steep/server/base_worker.rbs
-- sig/steep/server/change_buffer.rbs
-- sig/steep/server/delay_queue.rbs
-- sig/steep/server/interaction_worker.rbs
-- sig/steep/server/lsp_formatter.rbs
-- sig/steep/server/master.rbs
-- sig/steep/server/type_check_worker.rbs
-- sig/steep/server/worker_process.rbs
-- sig/steep/services/completion_provider.rbs
-- sig/steep/services/content_change.rbs
-- sig/steep/services/file_loader.rbs
-- sig/steep/services/goto_service.rbs
-- sig/steep/services/hover_provider/rbs.rbs
-- sig/steep/services/hover_provider/ruby.rbs
-- sig/steep/services/hover_provider/singleton_methods.rbs
-- sig/steep/services/path_assignment.rbs
-- sig/steep/services/signature_help_provider.rbs
-- sig/steep/services/signature_service.rbs
-- sig/steep/services/stats_calculator.rbs
-- sig/steep/services/type_check_service.rbs
-- sig/steep/services/type_name_completion.rbs
-- sig/steep/signature/validator.rbs
-- sig/steep/source.rbs
-- sig/steep/source/ignore_ranges.rbs
-- sig/steep/subtyping/cache.rbs
-- sig/steep/subtyping/check.rbs
-- sig/steep/subtyping/constraints.rbs
-- sig/steep/subtyping/relation.rbs
-- sig/steep/subtyping/result.rbs
-- sig/steep/subtyping/variable_variance.rbs
-- sig/steep/thread_waiter.rbs
-- sig/steep/type_construction.rbs
-- sig/steep/type_inference/block_params.rbs
-- sig/steep/type_inference/case_when.rbs
-- sig/steep/type_inference/constant_env.rbs
-- sig/steep/type_inference/context.rbs
-- sig/steep/type_inference/context_array.rbs
-- sig/steep/type_inference/logic_type_interpreter.rbs
-- sig/steep/type_inference/method_call.rbs
-- sig/steep/type_inference/method_params.rbs
-- sig/steep/type_inference/multiple_assignment.rbs
-- sig/steep/type_inference/send_args.rbs
-- sig/steep/type_inference/type_env.rbs
-- sig/steep/type_inference/type_env_builder.rbs
-- sig/steep/typing.rbs
 - steep.gemspec
 homepage: https://github.com/soutaro/steep
 licenses:
@@ -540,7 +401,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.5.3
+rubygems_version: 3.5.9
 signing_key:
 specification_version: 4
 summary: Gradual Typing for Ruby

data/.github/dependabot.yml

@@ -1,28 +0,0 @@
-version: 2
-
-updates:
-  - package-ecosystem: bundler
-    directory: "/"
-    schedule:
-      interval: daily
-      time: "20:00"
-    open-pull-requests-limit: 10
-    allow:
-      - dependency-type: all
-    versioning-strategy: lockfile-only
-
-  - package-ecosystem: bundler
-    directory: "/gemfile_steep"
-    schedule:
-      interval: daily
-      time: "20:00"
-    open-pull-requests-limit: 10
-    allow:
-      - dependency-type: all
-    versioning-strategy: lockfile-only
-
-  - package-ecosystem: "github-actions"
-    directory: "/"
-    schedule:
-      # Check for updates to GitHub Actions every weekday
-      interval: "daily"

data/.github/workflows/ruby-windows.yml

@@ -1,35 +0,0 @@
-name: Run test on Windows
-
-on:
-  push:
-    branches:
-      - master
-  pull_request: {}
-
-jobs:
-  windows:
-    strategy:
-      matrix:
-        ruby_version:
-        - "3.0"
-        - "3.1"
-        - "3.2"
-        - "3.3"
-        task:
-        - test
-        # - test:output  Ignored because the order of diagnostics changes somehow
-        - build
-    runs-on: windows-latest
-    steps:
-    - uses: actions/checkout@v4
-    - uses: ruby/setup-ruby@v1
-      with:
-        ruby-version: ${{ matrix.ruby_version }}
-    - name: Run test
-      run: |
-        git config --global --add safe.directory /__w/steep/steep
-        ruby -v
-        gem install bundler
-        bundle install --jobs 4 --retry 3
-        bin/setup
-        bundle exec rake ${{matrix.task}}

data/.github/workflows/ruby.yml

@@ -1,32 +0,0 @@
-name: Run test on container
-
-on:
-  push:
-    branches:
-      - master
-  pull_request: {}
-
-jobs:
-  test:
-    strategy:
-      fail-fast: false
-      matrix:
-        ruby: ['3.0', '3.1', '3.2', '3.3']
-        task:
-          - test
-          - test:output
-          - build
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v4
-    - uses: ruby/setup-ruby@v1
-      with:
-        ruby-version: ${{ matrix.ruby }}
-        bundler: none
-    - name: Run test
-      run: |
-        git config --global --add safe.directory /__w/steep/steep
-        ruby -v
-        gem install bundler
-        bin/setup
-        bundle exec rake ${{matrix.task}}

data/.vscode/steep-shared.code-snippets

@@ -1,41 +0,0 @@
-{
-	// Place your steep workspace snippets here. Each snippet is defined under a snippet name and has a scope, prefix, body and
-	// description. Add comma separated ids of the languages where the snippet is applicable in the scope field. If scope
-	// is left empty or omitted, the snippet gets applied to all languages. The prefix is what is
-	// used to trigger the snippet and the body will be expanded and inserted. Possible variables are:
-	// $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders.
-	// Placeholders with the same ids are connected.
-	// Example:
-	// "Print to console": {
-	// 	"scope": "javascript,typescript",
-	// 	"prefix": "log",
-	// 	"body": [
-	// 		"console.log('$1');",
-	// 		"$2"
-	// 	],
-	// 	"description": "Log output to console"
-	// }
-
-	"Add type_check_test case": {
-		"scope": "ruby",
-		"body": [
-			"def test_${1:name}",
-			"  run_type_check_test(",
-			"    signatures: {",
-			"      \"a.rbs\" => <<~RBS",
-			"        ${2:rbs}",
-			"      RBS",
-			"    },",
-			"    code: {",
-			"      \"a.rb\" => <<~RUBY",
-      "        ${3:ruby code}",
-			"      RUBY",
-			"    },",
-			"    expectations: <<~YAML",
-			"    YAML",
-			"  )",
-			"end",
-		],
-		"description": "Insert a new test case"
-	}
-}

data/Gemfile

@@ -1,14 +0,0 @@
-source 'https://rubygems.org'
-
-# Specify your gem's dependencies in steep.gemspec
-gemspec
-
-gem "rake"
-gem "minitest", "~> 5.21"
-gem "minitest-hooks"
-group :stackprof, optional: true do
-  gem "stackprof"
-end
-gem 'minitest-slow_test'
-
-gem "debug", require: false, platform: :mri