steep 1.7.0.dev.3 → 1.7.0

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.7.0.dev.3
+  version: 1.7.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-03-24 00:00:00.000000000 Z
+date: 2024-06-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -98,14 +98,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 3.1.0
+        version: 3.5.0.pre
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 3.1.0
+        version: 3.5.0.pre
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
   requirement: !ruby/object:Gem::Requirement
@@ -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
@@ -254,9 +247,8 @@ files:
 - bin/steep
 - bin/steep-prof
 - 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
@@ -331,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
@@ -380,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:
@@ -539,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

data/Gemfile.lock

@@ -1,104 +0,0 @@
-PATH
-  remote: .
-  specs:
-    steep (1.7.0.dev.3)
-      activesupport (>= 5.1)
-      concurrent-ruby (>= 1.1.10)
-      csv (>= 3.0.9)
-      fileutils (>= 1.1.0)
-      json (>= 2.1.0)
-      language_server-protocol (>= 3.15, < 4.0)
-      listen (~> 3.0)
-      logger (>= 1.3.0)
-      parser (>= 3.1)
-      rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 3.1.0)
-      securerandom (>= 0.1)
-      strscan (>= 1.0.0)
-      terminal-table (>= 2, < 4)
-
-GEM
-  remote: https://rubygems.org/
-  specs:
-    abbrev (0.1.2)
-    activesupport (7.1.3.2)
-      base64
-      bigdecimal
-      concurrent-ruby (~> 1.0, >= 1.0.2)
-      connection_pool (>= 2.2.5)
-      drb
-      i18n (>= 1.6, < 2)
-      minitest (>= 5.1)
-      mutex_m
-      tzinfo (~> 2.0)
-    ast (2.4.2)
-    base64 (0.2.0)
-    bigdecimal (3.1.7)
-    concurrent-ruby (1.2.3)
-    connection_pool (2.4.1)
-    csv (3.3.0)
-    debug (1.9.1)
-      irb (~> 1.10)
-      reline (>= 0.3.8)
-    drb (2.2.1)
-    ffi (1.16.3)
-    fileutils (1.7.2)
-    i18n (1.14.4)
-      concurrent-ruby (~> 1.0)
-    io-console (0.7.2)
-    irb (1.12.0)
-      rdoc
-      reline (>= 0.4.2)
-    json (2.7.1)
-    language_server-protocol (3.17.0.3)
-    listen (3.9.0)
-      rb-fsevent (~> 0.10, >= 0.10.3)
-      rb-inotify (~> 0.9, >= 0.9.10)
-    logger (1.6.0)
-    minitest (5.22.3)
-    minitest-hooks (1.5.1)
-      minitest (> 5.3)
-    minitest-slow_test (0.2.0)
-      minitest (>= 5.0)
-    mutex_m (0.2.0)
-    parser (3.3.0.5)
-      ast (~> 2.4.1)
-      racc
-    psych (5.1.2)
-      stringio
-    racc (1.7.3)
-    rainbow (3.1.1)
-    rake (13.1.0)
-    rb-fsevent (0.11.2)
-    rb-inotify (0.10.1)
-      ffi (~> 1.0)
-    rbs (3.4.4)
-      abbrev
-    rdoc (6.6.3.1)
-      psych (>= 4.0.0)
-    reline (0.4.3)
-      io-console (~> 0.5)
-    securerandom (0.3.1)
-    stackprof (0.2.26)
-    stringio (3.1.0)
-    strscan (3.1.0)
-    terminal-table (3.0.2)
-      unicode-display_width (>= 1.1.1, < 3)
-    tzinfo (2.0.6)
-      concurrent-ruby (~> 1.0)
-    unicode-display_width (2.5.0)
-
-PLATFORMS
-  ruby
-
-DEPENDENCIES
-  debug
-  minitest (~> 5.21)
-  minitest-hooks
-  minitest-slow_test
-  rake
-  stackprof
-  steep!
-
-BUNDLED WITH
-   2.3.8

data/gemfile_steep/Gemfile

@@ -1,3 +0,0 @@
-source "https://rubygems.org"
-
-gem 'steep', "~> 1.7.0.dev", require: false

data/gemfile_steep/Gemfile.lock

@@ -1,77 +0,0 @@
-GEM
-  remote: https://rubygems.org/
-  specs:
-    abbrev (0.1.2)
-    activesupport (7.1.3.2)
-      base64
-      bigdecimal
-      concurrent-ruby (~> 1.0, >= 1.0.2)
-      connection_pool (>= 2.2.5)
-      drb
-      i18n (>= 1.6, < 2)
-      minitest (>= 5.1)
-      mutex_m
-      tzinfo (~> 2.0)
-    ast (2.4.2)
-    base64 (0.2.0)
-    bigdecimal (3.1.7)
-    concurrent-ruby (1.2.3)
-    connection_pool (2.4.1)
-    csv (3.3.0)
-    drb (2.2.1)
-    ffi (1.16.3)
-    fileutils (1.7.2)
-    i18n (1.14.4)
-      concurrent-ruby (~> 1.0)
-    json (2.7.1)
-    language_server-protocol (3.17.0.3)
-    listen (3.9.0)
-      rb-fsevent (~> 0.10, >= 0.10.3)
-      rb-inotify (~> 0.9, >= 0.9.10)
-    logger (1.6.0)
-    minitest (5.22.3)
-    mutex_m (0.2.0)
-    parser (3.3.0.5)
-      ast (~> 2.4.1)
-      racc
-    racc (1.7.3)
-    rainbow (3.1.1)
-    rb-fsevent (0.11.2)
-    rb-inotify (0.10.1)
-      ffi (~> 1.0)
-    rbs (3.4.4)
-      abbrev
-    securerandom (0.3.1)
-    steep (1.7.0.dev.2)
-      activesupport (>= 5.1)
-      concurrent-ruby (>= 1.1.10)
-      csv (>= 3.0.9)
-      fileutils (>= 1.1.0)
-      json (>= 2.1.0)
-      language_server-protocol (>= 3.15, < 4.0)
-      listen (~> 3.0)
-      logger (>= 1.3.0)
-      parser (>= 3.1)
-      rainbow (>= 2.2.2, < 4.0)
-      rbs (>= 3.1.0)
-      securerandom (>= 0.1)
-      strscan (>= 1.0.0)
-      terminal-table (>= 2, < 4)
-    strscan (3.1.0)
-    terminal-table (3.0.2)
-      unicode-display_width (>= 1.1.1, < 3)
-    tzinfo (2.0.6)
-      concurrent-ruby (~> 1.0)
-    unicode-display_width (2.5.0)
-
-PLATFORMS
-  arm64-darwin-21
-  arm64-darwin-22
-  arm64-darwin-23
-  x86_64-linux
-
-DEPENDENCIES
-  steep (~> 1.7.0.dev)
-
-BUNDLED WITH
-   2.3.15

data/rbs_collection.steep.lock.yaml

@@ -1,108 +0,0 @@
----
-path: ".gem_rbs_collection"
-gems:
-- name: activesupport
-  version: '7.0'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: c42c09528dd99252db98f0744181a6de54ec2f55
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: base64
-  version: '0'
-  source:
-    type: stdlib
-- name: bigdecimal
-  version: '0'
-  source:
-    type: stdlib
-- name: concurrent-ruby
-  version: '1.1'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: c42c09528dd99252db98f0744181a6de54ec2f55
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: csv
-  version: '0'
-  source:
-    type: stdlib
-- name: date
-  version: '0'
-  source:
-    type: stdlib
-- name: fileutils
-  version: '0'
-  source:
-    type: stdlib
-- name: forwardable
-  version: '0'
-  source:
-    type: stdlib
-- name: i18n
-  version: '1.10'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: c42c09528dd99252db98f0744181a6de54ec2f55
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: json
-  version: '0'
-  source:
-    type: stdlib
-- name: listen
-  version: '3.2'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: c42c09528dd99252db98f0744181a6de54ec2f55
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: logger
-  version: '0'
-  source:
-    type: stdlib
-- name: minitest
-  version: '0'
-  source:
-    type: stdlib
-- name: monitor
-  version: '0'
-  source:
-    type: stdlib
-- name: mutex_m
-  version: '0'
-  source:
-    type: stdlib
-- name: pathname
-  version: '0'
-  source:
-    type: stdlib
-- name: rainbow
-  version: '3.0'
-  source:
-    type: git
-    name: ruby/gem_rbs_collection
-    revision: c42c09528dd99252db98f0744181a6de54ec2f55
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    repo_dir: gems
-- name: securerandom
-  version: '0'
-  source:
-    type: stdlib
-- name: singleton
-  version: '0'
-  source:
-    type: stdlib
-- name: strscan
-  version: '0'
-  source:
-    type: stdlib
-- name: time
-  version: '0'
-  source:
-    type: stdlib
-gemfile_lock_path: gemfile_steep/Gemfile.lock

data/rbs_collection.steep.yaml

@@ -1,23 +0,0 @@
-# Download sources
-sources:
-  - name: ruby/gem_rbs_collection
-    remote: https://github.com/ruby/gem_rbs_collection.git
-    revision: c42c09528dd99252db98f0744181a6de54ec2f55
-    repo_dir: gems
-
-# A directory to install the downloaded RBSs
-path: .gem_rbs_collection
-
-gems:
-  - name: with_steep_types
-    ignore: true
-  - name: activesupport
-  - name: rainbow
-  - name: listen
-  - name: json
-  - name: logger
-  - name: fileutils
-  - name: strscan
-  - name: csv
-  - name: pathname
-  - name: securerandom

data/sig/shims/bundler.rbs

@@ -1,3 +0,0 @@
-module Bundler
-  def self.default_gemfile: () -> Pathname
-end