steep 1.7.0.dev.1 → 1.7.0.dev.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7e08a21c496335ac125c03ae833cd7a18383c3e21e963bd809c349e04b3549cb
-  data.tar.gz: 49e9eb2a8e00788bf3b5dea25617af75b51b5f9c69582dd13553e8c1f24d8ea0
+  metadata.gz: 0646b6c1cb596e684bc62461ee2dac160e134bc7e126f447df8f6e46a535c8b6
+  data.tar.gz: fda1f8d1903253537fec79679dd88f3579404372d4fc611a0d4b9d085e5b3502
 SHA512:
-  metadata.gz: 6a6c44532ff30efa59ba74ff506319a446333a265a43e27e0d1a39dc49ab06018b6b4feab9952d4597451b274b3033be016c505d49e5be4977c00a4350a8fd2f
-  data.tar.gz: d19406af1b45c773305a642a2da22c9a1beed54129eb1f0826385bfa895a17717cbdb351d9b2434aeec49d4324e6cd818cf9ef45ccf1c218eae21e53e15a1ab9
+  metadata.gz: 46fe48e86a4fe74482765debeb255e1b806298fb797603ebf292443432506e80ac7ffb7aa964b6331e4f71d2f4e607379340834a6f66866d75bc8c0ca4b73633
+  data.tar.gz: c822e0bf8a0484914423ece12d3d38bebf4102d6f63b1eb79f779cc3bf8aa9b909d34b189a594cf5d0a4f607ed0474d7b9bb2ed6a6c6d400212e329f4d5a8e96

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    steep (1.7.0.dev.1)
+    steep (1.7.0.dev.2)
       activesupport (>= 5.1)
       concurrent-ruby (>= 1.1.10)
       csv (>= 3.0.9)
@@ -21,7 +21,7 @@ GEM
   remote: https://rubygems.org/
   specs:
     abbrev (0.1.2)
-    activesupport (7.1.3)
+    activesupport (7.1.3.2)
       base64
       bigdecimal
       concurrent-ruby (~> 1.0, >= 1.0.2)
@@ -56,7 +56,7 @@ GEM
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     logger (1.6.0)
-    minitest (5.21.2)
+    minitest (5.22.2)
     minitest-hooks (1.5.1)
       minitest (> 5.3)
     minitest-slow_test (0.2.0)
@@ -73,7 +73,7 @@ GEM
     rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (3.4.3)
+    rbs (3.4.4)
       abbrev
     rdoc (6.6.2)
       psych (>= 4.0.0)
@@ -83,7 +83,7 @@ GEM
     securerandom (0.3.1)
     stackprof (0.2.26)
     stringio (3.1.0)
-    strscan (3.0.9)
+    strscan (3.1.0)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     tzinfo (2.0.6)

data/Rakefile

@@ -188,6 +188,11 @@ NOTES
       milestone = "Steep #{major}.#{minor}.x"
     end
 
+    if pre =~ /dev/
+      puts "🔍 Skipping `Released` tags because `dev` release: `#{pre}`"
+      next
+    end
+
     puts "🔍 Finding pull requests that is associated to milestone `#{milestone}`..."
 
     command = [

data/gemfile_steep/Gemfile

@@ -1,3 +1,3 @@
 source "https://rubygems.org"
 
-gem 'steep', require: false
+gem 'steep', "~> 1.7.0.dev", require: false

data/gemfile_steep/Gemfile.lock

@@ -30,7 +30,7 @@ GEM
       rb-fsevent (~> 0.10, >= 0.10.3)
       rb-inotify (~> 0.9, >= 0.9.10)
     logger (1.6.0)
-    minitest (5.21.2)
+    minitest (5.22.2)
     mutex_m (0.2.0)
     parser (3.3.0.5)
       ast (~> 2.4.1)
@@ -40,11 +40,11 @@ GEM
     rb-fsevent (0.11.2)
     rb-inotify (0.10.1)
       ffi (~> 1.0)
-    rbs (3.4.3)
+    rbs (3.4.4)
       abbrev
     ruby2_keywords (0.0.5)
     securerandom (0.3.1)
-    steep (1.6.0)
+    steep (1.7.0.dev.1)
       activesupport (>= 5.1)
       concurrent-ruby (>= 1.1.10)
       csv (>= 3.0.9)
@@ -59,7 +59,7 @@ GEM
       securerandom (>= 0.1)
       strscan (>= 1.0.0)
       terminal-table (>= 2, < 4)
-    strscan (3.0.9)
+    strscan (3.1.0)
     terminal-table (3.0.2)
       unicode-display_width (>= 1.1.1, < 3)
     tzinfo (2.0.6)
@@ -73,7 +73,7 @@ PLATFORMS
   x86_64-linux
 
 DEPENDENCIES
-  steep
+  steep (~> 1.7.0.dev)
 
 BUNDLED WITH
    2.3.15

data/lib/steep/services/signature_help_provider.rb

@@ -175,18 +175,20 @@ module Steep
           when :splat
             method_type.type.required_positionals.size + method_type.type.optional_positionals.size if method_type.type.rest_positionals
           when :kwargs
-            case argument_nodes[-3].type
-            when :pair
-              argname = argument_nodes[-3].children.first.children.first
-              if method_type.type.required_keywords.key?(argname)
-                positionals + method_type.type.required_keywords.keys.index(argname).to_i
-              elsif method_type.type.optional_keywords.key?(argname)
-                positionals + method_type.type.required_keywords.size + method_type.type.optional_keywords.keys.index(argname).to_i
-              elsif method_type.type.rest_keywords
-                positionals + method_type.type.required_keywords.size + method_type.type.optional_keywords.size
+            if argument_nodes[-3]
+              case argument_nodes[-3].type
+              when :pair
+                argname = argument_nodes[-3].children.first.children.first
+                if method_type.type.required_keywords.key?(argname)
+                  positionals + method_type.type.required_keywords.keys.index(argname).to_i
+                elsif method_type.type.optional_keywords.key?(argname)
+                  positionals + method_type.type.required_keywords.size + method_type.type.optional_keywords.keys.index(argname).to_i
+                elsif method_type.type.rest_keywords
+                  positionals + method_type.type.required_keywords.size + method_type.type.optional_keywords.size
+                end
+              when :kwsplat
+                positionals + method_type.type.required_keywords.size + method_type.type.optional_keywords.size if method_type.type.rest_keywords
               end
-            when :kwsplat
-              positionals + method_type.type.required_keywords.size + method_type.type.optional_keywords.size if method_type.type.rest_keywords
             end
           else
             pos = (node.children[2...] || raise).index { |c| c.location == argument_nodes[-2].location }.to_i

data/lib/steep/subtyping/check.rb

@@ -1,6 +1,8 @@
 module Steep
   module Subtyping
     class Check
+      ABORT_LIMIT = ENV.fetch("STEEP_SUBTYPING_ABORT_LIMIT", 50).to_i
+
       attr_reader :builder
       attr_reader :cache
 
@@ -187,6 +189,10 @@ module Steep
       end
 
       def check_type(relation)
+        if assumptions.size > ABORT_LIMIT
+          return Failure(relation, Result::Failure::LoopAbort.new)
+        end
+
         relation.type!
 
         Steep.logger.tagged "#{relation.sub_type} <: #{relation.super_type}" do

data/lib/steep/subtyping/result.rb

@@ -269,6 +269,12 @@ module Steep
           end
         end
 
+        class LoopAbort
+          def message
+            "Detected infinite loop with limit of `#{Check::ABORT_LIMIT}`; specify $STEEP_SUBTYPING_ABORT_LIMIT env var to override the limit."
+          end
+        end
+
         attr_reader :error
 
         def initialize(relation, error)

data/lib/steep/type_construction.rb

@@ -3622,10 +3622,6 @@ module Steep
       end
     end
 
-    def inspect
-      "#<#{self.class}>"
-    end
-
     def with_child_typing(range:)
       constr = with_new_typing(typing.new_child(range))
 

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.7.0.dev.1"
+  VERSION = "1.7.0.dev.2"
 end

data/sig/steep/subtyping/check.rbs

@@ -1,6 +1,8 @@
 module Steep
   module Subtyping
     class Check
+      ABORT_LIMIT: Integer
+
       attr_reader builder: Interface::Builder
 
       attr_reader cache: Cache

data/sig/steep/subtyping/result.rbs

@@ -81,7 +81,7 @@ module Steep
       class Failure < Base
         type error = MethodMissingError | BlockMismatchError | ParameterMismatchError
                    | UnknownPairError | PolyMethodSubtyping | UnsatisfiedConstraints
-                   | SelfBindingMismatch
+                   | SelfBindingMismatch | LoopAbort
 
         class MethodMissingError
           attr_reader name: untyped
@@ -145,6 +145,10 @@ module Steep
           def message: () -> String
         end
 
+        class LoopAbort
+          def message: () -> String
+        end
+
         attr_reader error: error
 
         def initialize: (Relation[untyped] relation, error error) -> void

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.7.0.dev.1
+  version: 1.7.0.dev.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-01-30 00:00:00.000000000 Z
+date: 2024-02-22 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -503,7 +503,6 @@ files:
 - sig/steep/thread_waiter.rbs
 - sig/steep/type_construction.rbs
 - sig/steep/type_inference/block_params.rbs
-- sig/steep/type_inference/branch.rbs
 - sig/steep/type_inference/case_when.rbs
 - sig/steep/type_inference/constant_env.rbs
 - sig/steep/type_inference/context.rbs

data/sig/steep/type_inference/branch.rbs

@@ -1,15 +0,0 @@
-use Steep::TypeConstruction::Pair, Steep::TypeInference::LogicTypeInterpreter::Result
-
-module Steep
-  module TypeInference
-    class Branch
-      attr_reader start_env: TypeEnv
-
-      def initialize: (TypeEnv start_env) -> void
-
-      def add_branch: () { (TypeEnv) -> [Result, Pair] } -> void
-
-      
-    end
-  end
-end