steep 0.37.0 → 0.42.0

data/smoke/type_case/a.rb

@@ -4,25 +4,21 @@ x = (_ = nil)
 
 case x
 when Integer, String
-  # !expects NoMethodError: type=(::Integer | ::String), method=foobar
   x.foobar()
 end
 
 case x == (_ = 1)
 when Integer
-  # !expects NoMethodError: type=(::Integer | ::String | ::Symbol), method=foobar
   x.foobar
 end
 
 case x
 when 1
-  # !expects NoMethodError: type=(::Integer | ::String | ::Symbol), method=foobar
   x.foobar
 end
 
 case x
 when String
-  # !expects@+2 IncompatibleAnnotation: var_name=x, ::Integer <: ::String
   # @type var x: Integer
   x + 1
 end

data/smoke/type_case/test_expectations.yml

@@ -0,0 +1,48 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        character: 4
+      end:
+        line: 7
+        character: 10
+    severity: ERROR
+    message: Type `(::Integer | ::String)` does not have method `foobar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 12
+        character: 4
+      end:
+        line: 12
+        character: 10
+    severity: ERROR
+    message: Type `(::Integer | ::String | ::Symbol)` does not have method `foobar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 17
+        character: 4
+      end:
+        line: 17
+        character: 10
+    severity: ERROR
+    message: Type `1` does not have method `foobar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 23
+        character: 2
+      end:
+        line: 23
+        character: 7
+    severity: ERROR
+    message: |-
+      Type annotation about `x` is incompatible since ::Integer <: ::String doesn't hold
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAnnotation

data/smoke/unexpected/Steepfile

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

data/smoke/unexpected/test_expectations.yml

@@ -0,0 +1,25 @@
+---
+- file: unexpected.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 0
+      end:
+        line: 1
+        character: 14
+    severity: ERROR
+    message: 'UnexpectedError: unexpected.rbs:2:17...2:24: Could not find String1'
+    code: Ruby::UnexpectedError
+- file: unexpected.rbs
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 17
+      end:
+        line: 2
+        character: 24
+    severity: ERROR
+    message: Cannot find type `String1`
+    code: RBS::UnknownTypeName

data/smoke/unexpected/unexpected.rb

@@ -0,0 +1 @@
+Unexpected.new.foo().bar

data/smoke/unexpected/unexpected.rbs

@@ -0,0 +1,3 @@
+class Unexpected
+  def foo: () -> String1
+end

data/smoke/yield/a.rb

@@ -3,16 +3,13 @@ class A
   def foo()
     # @type var x: String
 
-    # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
     x = yield(3)
 
-    # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
     yield(x)
   end
 
   # @type method bar: () -> untyped
   def bar()
-    # !expects UnexpectedYield
     yield 4
   end
 end

data/smoke/yield/b.rb

@@ -0,0 +1,6 @@
+class Foo
+  # @type method bar: () ?{ (Integer) -> void } -> void
+  def bar
+    yield ""
+  end
+end

data/smoke/yield/test_expectations.yml

@@ -0,0 +1,68 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        character: 16
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 8
+        character: 10
+      end:
+        line: 8
+        character: 11
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to an expression of type `::Integer`
+        ::String <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 13
+        character: 4
+      end:
+        line: 13
+        character: 11
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 13
+        character: 4
+      end:
+        line: 13
+        character: 11
+    severity: ERROR
+    message: No block given for `yield`
+    code: Ruby::UnexpectedYield
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 10
+      end:
+        line: 4
+        character: 12
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to an expression of type `::Integer`
+        ::String <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment

data/steep.gemspec

@@ -28,11 +28,12 @@ Gem::Specification.new do |spec|
 
   spec.required_ruby_version = '>= 2.6.0'
 
-  spec.add_runtime_dependency "parser", "~> 2.7.0"
-  spec.add_runtime_dependency "ast_utils", "~> 0.3.0"
+  spec.add_runtime_dependency "parser", ">= 2.7"
+  spec.add_runtime_dependency "ast_utils", ">= 0.4.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.0.1"
-  spec.add_runtime_dependency "rbs", ">= 0.20.0"
+  spec.add_runtime_dependency "rbs", "~> 1.1.0"
+  spec.add_runtime_dependency "parallel", ">= 1.0.0"
 end

metadata

@@ -1,43 +1,43 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.37.0
+  version: 0.42.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
-autorequire: 
+autorequire:
 bindir: exe
 cert_chain: []
-date: 2020-12-06 00:00:00.000000000 Z
+date: 2021-03-08 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 2.7.0
+        version: '2.7'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 2.7.0
+        version: '2.7'
 - !ruby/object:Gem::Dependency
   name: ast_utils
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.0
+        version: 0.4.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.0
+        version: 0.4.0
 - !ruby/object:Gem::Dependency
   name: activesupport
   requirement: !ruby/object:Gem::Requirement
@@ -102,18 +102,32 @@ dependencies:
         version: 3.15.0.1
 - !ruby/object:Gem::Dependency
   name: rbs
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.1.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 1.1.0
+- !ruby/object:Gem::Dependency
+  name: parallel
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.20.0
+        version: 1.0.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 0.20.0
+        version: 1.0.0
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -132,8 +146,9 @@ files:
 - Rakefile
 - Steepfile
 - bin/console
+- bin/output_rebaseline.rb
+- bin/output_test.rb
 - bin/setup
-- bin/smoke_runner.rb
 - bin/steep-prof
 - exe/steep
 - lib/steep.rb
@@ -164,20 +179,28 @@ files:
 - lib/steep/ast/types/var.rb
 - lib/steep/ast/types/void.rb
 - lib/steep/cli.rb
+- lib/steep/diagnostic/helper.rb
+- lib/steep/diagnostic/lsp_formatter.rb
+- lib/steep/diagnostic/ruby.rb
+- lib/steep/diagnostic/signature.rb
 - lib/steep/drivers/annotations.rb
 - lib/steep/drivers/check.rb
+- lib/steep/drivers/diagnostic_printer.rb
 - lib/steep/drivers/init.rb
 - lib/steep/drivers/langserver.rb
 - lib/steep/drivers/print_project.rb
-- lib/steep/drivers/signature_error_printer.rb
 - lib/steep/drivers/stats.rb
 - lib/steep/drivers/trace_printer.rb
 - lib/steep/drivers/utils/driver_helper.rb
+- lib/steep/drivers/utils/jobs_count.rb
 - lib/steep/drivers/validate.rb
 - lib/steep/drivers/vendor.rb
 - lib/steep/drivers/watch.rb
 - lib/steep/drivers/worker.rb
-- lib/steep/errors.rb
+- lib/steep/expectations.rb
+- lib/steep/index/rbs_index.rb
+- lib/steep/index/signature_symbol_provider.rb
+- lib/steep/index/source_index.rb
 - lib/steep/interface/block.rb
 - lib/steep/interface/function.rb
 - lib/steep/interface/interface.rb
@@ -187,22 +210,25 @@ files:
 - lib/steep/method_name.rb
 - lib/steep/module_helper.rb
 - lib/steep/project.rb
-- lib/steep/project/completion_provider.rb
 - lib/steep/project/dsl.rb
-- lib/steep/project/file_loader.rb
-- lib/steep/project/hover_content.rb
 - lib/steep/project/options.rb
-- lib/steep/project/signature_file.rb
-- lib/steep/project/source_file.rb
+- lib/steep/project/pattern.rb
 - lib/steep/project/target.rb
+- lib/steep/range_extension.rb
 - lib/steep/server/base_worker.rb
-- lib/steep/server/code_worker.rb
+- lib/steep/server/change_buffer.rb
 - lib/steep/server/interaction_worker.rb
 - lib/steep/server/master.rb
-- lib/steep/server/signature_worker.rb
-- lib/steep/server/utils.rb
+- lib/steep/server/type_check_worker.rb
 - lib/steep/server/worker_process.rb
-- lib/steep/signature/errors.rb
+- lib/steep/services/completion_provider.rb
+- lib/steep/services/content_change.rb
+- lib/steep/services/file_loader.rb
+- lib/steep/services/hover_content.rb
+- lib/steep/services/path_assignment.rb
+- lib/steep/services/signature_service.rb
+- lib/steep/services/stats_calculator.rb
+- lib/steep/services/type_check_service.rb
 - lib/steep/signature/validator.rb
 - lib/steep/source.rb
 - lib/steep/subtyping/check.rb
@@ -212,7 +238,6 @@ files:
 - lib/steep/subtyping/trace.rb
 - lib/steep/subtyping/variable_occurrence.rb
 - lib/steep/subtyping/variable_variance.rb
-- lib/steep/type_assignability.rb
 - lib/steep/type_construction.rb
 - lib/steep/type_inference/block_params.rb
 - lib/steep/type_inference/constant_env.rb
@@ -236,12 +261,15 @@ files:
 - smoke/alias/a.rbs
 - smoke/alias/b.rb
 - smoke/alias/c.rb
+- smoke/alias/test_expectations.yml
 - smoke/and/Steepfile
 - smoke/and/a.rb
+- smoke/and/test_expectations.yml
 - smoke/array/Steepfile
 - smoke/array/a.rb
 - smoke/array/b.rb
 - smoke/array/c.rb
+- smoke/array/test_expectations.yml
 - smoke/block/Steepfile
 - smoke/block/a.rb
 - smoke/block/a.rbs
@@ -249,8 +277,10 @@ files:
 - smoke/block/c.rb
 - smoke/block/c.rbs
 - smoke/block/d.rb
+- smoke/block/test_expectations.yml
 - smoke/case/Steepfile
 - smoke/case/a.rb
+- smoke/case/test_expectations.yml
 - smoke/class/Steepfile
 - smoke/class/a.rb
 - smoke/class/a.rbs
@@ -262,15 +292,68 @@ files:
 - smoke/class/h.rbs
 - smoke/class/i.rb
 - smoke/class/i.rbs
+- smoke/class/test_expectations.yml
 - smoke/const/Steepfile
 - smoke/const/a.rb
+- smoke/const/b.rb
+- smoke/const/b.rbs
+- smoke/const/test_expectations.yml
+- smoke/diagnostics-rbs-duplicated/Steepfile
+- smoke/diagnostics-rbs-duplicated/a.rbs
+- smoke/diagnostics-rbs-duplicated/test_expectations.yml
+- smoke/diagnostics-rbs/Steepfile
+- smoke/diagnostics-rbs/duplicated-method-definition.rbs
+- smoke/diagnostics-rbs/generic-parameter-mismatch.rbs
+- smoke/diagnostics-rbs/invalid-method-overload.rbs
+- smoke/diagnostics-rbs/invalid-type-application.rbs
+- smoke/diagnostics-rbs/invalid_variance_annotation.rbs
+- smoke/diagnostics-rbs/recursive-alias.rbs
+- smoke/diagnostics-rbs/recursive-class.rbs
+- smoke/diagnostics-rbs/superclass-mismatch.rbs
+- smoke/diagnostics-rbs/test_expectations.yml
+- smoke/diagnostics-rbs/unknown-method-alias.rbs
+- smoke/diagnostics-rbs/unknown-type-name-2.rbs
+- smoke/diagnostics-rbs/unknown-type-name.rbs
+- 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/else_on_exhaustive_case.rb
+- smoke/diagnostics/incompatible_annotation.rb
+- smoke/diagnostics/incompatible_argument.rb
+- smoke/diagnostics/incompatible_assignment.rb
+- smoke/diagnostics/method_arity_mismatch.rb
+- smoke/diagnostics/method_body_type_mismatch.rb
+- smoke/diagnostics/method_definition_missing.rb
+- smoke/diagnostics/method_return_type_annotation_mismatch.rb
+- smoke/diagnostics/missing_keyword.rb
+- smoke/diagnostics/no_method.rb
+- smoke/diagnostics/required_block_missing.rb
+- smoke/diagnostics/return_type_mismatch.rb
+- smoke/diagnostics/test_expectations.yml
+- smoke/diagnostics/unexpected_block_given.rb
+- smoke/diagnostics/unexpected_dynamic_method.rb
+- smoke/diagnostics/unexpected_jump.rb
+- smoke/diagnostics/unexpected_jump_value.rb
+- smoke/diagnostics/unexpected_keyword.rb
+- smoke/diagnostics/unexpected_splat.rb
+- 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
+- smoke/dstr/test_expectations.yml
 - smoke/ensure/Steepfile
 - smoke/ensure/a.rb
+- smoke/ensure/test_expectations.yml
 - smoke/enumerator/Steepfile
 - smoke/enumerator/a.rb
 - smoke/enumerator/b.rb
+- smoke/enumerator/test_expectations.yml
 - smoke/extension/Steepfile
 - smoke/extension/a.rb
 - smoke/extension/a.rbs
@@ -279,6 +362,9 @@ files:
 - smoke/extension/d.rb
 - smoke/extension/e.rb
 - smoke/extension/e.rbs
+- smoke/extension/f.rb
+- smoke/extension/f.rbs
+- smoke/extension/test_expectations.yml
 - smoke/hash/Steepfile
 - smoke/hash/a.rb
 - smoke/hash/a.rbs
@@ -288,32 +374,43 @@ files:
 - smoke/hash/e.rb
 - smoke/hash/e.rbs
 - smoke/hash/f.rb
+- smoke/hash/test_expectations.yml
 - smoke/hello/Steepfile
 - smoke/hello/hello.rb
 - smoke/hello/hello.rbs
+- smoke/hello/test_expectations.yml
 - smoke/if/Steepfile
 - smoke/if/a.rb
+- smoke/if/test_expectations.yml
 - smoke/implements/Steepfile
 - smoke/implements/a.rb
 - smoke/implements/a.rbs
+- smoke/implements/test_expectations.yml
 - smoke/initialize/Steepfile
 - smoke/initialize/a.rb
 - smoke/initialize/a.rbs
+- smoke/initialize/test_expectations.yml
 - smoke/integer/Steepfile
 - smoke/integer/a.rb
+- smoke/integer/test_expectations.yml
 - smoke/interface/Steepfile
 - smoke/interface/a.rb
 - smoke/interface/a.rbs
+- smoke/interface/test_expectations.yml
 - smoke/kwbegin/Steepfile
 - smoke/kwbegin/a.rb
+- smoke/kwbegin/test_expectations.yml
 - smoke/lambda/Steepfile
 - smoke/lambda/a.rb
+- smoke/lambda/test_expectations.yml
 - smoke/literal/Steepfile
 - smoke/literal/a.rb
 - smoke/literal/b.rb
 - smoke/literal/literal_methods.rbs
+- smoke/literal/test_expectations.yml
 - smoke/map/Steepfile
 - smoke/map/a.rb
+- smoke/map/test_expectations.yml
 - smoke/method/Steepfile
 - smoke/method/a.rb
 - smoke/method/a.rbs
@@ -321,6 +418,7 @@ files:
 - smoke/method/c.rb
 - smoke/method/d.rb
 - smoke/method/d.rbs
+- smoke/method/test_expectations.yml
 - smoke/module/Steepfile
 - smoke/module/a.rb
 - smoke/module/a.rbs
@@ -329,9 +427,11 @@ files:
 - smoke/module/d.rb
 - smoke/module/e.rb
 - smoke/module/f.rb
+- smoke/module/test_expectations.yml
 - smoke/regexp/Steepfile
 - smoke/regexp/a.rb
 - smoke/regexp/b.rb
+- smoke/regexp/test_expectations.yml
 - smoke/regression/Steepfile
 - smoke/regression/array.rb
 - smoke/regression/fun.rb
@@ -341,28 +441,43 @@ files:
 - smoke/regression/poly_new.rbs
 - smoke/regression/range.rb
 - smoke/regression/set_divide.rb
+- smoke/regression/test_expectations.yml
 - smoke/rescue/Steepfile
 - smoke/rescue/a.rb
+- smoke/rescue/test_expectations.yml
 - smoke/self/Steepfile
 - smoke/self/a.rb
 - smoke/self/a.rbs
+- smoke/self/test_expectations.yml
 - smoke/skip/Steepfile
 - smoke/skip/skip.rb
+- smoke/skip/test_expectations.yml
 - smoke/stdout/Steepfile
 - smoke/stdout/a.rb
 - smoke/stdout/a.rbs
+- smoke/stdout/test_expectations.yml
 - smoke/super/Steepfile
 - smoke/super/a.rb
 - smoke/super/a.rbs
+- smoke/super/test_expectations.yml
 - smoke/toplevel/Steepfile
 - smoke/toplevel/a.rb
 - smoke/toplevel/a.rbs
+- smoke/toplevel/test_expectations.yml
 - smoke/tsort/Steepfile
 - smoke/tsort/a.rb
+- smoke/tsort/test_expectations.yml
 - smoke/type_case/Steepfile
 - smoke/type_case/a.rb
+- smoke/type_case/test_expectations.yml
+- smoke/unexpected/Steepfile
+- smoke/unexpected/test_expectations.yml
+- smoke/unexpected/unexpected.rb
+- smoke/unexpected/unexpected.rbs
 - smoke/yield/Steepfile
 - smoke/yield/a.rb
+- smoke/yield/b.rb
+- smoke/yield/test_expectations.yml
 - steep.gemspec
 homepage: https://github.com/soutaro/steep
 licenses:
@@ -371,7 +486,7 @@ metadata:
   homepage_uri: https://github.com/soutaro/steep
   source_code_uri: https://github.com/soutaro/steep
   changelog_uri: https://github.com/soutaro/steep/blob/master/CHANGELOG.md
-post_install_message: 
+post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -386,8 +501,8 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.1.2
-signing_key: 
+rubygems_version: 3.2.3
+signing_key:
 specification_version: 4
 summary: Gradual Typing for Ruby
 test_files: []