steep 0.43.1 → 0.46.0

data/smoke/toplevel/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/toplevel/test_expectations.yml

@@ -4,10 +4,10 @@
   - range:
       start:
         line: 1
-        character: 0
+        character: 4
       end:
-        line: 3
-        character: 3
+        line: 1
+        character: 13
     severity: ERROR
     message: |-
       Cannot allow method body have type `nil` because declared as type `::String`

data/smoke/tsort/Steepfile

@@ -1,8 +1,7 @@
 target :test do
-  signature "."
-  check "."
-
-  typing_options :strict
-
+  check "*.rb"
+  signature "*.rbs"
   library "tsort"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/tsort/test_expectations.yml

@@ -32,8 +32,8 @@
         character: 41
     severity: ERROR
     message: |-
-      Cannot assign a value of type `^(::Integer) -> ::Array[::Integer]` to a variable of type `^(::Integer) { (::Integer) -> void } -> void`
-        ^(::Integer) -> ::Array[::Integer] <: ^(::Integer) { (::Integer) -> void } -> void
+      Cannot assign a value of type `^(::Integer) -> ::Enumerator[::Integer, ::Array[::Integer]]` to a variable of type `^(::Integer) { (::Integer) -> void } -> void`
+        ^(::Integer) -> ::Enumerator[::Integer, ::Array[::Integer]] <: ^(::Integer) { (::Integer) -> void } -> void
     code: Ruby::IncompatibleAssignment
   - range:
       start:

data/smoke/type_case/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/unexpected/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/smoke/yield/Steepfile

@@ -1,5 +1,6 @@
 target :test do
-  typing_options :strict
   check "*.rb"
   signature "*.rbs"
+
+  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
 end

data/steep.gemspec

@@ -28,12 +28,12 @@ Gem::Specification.new do |spec|
 
   spec.required_ruby_version = '>= 2.6.0'
 
-  spec.add_runtime_dependency "parser", ">= 2.7"
+  spec.add_runtime_dependency "parser", ">= 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.0"
   spec.add_runtime_dependency "language_server-protocol", ">= 3.15", "< 4.0"
-  spec.add_runtime_dependency "rbs", "~> 1.1.0"
+  spec.add_runtime_dependency "rbs", ">= 1.2.0"
   spec.add_runtime_dependency "parallel", ">= 1.0.0"
   spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.43.1
+  version: 0.46.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-04-01 00:00:00.000000000 Z
+date: 2021-08-30 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -16,14 +16,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.7'
+        version: '3.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.7'
+        version: '3.0'
 - !ruby/object:Gem::Dependency
   name: activesupport
   requirement: !ruby/object:Gem::Requirement
@@ -96,16 +96,16 @@ dependencies:
   name: rbs
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 1.1.0
+        version: 1.2.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 1.1.0
+        version: 1.2.0
 - !ruby/object:Gem::Dependency
   name: parallel
   requirement: !ruby/object:Gem::Requirement
@@ -148,11 +148,13 @@ executables:
 extensions: []
 extra_rdoc_files: []
 files:
+- ".github/dependabot.yml"
 - ".github/workflows/ruby.yml"
 - ".gitignore"
 - ".gitmodules"
 - CHANGELOG.md
 - Gemfile
+- Gemfile.lock
 - LICENSE
 - README.md
 - Rakefile
@@ -209,6 +211,7 @@ files:
 - lib/steep/drivers/vendor.rb
 - lib/steep/drivers/watch.rb
 - lib/steep/drivers/worker.rb
+- lib/steep/equatable.rb
 - lib/steep/expectations.rb
 - lib/steep/index/rbs_index.rb
 - lib/steep/index/signature_symbol_provider.rb
@@ -236,6 +239,7 @@ files:
 - lib/steep/services/completion_provider.rb
 - lib/steep/services/content_change.rb
 - lib/steep/services/file_loader.rb
+- lib/steep/services/goto_service.rb
 - lib/steep/services/hover_content.rb
 - lib/steep/services/path_assignment.rb
 - lib/steep/services/signature_service.rb
@@ -259,6 +263,7 @@ files:
 - lib/steep/type_inference/logic.rb
 - lib/steep/type_inference/logic_type_interpreter.rb
 - lib/steep/type_inference/method_call.rb
+- lib/steep/type_inference/method_params.rb
 - lib/steep/type_inference/send_args.rb
 - lib/steep/type_inference/type_env.rb
 - lib/steep/typing.rb
@@ -268,6 +273,7 @@ files:
 - sample/lib/conference.rb
 - sample/sig/conference.rbs
 - sig/project.rbi
+- sig/steep/type_inference/send_args.rbs
 - smoke/alias/Steepfile
 - smoke/alias/a.rb
 - smoke/alias/a.rbs
@@ -319,6 +325,7 @@ files:
 - smoke/diagnostics-rbs/invalid-method-overload.rbs
 - smoke/diagnostics-rbs/invalid-type-application.rbs
 - smoke/diagnostics-rbs/invalid_variance_annotation.rbs
+- smoke/diagnostics-rbs/mixin-class-error.rbs
 - smoke/diagnostics-rbs/recursive-alias.rbs
 - smoke/diagnostics-rbs/recursive-class.rbs
 - smoke/diagnostics-rbs/superclass-mismatch.rbs
@@ -326,12 +333,17 @@ files:
 - smoke/diagnostics-rbs/unknown-method-alias.rbs
 - smoke/diagnostics-rbs/unknown-type-name-2.rbs
 - smoke/diagnostics-rbs/unknown-type-name.rbs
+- smoke/diagnostics-ruby-unsat/Steepfile
+- smoke/diagnostics-ruby-unsat/a.rbs
+- smoke/diagnostics-ruby-unsat/test_expectations.yml
+- smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb
 - smoke/diagnostics/Steepfile
 - smoke/diagnostics/a.rbs
 - smoke/diagnostics/argument_type_mismatch.rb
 - smoke/diagnostics/block_body_type_mismatch.rb
 - smoke/diagnostics/block_type_mismatch.rb
 - smoke/diagnostics/break_type_mismatch.rb
+- smoke/diagnostics/different_method_parameter_kind.rb
 - smoke/diagnostics/else_on_exhaustive_case.rb
 - smoke/diagnostics/incompatible_annotation.rb
 - smoke/diagnostics/incompatible_argument.rb
@@ -339,6 +351,7 @@ files:
 - smoke/diagnostics/method_arity_mismatch.rb
 - smoke/diagnostics/method_body_type_mismatch.rb
 - smoke/diagnostics/method_definition_missing.rb
+- smoke/diagnostics/method_parameter_mismatch.rb
 - smoke/diagnostics/method_return_type_annotation_mismatch.rb
 - smoke/diagnostics/missing_keyword.rb
 - smoke/diagnostics/no_method.rb
@@ -354,7 +367,6 @@ files:
 - smoke/diagnostics/unexpected_yield.rb
 - smoke/diagnostics/unknown_constant_assigned.rb
 - smoke/diagnostics/unresolved_overloading.rb
-- smoke/diagnostics/unsatisfiable_constraint.rb
 - smoke/diagnostics/unsupported_syntax.rb
 - smoke/dstr/Steepfile
 - smoke/dstr/a.rb
@@ -455,6 +467,8 @@ files:
 - smoke/regression/issue_328.rbs
 - smoke/regression/issue_332.rb
 - smoke/regression/issue_332.rbs
+- smoke/regression/issue_372.rb
+- smoke/regression/issue_372.rbs
 - smoke/regression/masgn.rb
 - smoke/regression/poly_new.rb
 - smoke/regression/poly_new.rbs
@@ -521,7 +535,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.2.3
+rubygems_version: 3.2.22
 signing_key:
 specification_version: 4
 summary: Gradual Typing for Ruby