steep 0.16.1 → 0.18.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 42abbd58a114142d676d6f6a5ba60d736c56385814491f2c6b6c3eb7f84fbeed
-  data.tar.gz: cecbb129ec52814935611a36eb9596e6cdce3857389880fc16c25102ba3d1641
+  metadata.gz: 6c7d4a0ac0c0bbae681b48b3a435baf1e30f67ed36ae86a9cf6e4546d6e30485
+  data.tar.gz: a22966a8fd94bed71ad1398d2587b7d84cfc8ba157a47da8b7289f2dae51b8d8
 SHA512:
-  metadata.gz: 259698c20f17fbf9f19efd0fe46e5e1c9c4b8f50295c50dea3a9e8934be10ce3d017ad0410fdb3cd81822cd59968c3f3b2acf72ff55cbc99a6ab17e62173f91c
-  data.tar.gz: f799370012998a8f6a418a497c816ed407e708fac59a6adcdbcaf2cb57d0ce241ce0494a0a0cedc557880eb195fe5620ac5d182664df984a158dbe8335a78b5f
+  metadata.gz: 31b10b5a6ac174dafee25cf2c9baaf725218e7c8e7969437557982dcc9c4c1704f8fb87bdd2a583eb9e538fee06376fe068ba2f8f64a5f18ec55919d3d49f9f4
+  data.tar.gz: 5f3db5481934cba32b3b45a92b2a9e2dc796507b3b99c2bdcc9c1a991b9ee6982dad1f5824c478abc7a483ba8ad17fab13ac48e6e13429daf465f3c025e66a40

data/CHANGELOG.md

@@ -2,11 +2,34 @@
 
 ## master
 
+## 0.18.0 (2020-07-06)
+
+* Sort result of `Pathname#glob` ([#154](https://github.com/soutaro/steep/pull/154))
+* Sort methods in LanguageServer to return non-inherited methods first ([#159](https://github.com/soutaro/steep/pull/159))
+
+## 0.17.1 (2020-06-15)
+
+* Allow RBS gem to be 0.4 ([#153](https://github.com/soutaro/steep/pull/153))
+
+## 0.17.0 (2020-06-13)
+
+* Fix `steep watch` and `steep langserver` to correctly handle error message filterings based on options ([#152](https://github.com/soutaro/steep/pull/152))
+* Fix typing of collections ([#151](https://github.com/soutaro/steep/pull/151))
+
+## 0.16.3
+
+* Fix `steep watch` ([#147](https://github.com/soutaro/steep/pull/147))
+* Stop using pry ([#148](https://github.com/soutaro/steep/pull/148))
+
+## 0.16.2 (2020-05-27)
+
+* Update gems ([#144](https://github.com/soutaro/steep/pull/144), [#145](https://github.com/soutaro/steep/pull/145))
+
 ## 0.16.1 (2020-05-22)
 
 * Fix constant resolution ([#143](https://github.com/soutaro/steep/pull/143))
-* Fix RBS diagnostics line number in LSP ([142](https://github.com/soutaro/steep/pull/142))
-* Fix crash caused by hover on `def` in LSP ([140](https://github.com/soutaro/steep/pull/140)) 
+* Fix RBS diagnostics line number in LSP ([#142](https://github.com/soutaro/steep/pull/142))
+* Fix crash caused by hover on `def` in LSP ([#140](https://github.com/soutaro/steep/pull/140)) 
 
 ## 0.16.0 (2020-05-19)
 

data/lib/steep.rb

@@ -8,10 +8,11 @@ require "logger"
 require "active_support/tagged_logging"
 require "rainbow"
 require "listen"
-require 'pry'
 require 'language_server-protocol'
 require "etc"
 require "open3"
+require "stringio"
+require 'uri'
 
 require "rbs"
 

data/lib/steep/drivers/check.rb

@@ -53,18 +53,7 @@ module Steep
               status.type_check_sources.each do |source_file|
                 case source_file.status
                 when Project::SourceFile::TypeCheckStatus
-                  source_file.errors.reject do |error|
-                    case
-                    when error.is_a?(Errors::FallbackAny)
-                      target.options.allow_fallback_any
-                    when error.is_a?(Errors::MethodDefinitionMissing)
-                      target.options.allow_missing_definitions
-                    when error.is_a?(Errors::NoMethod)
-                      target.options.allow_unknown_method_calls
-                    when error.is_a?(Errors::UnknownConstantAssigned)
-                      target.options.allow_unknown_constant_assignment
-                    end
-                  end.each do |error|
+                  source_file.errors.select {|error| target.options.error_to_report?(error) }.each do |error|
                     error.print_to stdout
                   end
                 when Project::SourceFile::TypeCheckErrorStatus

data/lib/steep/drivers/watch.rb

@@ -24,7 +24,7 @@ module Steep
         project = load_config()
 
         loader = Project::FileLoader.new(project: project)
-        loader.load_sources([])
+        loader.load_sources(dirs)
         loader.load_signatures()
 
         client_read, server_write = IO.pipe
@@ -36,7 +36,7 @@ module Steep
         server_reader = LanguageServer::Protocol::Transport::Io::Reader.new(server_read)
         server_writer = LanguageServer::Protocol::Transport::Io::Writer.new(server_write)
 
-        interaction_worker = Server::InteractionWorker.spawn_worker(:interaction, name: "interaction", steepfile: project.steepfile_path)
+        interaction_worker = Server::WorkerProcess.spawn_worker(:interaction, name: "interaction", steepfile: project.steepfile_path)
         signature_worker = Server::WorkerProcess.spawn_worker(:signature, name: "signature", steepfile: project.steepfile_path)
         code_workers = Server::WorkerProcess.spawn_code_workers(steepfile: project.steepfile_path)
 

data/lib/steep/project/completion_provider.rb

@@ -10,7 +10,7 @@ module Steep
 
       InstanceVariableItem = Struct.new(:identifier, :range, :type, keyword_init: true)
       LocalVariableItem = Struct.new(:identifier, :range, :type, keyword_init: true)
-      MethodNameItem = Struct.new(:identifier, :range, :definition, :method_type, keyword_init: true)
+      MethodNameItem = Struct.new(:identifier, :range, :definition, :method_type, :inherited_method, keyword_init: true)
 
       attr_reader :source_text
       attr_reader :path
@@ -244,7 +244,8 @@ module Steep
                     items << MethodNameItem.new(identifier: name,
                                                 range: range,
                                                 definition: method,
-                                                method_type: method_type)
+                                                method_type: method_type,
+                                                inherited_method: inherited_method?(method, type))
                   end
                 end
               end
@@ -293,6 +294,10 @@ module Steep
 
         index
       end
+
+      def inherited_method?(method, type)
+        method.implemented_in&.name&.name != type.name&.name
+      end
     end
   end
 end

data/lib/steep/project/file_loader.rb

@@ -20,7 +20,7 @@ module Steep
                       Pathname.glob(absolute_path)
                     end
 
-            files.each do |source_path|
+            files.sort.each do |source_path|
               yield project.relative_path(source_path)
             end
           end

data/lib/steep/project/options.rb

@@ -37,6 +37,21 @@ module Steep
         self.allow_unknown_constant_assignment = true
         self.allow_unknown_method_calls = true
       end
+
+      def error_to_report?(error)
+        case
+        when error.is_a?(Errors::FallbackAny)
+          !allow_fallback_any
+        when error.is_a?(Errors::MethodDefinitionMissing)
+          !allow_missing_definitions
+        when error.is_a?(Errors::NoMethod)
+          !allow_unknown_method_calls
+        when error.is_a?(Errors::UnknownConstantAssigned)
+          !allow_unknown_constant_assignment
+        else
+          true
+        end
+      end
     end
   end
 end

data/lib/steep/server/code_worker.rb

@@ -47,7 +47,7 @@ module Steep
 
         Steep.logger.info "Finished type checking: #{path}@#{target.name}"
 
-        diagnostics = source_diagnostics(source)
+        diagnostics = source_diagnostics(source, target.options)
 
         writer.write(
           method: :"textDocument/publishDiagnostics",
@@ -58,7 +58,7 @@ module Steep
         )
       end
 
-      def source_diagnostics(source)
+      def source_diagnostics(source, options)
         case status = source.status
         when Project::SourceFile::ParseErrorStatus
           []
@@ -80,7 +80,7 @@ module Steep
             )
           ]
         when Project::SourceFile::TypeCheckStatus
-          status.typing.errors.map do |error|
+          status.typing.errors.select {|error| options.error_to_report?(error) }.map do |error|
             loc = error.location_to_str
 
             LSP::Interface::Diagnostic.new(

data/lib/steep/server/interaction_worker.rb

@@ -191,7 +191,8 @@ HOVER
               range: range
             ),
             documentation: item.definition.comment&.string,
-            insert_text_format: LanguageServer::Protocol::Constant::InsertTextFormat::SNIPPET
+            insert_text_format: LanguageServer::Protocol::Constant::InsertTextFormat::SNIPPET,
+            sort_text: item.inherited_method ? 'z' : 'a' # Ensure language server puts non-inherited methods before inherited methods
           )
         when Project::CompletionProvider::InstanceVariableItem
           label = "#{item.identifier}: #{item.type}"

data/lib/steep/type_construction.rb

@@ -1037,10 +1037,10 @@ module Steep
               case child.type
               when :pair
                 key, value = child.children
-                key_types << synthesize(key).type.yield_self do |type|
+                key_types << synthesize(key, hint: key_hint).type.yield_self do |type|
                   select_super_type(type, key_hint)
                 end
-                value_types << synthesize(value).type.yield_self do |type|
+                value_types << synthesize(value, hint: value_hint).type.yield_self do |type|
                   select_super_type(type, value_hint)
                 end
               when :kwsplat
@@ -1256,7 +1256,7 @@ module Steep
                       end
                     end
                   else
-                    [select_super_type(synthesize(e).type, element_hint)]
+                    [select_super_type(synthesize(e, hint: element_hint).type, element_hint)]
                   end
                 end
                 array_type = AST::Builtin::Array.instance_type(AST::Types::Union.build(types: element_types))

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "0.16.1"
+  VERSION = "0.18.0"
 end

data/steep.gemspec

@@ -14,6 +14,10 @@ Gem::Specification.new do |spec|
   spec.homepage      = "https://github.com/soutaro/steep"
   spec.license       = 'MIT'
 
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = "https://github.com/soutaro/steep"
+  spec.metadata["changelog_uri"] = "https://github.com/soutaro/steep/blob/master/CHANGELOG.md"
+
   spec.files         = `git ls-files -z`.split("\x0").reject {|f|
     f.match(%r{^(test|spec|features)/})
   }
@@ -28,7 +32,7 @@ Gem::Specification.new do |spec|
   spec.add_development_dependency "rake", "~> 13.0"
   spec.add_development_dependency "minitest", "~> 5.0"
   spec.add_development_dependency "racc", "~> 1.4"
-  spec.add_development_dependency "minitest-reporters", "~> 1.3.6"
+  spec.add_development_dependency "minitest-reporters", "~> 1.4.2"
   spec.add_development_dependency "minitest-hooks", "~> 1.5.0"
 
   spec.add_runtime_dependency "parser", "~> 2.7.0"
@@ -36,7 +40,6 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "activesupport", ">= 5.1"
   spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
   spec.add_runtime_dependency "listen", "~> 3.1"
-  spec.add_runtime_dependency "pry", "~> 0.12.2"
   spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.2"
-  spec.add_runtime_dependency "rbs", "~> 0.3.1"
+  spec.add_runtime_dependency "rbs", ">= 0.3.1", '< 0.5.0'
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.16.1
+  version: 0.18.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-22 00:00:00.000000000 Z
+date: 2020-07-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -72,14 +72,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.3.6
+        version: 1.4.2
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.3.6
+        version: 1.4.2
 - !ruby/object:Gem::Dependency
   name: minitest-hooks
   requirement: !ruby/object:Gem::Requirement
@@ -170,20 +170,6 @@ dependencies:
     - - "~>"
       - !ruby/object:Gem::Version
         version: '3.1'
-- !ruby/object:Gem::Dependency
-  name: pry
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 0.12.2
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - "~>"
-      - !ruby/object:Gem::Version
-        version: 0.12.2
 - !ruby/object:Gem::Dependency
   name: language_server-protocol
   requirement: !ruby/object:Gem::Requirement
@@ -202,16 +188,22 @@ dependencies:
   name: rbs
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
         version: 0.3.1
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: 0.5.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
         version: 0.3.1
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: 0.5.0
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -452,7 +444,10 @@ files:
 homepage: https://github.com/soutaro/steep
 licenses:
 - MIT
-metadata: {}
+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: 
 rdoc_options: []
 require_paths:
@@ -468,7 +463,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.3
+rubygems_version: 3.1.2
 signing_key: 
 specification_version: 4
 summary: Gradual Typing for Ruby