steep 0.44.0 → 0.47.0

data/smoke/initialize/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/integer/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/interface/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/kwbegin/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/lambda/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/literal/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/literal/test_expectations.yml

@@ -101,6 +101,6 @@
         character: 15
     severity: ERROR
     message: |-
-      Cannot assign a value of type `::Symbol` to an expression of type `:foo`
+      Cannot pass a value of type `::Symbol` as an argument of type `:foo`
         ::Symbol <: :foo
-    code: Ruby::IncompatibleAssignment
+    code: Ruby::ArgumentTypeMismatch

data/smoke/map/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/method/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/method/test_expectations.yml

@@ -4,10 +4,10 @@
   - range:
       start:
         line: 3
-        character: 0
+        character: 4
       end:
-        line: 11
-        character: 3
+        line: 3
+        character: 7
     severity: ERROR
     message: |-
       Cannot allow method body have type `::Integer` because declared as type `::String`
@@ -49,13 +49,14 @@
   - range:
       start:
         line: 15
-        character: 7
+        character: 11
       end:
         line: 15
-        character: 13
+        character: 12
     severity: ERROR
-    message: Method parameters are incompatible with declaration `(::Integer) -> ::String`
-    code: Ruby::MethodArityMismatch
+    message: The method parameter is incompatible with the declaration `(::Integer)
+      -> ::String`
+    code: Ruby::MethodParameterMismatch
   - range:
       start:
         line: 18
@@ -76,10 +77,10 @@
   - range:
       start:
         line: 4
-        character: 2
+        character: 6
       end:
-        line: 6
-        character: 5
+        line: 4
+        character: 9
     severity: ERROR
     message: |-
       Cannot allow method body have type `::Symbol` because declared as type `(::Integer | ::String)`

data/smoke/module/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/regexp/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/regression/Steepfile

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

data/smoke/rescue/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/rescue/test_expectations.yml

@@ -64,10 +64,10 @@
   - range:
       start:
         line: 37
-        character: 0
+        character: 4
       end:
-        line: 41
-        character: 3
+        line: 37
+        character: 7
     severity: ERROR
     message: |-
       Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`

data/smoke/self/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/skip/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/stdout/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/super/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/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.2.0"
+  spec.add_runtime_dependency "rbs", "~> 1.7.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.44.0
+  version: 0.47.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2021-04-21 00:00:00.000000000 Z
+date: 2021-11-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.2.0
+        version: 1.7.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - ">="
+    - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.2.0
+        version: 1.7.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
@@ -260,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,7 +272,6 @@ files:
 - sample/Steepfile
 - sample/lib/conference.rb
 - sample/sig/conference.rbs
-- sig/project.rbi
 - smoke/alias/Steepfile
 - smoke/alias/a.rb
 - smoke/alias/a.rbs
@@ -320,6 +323,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
@@ -337,6 +341,7 @@ files:
 - 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
@@ -344,6 +349,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
@@ -527,7 +533,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

data/sig/project.rbi

@@ -1,109 +0,0 @@
-class Pathname
-end
-
-class Time
-  def self.now: -> instance
-  def < : (Time) -> bool
-  def >=: (Time) -> bool
-end
-
-type annotation = any
-
-class Steep::Source
-  def self.parse: (String, path: String, labeling: any) -> instance
-  def annotations: (block: any, builder: any, current_module: any) -> Array<annotation>
-  def node: -> any
-  def find_node: (line: Integer, column: Integer) -> any
-end
-
-class Steep::Typing
-  attr_reader errors: Array<type_error>
-  attr_reader nodes: any
-end
-
-type type_error = any
-
-class Steep::Project::Options
-  attr_accessor fallback_any_is_error: bool
-  attr_accessor allow_missing_definitions: bool
-end
-
-class Parser::SyntaxError
-end
-
-class Steep::Project::SourceFile
-  attr_reader options: Options
-  attr_reader path: Pathname
-  attr_accessor content: String
-  attr_reader content_updated_at: Time
-
-  attr_reader source: (Source | Parser::SyntaxError | nil)
-  attr_reader typing: Typing?
-  attr_reader last_type_checked_at: Time?
-
-  def initialize: (path: Pathname, options: Options) -> any
-  def requires_type_check?: -> bool
-  def invalidate: -> void
-  def parse: -> (Source | Parser::SyntaxError)
-  def errors: -> Array<type_error>?
-  def type_check: (any) -> void
-end
-
-class Steep::Project::SignatureFile
-  attr_reader path: Pathname
-  attr_accessor content: String
-  attr_reader content_updated_at: Time
-
-  def parse: -> Array<any>
-end
-
-interface Steep::Project::_Listener
-  def parse_signature: <'x> (project: Project, file: SignatureFile) { -> 'x } -> 'x
-  def parse_source: <'x> (project: Project, file: SourceFile) { -> 'x } -> 'x
-  def check: <'x> (project: Project) { -> 'x } -> 'x
-  def load_signature: <'x> (project: Project) { -> 'x } -> 'x
-  def validate_signature: <'x> (project: Project) { -> 'x } -> 'x
-  def type_check_source: <'x> (project: Project, file: SourceFile) { -> 'x } -> 'x
-  def clear_project: <'x> (project: Project) { -> 'x } -> 'x
-end
-
-class Steep::Project::SignatureLoaded
-  attr_reader check: any
-  attr_reader loaded_at: Time
-  attr_reader file_paths: Array<Pathname>
-
-  def initialize: (check: any, loaded_at: Time, file_paths: Array<Pathname>) -> any
-end
-
-class Steep::Project::SignatureHasSyntaxError
-  attr_reader errors: Hash<Pathname, any>
-  def initialize: (errors: Hash<Pathname, any>) -> any
-end
-
-class Steep::Project::SignatureHasError
-  attr_reader errors: Array<any>
-  def initialize: (errors: Array<any>) -> any
-end
-
-class Steep::Project
-  attr_reader listener: _Listener
-  attr_reader source_files: Hash<Pathname, SourceFile>
-  attr_reader signature_files: Hash<Pathname, SignatureFile>
-
-  attr_reader signature: (SignatureLoaded | SignatureHasError | SignatureHasSyntaxError | nil)
-
-  def initialize: (?_Listener?) -> any
-  def clear: -> void
-  def type_check: (?force_signatures: bool, ?force_sources: bool) -> void
-
-  def success?: -> bool
-  def has_type_error?: -> bool
-  def errors: -> Array<type_error>
-  def each_updated_source: (?force: bool) { (SourceFile) -> void } -> void
-                         | (?force: bool) -> Enumerator<SourceFile, void>
-  def signature_updated?: -> bool
-  def reload_signature: -> void
-  def validate_signature: (any) -> Array<any>
-
-  def type_of: (path: Pathname, line: Integer, column: Integer) -> any
-end