steep 1.6.0.pre.1 → 1.6.0.pre.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: d8a5efa97a65add83ffc658ddfbdf9a436accc8dd4472969610b2224140543ea
-  data.tar.gz: 537d28e28ae6b3bc47392170948db46d3d7fa50d61f6f274182b922a253394ea
+  metadata.gz: 7a94bcc44621f7c597278fe70c9a9f909983408b8f02fae8ba400b8193f88918
+  data.tar.gz: 32381468ac551d739b2ab84c70a5bfb0ea30265ca66ab3020f8eb3a99b53b2ba
 SHA512:
-  metadata.gz: 386ddbecc785a37748b8a6d9dcf514af55cec3bcafca945e363d5e76e56fd266cd91238183b3c99635595168b0049e93b065f3154569d10909c2ecd6ccdd9519
-  data.tar.gz: 15a3baf8009e78767015a4529f71b20300edc221aaf0b218efdee5a894f73d619d2c3078c68f4e3511bec4dbb67aece479e9a95c6b1ae1fb9066da86094fc810
+  metadata.gz: 02bb300d0a9f42ccf368a32f8b6161eb6332433b5a68d6f9e75158d52cfe9ea19b67aba437b31000817b21b009e78f46633c5b7745157f32520deb711dcdbeb8
+  data.tar.gz: 367df39a6e217e6c962d4eee1d38a0d1f8e55833190375ce3e17d2b11f2a049e9e8ce78e6fdfb14db5d69c917f4f6ff4460ffb2d50197325f8dc0433bfd4149f

data/CHANGELOG.md

@@ -2,6 +2,17 @@
 
 ## master
 
+## 1.6.0.pre.2 (2023-10-31)
+
+### Type checker core
+
+* Assign types on method calls in mlhs node ([#951](https://github.com/soutaro/steep/pull/951))
+* Change severity of block diagnostics ([#950](https://github.com/soutaro/steep/pull/950))
+
+### Commandline tool
+
+* Match with `**` in pattern ([#949](https://github.com/soutaro/steep/pull/949))
+
 ## 1.6.0.pre.1 (2023-10-27)
 
 ### Type checker core

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    steep (1.6.0.pre.1)
+    steep (1.6.0.pre.2)
       activesupport (>= 5.1)
       concurrent-ruby (>= 1.1.10)
       csv (>= 3.0.9)
@@ -68,7 +68,7 @@ GEM
       stringio
     racc (1.7.1)
     rainbow (3.1.1)
-    rake (13.0.6)
+    rake (13.1.0)
     rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)

data/lib/steep/diagnostic/ruby.rb

@@ -1013,8 +1013,8 @@ module Steep
         @default ||= _ = all_error.merge(
           {
             ArgumentTypeMismatch => :error,
-            BlockBodyTypeMismatch => :hint,
-            BlockTypeMismatch => :hint,
+            BlockBodyTypeMismatch => :warning,
+            BlockTypeMismatch => :warning,
             BreakTypeMismatch => :hint,
             DifferentMethodParameterKind => :hint,
             FallbackAny => :hint,
@@ -1129,8 +1129,8 @@ module Steep
         @lenient ||= _ = all_error.merge(
           {
             ArgumentTypeMismatch => :information,
-            BlockBodyTypeMismatch => :hint,
-            BlockTypeMismatch => :hint,
+            BlockBodyTypeMismatch => :information,
+            BlockTypeMismatch => :information,
             BreakTypeMismatch => :hint,
             DifferentMethodParameterKind => nil,
             FallbackAny => nil,

data/lib/steep/project/pattern.rb

@@ -48,7 +48,7 @@ module Steep
         string = path.to_s
         extension = path.extname
 
-        patterns.any? {|pat| File.fnmatch(pat, string) } ||
+        patterns.any? {|pat| File.fnmatch(pat, string, File::FNM_PATHNAME) } ||
           prefixes.any? {|prefix| string.start_with?(prefix) && extension == ext }
       end
     end

data/lib/steep/services/completion_provider.rb

@@ -663,7 +663,7 @@ module Steep
         if parent
           case parent.type
           when :const
-            const_name = typing.source_index.reference(constant_node: parent)
+            const_name = typing.source_index.reference(constant_node: parent) or raise "Unknown node in source_index: #{parent}"
             consts = context.type_env.constant_env.children(const_name)
           end
         else

data/lib/steep/type_construction.rb

@@ -2908,6 +2908,8 @@ module Steep
             _, constr = constr.gvasgn(asgn_node, type)
           when :mlhs
             constr = (constr.type_masgn_type(asgn_node, type, masgn: masgn, optional: optional) or return)
+          else
+            _, constr = constr.synthesize_children(asgn_node).add_typing(asgn_node, type: AST::Builtin.any_type)
           end
 
           if node.type == :splat

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.6.0.pre.1"
+  VERSION = "1.6.0.pre.2"
 end

data/sig/steep/project/pattern.rbs

@@ -1,22 +1,44 @@
 module Steep
   class Project
+    # `Pattern` class represents a pair of *positive* and *negative* patterns that may match with a pathname
+    #
+    # ```rb
+    # pat = Pattern.new(patterns: ["app/models"], ignores: ["app/models/account.rb"], ext: ".rbs")
+    #
+    # pat =~ "app/models/group.rb"    # => true
+    # pat =~ "app/models/account.rb"  # => false
+    # ```
+    #
+    # The pattern may be:
+    #
+    # 1. Directory name pattern -- `lib`, or
+    # 2. *Glob* pattern -- `foo/**/bar.rb`
+    #
     class Pattern
+      # Positive patterns, which is tested with `fnmatch`
       attr_reader patterns: Array[String]
 
+      # Negative patterns, which is tested with `fnmatch`
       attr_reader ignores: Array[String]
 
+      # Positive *dir name* pattern constructed from `#patterns`, which is tested with `start_with?`
       attr_reader prefixes: Array[String]
 
+      # Negative *dir name* pattern constructed from `#ignores`, which is tested with `start_with?`
       attr_reader ignore_prefixes: Array[String]
 
       attr_reader ext: String
 
       def initialize: (patterns: Array[String], ext: String, ?ignores: Array[String]) -> void
 
+      # Returns `true` if given path matches to *positive* pattern, but doesn't match to *negative* pattern
+      #
       def =~: (Pathname | String path) -> bool
 
+      # Returns true if given `Pathname` matches to *positive* pattern
       def match?: (Pathname path) -> bool
 
+      # Returns true if given `Pathname` matches to *negative* pattern
       def ignore?: (Pathname path) -> bool
 
       def test_string: (Pathname path, Array[String] patterns, Array[String] prefixes) -> bool

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.6.0.pre.1
+  version: 1.6.0.pre.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-10-27 00:00:00.000000000 Z
+date: 2023-10-31 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser