steep 0.16.3 → 0.17.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 2b1c04c7f20a2ed355b58570363447b3e8f2bd1710407de1e23c7b9fbe279cb8
-  data.tar.gz: 62101db41144f3fd218ee8478ab377f3414ad1d8a7689ac73356aa28bf7f6842
+  metadata.gz: f60fa7be29b63a36a6f25cb94138d558d0bbaa652cb40ab5f2a4a24f1a0d58ac
+  data.tar.gz: 83582c3c37c5afefe079a545860e96a8edce020b891755b49f6a1cbdf53cce04
 SHA512:
-  metadata.gz: d8ac130b1adb7755709f4b1590939b442d6d4b4aa5ea38a95423db539a1b52b0c4078abf1a543b92a84477d99846d5ab30060dc26c693f52785de0c205041a2d
-  data.tar.gz: e7ccec14707e49d51b88429ab0922c4e6fbbc190bbafb0e107c30ea681b04415245e40708909fd28458a89a565a816fd88a6bfa1c14b76e24185a2ece153148c
+  metadata.gz: 38e917a0030c6f0f993d6d0bd6bd9e26bb955cdd08609802df87992f7242933f03f3b35311c53fec9e6f74a12cb5d2237c5e03d6461fc56f44d019b8011ed12e
+  data.tar.gz: 5a5fa1b3502b23d3a9e6c1391de6c3313e8309adbbf353589eda27ed356414201ec2c6f6cdceb01b5f2afd8425a777a3d02921e509ba15674295c65f04bbdc0e

data/CHANGELOG.md

@@ -2,6 +2,11 @@
 
 ## master
 
+## 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))

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/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/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.3"
+  VERSION = "0.17.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.16.3
+  version: 0.17.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-05-27 00:00:00.000000000 Z
+date: 2020-06-13 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler