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/implements/b.rbs ADDED Viewed

@@ -0,0 +1,12 @@
+class B
+  class Request
+    attr_reader method: String
+    attr_reader path: String
+    def initialize: (method: String, path: String) -> void
+    def post?: () -> bool
+    def get?: () -> bool
+  end
+end

data/smoke/implements/test_expectations.yml ADDED Viewed

@@ -0,0 +1,23 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 6
+      end:
+        line: 1
+        character: 7
+    severity: ERROR
+    message: Cannot find implementation of method `::A#baz`
+    code: Ruby::MethodDefinitionMissing
+  - range:
+      start:
+        line: 1
+        character: 6
+      end:
+        line: 1
+        character: 7
+    severity: ERROR
+    message: Cannot find implementation of method `::A.bar`
+    code: Ruby::MethodDefinitionMissing

data/smoke/initialize/test_expectations.yml ADDED Viewed

	@@ -0,0 +1 @@
1	+ --- []

data/smoke/integer/test_expectations.yml ADDED Viewed

@@ -0,0 +1,101 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 10
+      end:
+        line: 4
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 7
+        character: 10
+      end:
+        line: 7
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 12
+        character: 20
+      end:
+        line: 12
+        character: 29
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 13
+        character: 10
+      end:
+        line: 13
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 18
+        character: 20
+      end:
+        line: 18
+        character: 27
+    severity: ERROR
+    message: Cannot detect the type of the expression
+    code: Ruby::FallbackAny
+  - range:
+      start:
+        line: 19
+        character: 10
+      end:
+        line: 19
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 22
+        character: 10
+      end:
+        line: 22
+        character: 13
+    severity: ERROR
+    message: Type `::Integer` does not have method `foo`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 24
+        character: 0
+      end:
+        line: 24
+        character: 19
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `Integer` of type `::Object`
+      Method types:
+        def Integer: ((::Numeric | ::String), ?exception: bool) -> ::Integer
+                   | (::String, ?::Integer, ?exception: bool) -> ::Integer
+    code: Ruby::UnresolvedOverloading
+  - range:
+      start:
+        line: 26
+        character: 0
+      end:
+        line: 26
+        character: 12
+    severity: ERROR
+    message: |-
+      Cannot find compatible overloading of method `Integer` of type `::Object`
+      Method types:
+        def Integer: ((::Numeric | ::String), ?exception: bool) -> ::Integer
+                   | (::String, ?::Integer, ?exception: bool) -> ::Integer
+    code: Ruby::UnresolvedOverloading

data/smoke/interface/test_expectations.yml ADDED Viewed

@@ -0,0 +1,23 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 5
+        character: 12
+      end:
+        line: 5
+        character: 15
+    severity: ERROR
+    message: Type `::A::Object` does not have method `bar`
+    code: Ruby::NoMethod
+  - range:
+      start:
+        line: 10
+        character: 11
+      end:
+        line: 10
+        character: 18
+    severity: ERROR
+    message: Type `::Object` does not have method `object?`
+    code: Ruby::NoMethod

data/smoke/kwbegin/test_expectations.yml ADDED Viewed

@@ -0,0 +1,17 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 7
+        character: 3
+    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

data/smoke/lambda/test_expectations.yml ADDED Viewed

@@ -0,0 +1,39 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        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: 12
+        character: 3
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Proc` to a variable of type `^(::Integer) -> ::Integer`
+        ::Proc <: ^(::Integer) -> ::Integer
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 4
+      end:
+        line: 11
+        character: 5
+    severity: ERROR
+    message: Type `nil` does not have method `+`
+    code: Ruby::NoMethod

data/smoke/literal/test_expectations.yml ADDED Viewed

@@ -0,0 +1,106 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 0
+      end:
+        line: 4
+        character: 5
+    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: 6
+        character: 0
+      end:
+        line: 6
+        character: 8
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Symbol` to a variable of type `::String`
+        ::Symbol <: ::String
+          ::Object <: ::String
+            ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 8
+        character: 0
+      end:
+        line: 8
+        character: 9
+    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: 8
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `bool` to a variable of type `::String`
+        bool <: ::String
+          (true | false) <: ::String
+            true <: ::String
+              ::TrueClass <: ::String
+                ::Object <: ::String
+                  ::BasicObject <: ::String
+    code: Ruby::IncompatibleAssignment
+  - range:
+      start:
+        line: 11
+        character: 0
+      end:
+        line: 11
+        character: 9
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `bool` to a variable of type `::Integer`
+        bool <: ::Integer
+          (true | false) <: ::Integer
+            true <: ::Integer
+              ::TrueClass <: ::Integer
+                ::Object <: ::Integer
+                  ::BasicObject <: ::Integer
+    code: Ruby::IncompatibleAssignment
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 6
+      end:
+        line: 4
+        character: 7
+    severity: ERROR
+    message: |-
+      Cannot pass a value of type `::Integer` as an argument of type `3`
+        ::Integer <: 3
+    code: Ruby::ArgumentTypeMismatch
+  - range:
+      start:
+        line: 7
+        character: 11
+      end:
+        line: 7
+        character: 15
+    severity: ERROR
+    message: |-
+      Cannot assign a value of type `::Symbol` to an expression of type `:foo`
+        ::Symbol <: :foo
+    code: Ruby::IncompatibleAssignment

data/smoke/map/test_expectations.yml ADDED Viewed

	@@ -0,0 +1 @@
1	+ --- []

data/smoke/method/test_expectations.yml ADDED Viewed

@@ -0,0 +1,90 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 0
+      end:
+        line: 11
+        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: 6
+        character: 2
+      end:
+        line: 6
+        character: 7
+    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: 2
+      end:
+        line: 8
+        character: 7
+    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: 15
+        character: 7
+      end:
+        line: 15
+        character: 13
+    severity: ERROR
+    message: Method parameters are incompatible with declaration `(::Integer) -> ::String`
+    code: Ruby::MethodArityMismatch
+  - range:
+      start:
+        line: 18
+        character: 2
+      end:
+        line: 18
+        character: 7
+    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
+- file: b.rb
+  diagnostics:
+  - range:
+      start:
+        line: 4
+        character: 2
+      end:
+        line: 6
+        character: 5
+    severity: ERROR
+    message: |-
+      Cannot allow method body have type `::Symbol` because declared as type `(::Integer | ::String)`
+        ::Symbol <: (::Integer | ::String)
+          ::Symbol <: ::Integer
+            ::Object <: ::Integer
+              ::BasicObject <: ::Integer
+    code: Ruby::MethodBodyTypeMismatch

data/smoke/module/test_expectations.yml ADDED Viewed

@@ -0,0 +1,75 @@
+---
+- file: a.rb
+  diagnostics:
+  - range:
+      start:
+        line: 13
+        character: 4
+      end:
+        line: 13
+        character: 9
+    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: 15
+        character: 4
+      end:
+        line: 15
+        character: 7
+    severity: ERROR
+    message: Type `(::Object & ::_Each2[::Integer, ::A] & ::A)` does not have method
+      `foo`
+    code: Ruby::NoMethod
+- file: c.rb
+  diagnostics:
+  - range:
+      start:
+        line: 21
+        character: 2
+      end:
+        line: 21
+        character: 26
+    severity: ERROR
+    message: Type `singleton(::A)` does not have method `no_such_method_in_module`
+    code: Ruby::NoMethod
+- file: d.rb
+  diagnostics:
+  - range:
+      start:
+        line: 3
+        character: 7
+      end:
+        line: 3
+        character: 8
+    severity: ERROR
+    message: Cannot find implementation of method `::X#foo`
+    code: Ruby::MethodDefinitionMissing
+- file: f.rb
+  diagnostics:
+  - range:
+      start:
+        line: 1
+        character: 7
+      end:
+        line: 1
+        character: 14
+    severity: ERROR
+    message: Cannot find implementation of method `::Palette.nestopia_palette`
+    code: Ruby::MethodDefinitionMissing
+  - range:
+      start:
+        line: 1
+        character: 7
+      end:
+        line: 1
+        character: 14
+    severity: ERROR
+    message: "@dynamic annotation contains unknown method name `nestopia_palette`"
+    code: Ruby::UnexpectedDynamicMethod