RubyGems - steep - Versions diffs - 0.40.0 → 0.44.0 - Mend

steep 0.40.0 → 0.44.0

Files changed (169) hide show

checksums.yaml +4 -4
data/CHANGELOG.md +38 -0
data/Gemfile +1 -0
data/bin/output_rebaseline.rb +15 -30
data/bin/output_test.rb +23 -57
data/lib/steep.rb +89 -15
data/lib/steep/annotation_parser.rb +10 -2
data/lib/steep/ast/types/class.rb +4 -0
data/lib/steep/cli.rb +31 -6
data/lib/steep/diagnostic/ruby.rb +13 -8
data/lib/steep/diagnostic/signature.rb +152 -2
data/lib/steep/drivers/annotations.rb +18 -36
data/lib/steep/drivers/check.rb +140 -31
data/lib/steep/drivers/diagnostic_printer.rb +20 -11
data/lib/steep/drivers/langserver.rb +4 -8
data/lib/steep/drivers/print_project.rb +10 -9
data/lib/steep/drivers/stats.rb +135 -119
data/lib/steep/drivers/utils/driver_helper.rb +35 -0
data/lib/steep/drivers/utils/jobs_count.rb +9 -0
data/lib/steep/drivers/validate.rb +29 -18
data/lib/steep/drivers/watch.rb +55 -49
data/lib/steep/drivers/worker.rb +11 -8
data/lib/steep/expectations.rb +159 -0
data/lib/steep/index/signature_symbol_provider.rb +23 -1
data/lib/steep/index/source_index.rb +55 -5
data/lib/steep/interface/block.rb +4 -0
data/lib/steep/project.rb +0 -30
data/lib/steep/project/dsl.rb +5 -3
data/lib/steep/project/pattern.rb +56 -0
data/lib/steep/project/target.rb +11 -227
data/lib/steep/server/base_worker.rb +1 -3
data/lib/steep/server/change_buffer.rb +63 -0
data/lib/steep/server/interaction_worker.rb +72 -57
data/lib/steep/server/master.rb +652 -234
data/lib/steep/server/type_check_worker.rb +304 -0
data/lib/steep/server/worker_process.rb +16 -11
data/lib/steep/{project → services}/completion_provider.rb +5 -5
data/lib/steep/services/content_change.rb +61 -0
data/lib/steep/services/file_loader.rb +48 -0
data/lib/steep/services/goto_service.rb +321 -0
data/lib/steep/{project → services}/hover_content.rb +19 -20
data/lib/steep/services/path_assignment.rb +27 -0
data/lib/steep/services/signature_service.rb +403 -0
data/lib/steep/services/stats_calculator.rb +69 -0
data/lib/steep/services/type_check_service.rb +413 -0
data/lib/steep/signature/validator.rb +187 -85
data/lib/steep/source.rb +21 -18
data/lib/steep/subtyping/check.rb +246 -45
data/lib/steep/subtyping/constraints.rb +4 -4
data/lib/steep/type_construction.rb +428 -193
data/lib/steep/type_inference/block_params.rb +1 -1
data/lib/steep/type_inference/context.rb +22 -0
data/lib/steep/type_inference/local_variable_type_env.rb +26 -12
data/lib/steep/type_inference/logic.rb +1 -1
data/lib/steep/type_inference/logic_type_interpreter.rb +4 -4
data/lib/steep/type_inference/type_env.rb +43 -17
data/lib/steep/version.rb +1 -1
data/smoke/alias/test_expectations.yml +96 -0
data/smoke/and/test_expectations.yml +31 -0
data/smoke/array/test_expectations.yml +103 -0
data/smoke/block/test_expectations.yml +125 -0
data/smoke/case/test_expectations.yml +47 -0
data/smoke/class/test_expectations.yml +120 -0
data/smoke/const/test_expectations.yml +129 -0
data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +13 -0
data/smoke/diagnostics-rbs/Steepfile +7 -4
data/smoke/diagnostics-rbs/test_expectations.yml +231 -0
data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +5 -0
data/smoke/{broken → diagnostics-ruby-unsat}/Steepfile +0 -0
data/smoke/diagnostics-ruby-unsat/a.rbs +3 -0
data/smoke/diagnostics-ruby-unsat/test_expectations.yml +27 -0
data/smoke/{diagnostics → diagnostics-ruby-unsat}/unsatisfiable_constraint.rb +0 -1
data/smoke/diagnostics/a.rbs +0 -4
data/smoke/diagnostics/test_expectations.yml +451 -0
data/smoke/dstr/test_expectations.yml +13 -0
data/smoke/ensure/test_expectations.yml +62 -0
data/smoke/enumerator/test_expectations.yml +135 -0
data/smoke/extension/f.rb +2 -0
data/smoke/extension/f.rbs +3 -0
data/smoke/extension/test_expectations.yml +73 -0
data/smoke/hash/test_expectations.yml +81 -0
data/smoke/hello/test_expectations.yml +25 -0
data/smoke/if/test_expectations.yml +34 -0
data/smoke/implements/b.rb +13 -0
data/smoke/implements/b.rbs +12 -0
data/smoke/implements/test_expectations.yml +23 -0
data/smoke/initialize/test_expectations.yml +1 -0
data/smoke/integer/test_expectations.yml +101 -0
data/smoke/interface/test_expectations.yml +23 -0
data/smoke/kwbegin/test_expectations.yml +17 -0
data/smoke/lambda/test_expectations.yml +39 -0
data/smoke/literal/test_expectations.yml +106 -0
data/smoke/map/test_expectations.yml +1 -0
data/smoke/method/test_expectations.yml +90 -0
data/smoke/module/test_expectations.yml +75 -0
data/smoke/regexp/test_expectations.yml +615 -0
data/smoke/regression/issue_328.rb +1 -0
data/smoke/regression/issue_328.rbs +0 -0
data/smoke/regression/issue_332.rb +11 -0
data/smoke/regression/issue_332.rbs +19 -0
data/smoke/regression/issue_372.rb +8 -0
data/smoke/regression/issue_372.rbs +4 -0
data/smoke/regression/masgn.rb +4 -0
data/smoke/regression/test_expectations.yml +60 -0
data/smoke/regression/thread.rb +7 -0
data/smoke/rescue/test_expectations.yml +79 -0
data/smoke/self/test_expectations.yml +23 -0
data/smoke/skip/test_expectations.yml +23 -0
data/smoke/stdout/test_expectations.yml +1 -0
data/smoke/super/test_expectations.yml +69 -0
data/smoke/toplevel/test_expectations.yml +15 -0
data/smoke/tsort/Steepfile +2 -0
data/smoke/tsort/test_expectations.yml +63 -0
data/smoke/type_case/test_expectations.yml +48 -0
data/smoke/unexpected/Steepfile +5 -0
data/smoke/unexpected/test_expectations.yml +25 -0
data/smoke/unexpected/unexpected.rb +1 -0
data/smoke/unexpected/unexpected.rbs +3 -0
data/smoke/yield/test_expectations.yml +68 -0
data/steep.gemspec +4 -3
metadata +127 -80
data/lib/steep/project/file_loader.rb +0 -68
data/lib/steep/project/signature_file.rb +0 -39
data/lib/steep/project/source_file.rb +0 -129
data/lib/steep/project/stats_calculator.rb +0 -80
data/lib/steep/server/code_worker.rb +0 -150
data/lib/steep/server/signature_worker.rb +0 -157
data/lib/steep/server/utils.rb +0 -69
data/smoke/alias/test.yaml +0 -73
data/smoke/and/test.yaml +0 -24
data/smoke/array/test.yaml +0 -80
data/smoke/block/test.yaml +0 -96
data/smoke/broken/broken.rb +0 -0
data/smoke/broken/broken.rbs +0 -0
data/smoke/broken/test.yaml +0 -6
data/smoke/case/test.yaml +0 -36
data/smoke/class/test.yaml +0 -89
data/smoke/const/test.yaml +0 -96
data/smoke/diagnostics-rbs-duplicated/test.yaml +0 -10
data/smoke/diagnostics-rbs/test.yaml +0 -142
data/smoke/diagnostics/test.yaml +0 -333
data/smoke/dstr/test.yaml +0 -10
data/smoke/ensure/test.yaml +0 -47
data/smoke/enumerator/test.yaml +0 -100
data/smoke/extension/test.yaml +0 -50
data/smoke/hash/test.yaml +0 -62
data/smoke/hello/test.yaml +0 -18
data/smoke/if/test.yaml +0 -27
data/smoke/implements/test.yaml +0 -16
data/smoke/initialize/test.yaml +0 -4
data/smoke/integer/test.yaml +0 -66
data/smoke/interface/test.yaml +0 -16
data/smoke/kwbegin/test.yaml +0 -14
data/smoke/lambda/test.yaml +0 -28
data/smoke/literal/test.yaml +0 -79
data/smoke/map/test.yaml +0 -4
data/smoke/method/test.yaml +0 -71
data/smoke/module/test.yaml +0 -51
data/smoke/regexp/test.yaml +0 -372
data/smoke/regression/test.yaml +0 -38
data/smoke/rescue/test.yaml +0 -60
data/smoke/self/test.yaml +0 -16
data/smoke/skip/test.yaml +0 -16
data/smoke/stdout/test.yaml +0 -4
data/smoke/super/test.yaml +0 -52
data/smoke/toplevel/test.yaml +0 -12
data/smoke/tsort/test.yaml +0 -32
data/smoke/type_case/test.yaml +0 -33
data/smoke/yield/test.yaml +0 -49

data/smoke/dstr/test_expectations.yml ADDED Viewed

@@ -0,0 +1,13 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 15
+      end:
+        line: 5
+        character: 18
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod

data/smoke/ensure/test_expectations.yml ADDED Viewed

@@ -0,0 +1,62 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 9
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Integer`
+        ::String <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 7
+        character: 6
+      end:
+        line: 7
+        character: 14
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Symbol` to a variable of type `::Integer`
+        ::Symbol <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 13
+        character: 0
+      end:
+        line: 18
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `::Integer` because declared as type `::String`
+        ::Integer <: ::String
+          ::Numeric <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::MethodBodyTypeMismatch
+  - range:
+      start:
+        line: 16
+        character: 2
+      end:
+        line: 16
+        character: 9
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `+` of type `::Integer`
+      Method types:
+        def +: (::Integer) -> ::Integer
+             | (::Float) -> ::Float
+             | (::Rational) -> ::Rational
+             | (::Complex) -> ::Complex
+    code: Ruby::UnresolvedOverloading

data/smoke/enumerator/test_expectations.yml ADDED Viewed

@@ -0,0 +1,135 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 0
+      end:
+        line: 8
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Hash[::Symbol, ::String]`
+        ::String <: ::Hash[::Symbol, ::String]
+          ::Object <: ::Hash[::Symbol, ::String]
+            ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 6
+        character: 2
+      end:
+        line: 6
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Integer <: ::Hash[::Symbol, ::String]
+          ::Numeric <: ::Hash[::Symbol, ::String]
+            ::Object <: ::Hash[::Symbol, ::String]
+              ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 7
+        character: 2
+      end:
+        line: 7
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Hash[::Symbol, ::String]`
+        ::String <: ::Hash[::Symbol, ::String]
+          ::Object <: ::Hash[::Symbol, ::String]
+            ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 13
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Array[::Integer] <: ::Hash[::Symbol, ::String]
+          ::Object <: ::Hash[::Symbol, ::String]
+            ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 2
+      end:
+        line: 11
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Integer <: ::Hash[::Symbol, ::String]
+          ::Numeric <: ::Hash[::Symbol, ::String]
+            ::Object <: ::Hash[::Symbol, ::String]
+              ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 12
+        character: 2
+      end:
+        line: 12
+        character: 10
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Integer` to a variable of type `::Hash[::Symbol, ::String]`
+        ::Integer <: ::Hash[::Symbol, ::String]
+          ::Numeric <: ::Hash[::Symbol, ::String]
+            ::Object <: ::Hash[::Symbol, ::String]
+              ::BasicObject <: ::Hash[::Symbol, ::String]
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 9
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `with_object` of type `::Enumerator[::Integer, ::Array[::Integer]]`
+      Method types:
+        def with_object: [U] (U) { (::Integer, U) -> untyped } -> U
+                       | [U] (U) -> ::Enumerator[[::Integer, U], ::Array[::Integer]]
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 14
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Integer]`
+        ::Array[::String] <: ::Array[::Integer]
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 17
+        character: 0
+      end:
+        line: 19
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Array[untyped]` to a variable of type `::String`
+        ::Array[untyped] <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment

data/smoke/extension/f.rb ADDED Viewed

	@@ -0,0 +1,2 @@
1	+ array = [1,2,3]
2	+ array.__f__.__error__

data/smoke/extension/f.rbs ADDED Viewed

@@ -0,0 +1,3 @@
+class Array[unchecked out X]
+  def __f__: () -> X
+end

data/smoke/extension/test_expectations.yml ADDED Viewed

@@ -0,0 +1,73 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 8
+        character: 2
+      end:
+        line: 8
+        character: 12
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Foo` to a variable of type `::String`
+        ::Foo <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 7
+        character: 0
+      end:
+        line: 7
+        character: 17
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::String` to a variable of type `::Integer`
+        ::String <: ::Integer
+          ::Object <: ::Integer
+            ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 10
+        character: 0
+      end:
+        line: 10
+        character: 16
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Object` to a variable of type `::Integer`
+        ::Object <: ::Integer
+          ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 4
+      end:
+        line: 6
+        character: 20
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Object` to a variable of type `::String`
+        ::Object <: ::String
+          ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: f.rb
+  diagnostics:
+  - range:
+      start:
+        line: 2
+        character: 12
+      end:
+        line: 2
+        character: 21
+    severity: ERROR
+    message: Type `::Integer` does not have method `__error__`
+    code: Ruby::NoMethod

data/smoke/hash/test_expectations.yml ADDED Viewed

@@ -0,0 +1,81 @@
+---
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 6
+        character: 0
+      end:
+        line: 6
+        character: 14
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Hash[::Symbol, ::Integer]` to a variable of type `::Hash[::Symbol, (::String | nil)]`
+        ::Hash[::Symbol, ::Integer] <: ::Hash[::Symbol, (::String | nil)]
+          ::Integer <: (::String | nil)
+            ::Integer <: ::String
+              ::Numeric <: ::String
+                ::Object <: ::String
+                  ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 3
+      end:
+        line: 5
+        character: 10
+    severity: ERROR
+    message: Type `::Integer` does not have method `abcdefg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 8
+        character: 5
+      end:
+        line: 8
+        character: 12
+    severity: ERROR
+    message: Type `::String` does not have method `abcdefg`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 10
+        character: 30
+      end:
+        line: 10
+        character: 37
+    severity: ERROR
+    message: Type `(::Integer | ::String)` does not have method `abcdefg`
+    code: Ruby::NoMethod
+- file: d.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 0
+      end:
+        line: 5
+        character: 66
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `{ :email => ::String, :id => ::String, :name => ::String }` to a variable of type `{ :id => ::Integer, :name => ::String }`
+        { :email => ::String, :id => ::String, :name => ::String } <: { :id => ::Integer, :name => ::String }
+          ::String <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+- file: e.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 24
+      end:
+        line: 1
+        character: 37
+    severity: ERROR
+    message: Type `::Integer` does not have method `fffffffffffff`
+    code: Ruby::NoMethod

data/smoke/hello/test_expectations.yml ADDED Viewed

@@ -0,0 +1,25 @@
+---
+- file: hello.rb
+  diagnostics:
+  - range:
+      start:
+        line: 9
+        character: 6
+      end:
+        line: 9
+        character: 9
+    severity: ERROR
+    message: Type `::_Bar` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::_Bar` to a variable of type `::_Foo`
+        ::_Bar <: ::_Foo
+    code: Ruby::IncompatibleAssignment

data/smoke/if/test_expectations.yml ADDED Viewed

@@ -0,0 +1,34 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 0
+      end:
+        line: 7
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::Symbol | nil)` to a variable of type `::String`
+        (::Symbol | nil) <: ::String
+          ::Symbol <: ::String
+            ::Object <: ::String
+              ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 15
+        character: 0
+      end:
+        line: 19
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::String`
+        (::String | ::Integer) <: ::String
+          ::Integer <: ::String
+            ::Numeric <: ::String
+              ::Object <: ::String
+                ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment

data/smoke/implements/b.rb ADDED Viewed

@@ -0,0 +1,13 @@
+class B
+  Request = _ = Struct.new(:method, :path, keyword_init: true) do
+    # @implements Request
+    def post?
+      method == "POST"
+    end
+    def get?
+      method == "GET"
+    end
+  end
+end