steep 1.7.0.dev.2 → 1.7.0.dev.3

data/sig/steep/node_helper.rbs

@@ -66,6 +66,17 @@ module Steep
 
     def test_send_node: (Node) { (Node?, Symbol, Array[Node], send_loc) -> bool } -> bool
 
+    # Returns if given node allows calling private method
+    #
+    # The node must be:
+    #
+    # * A `send` node,
+    # * A `csend` node,
+    # * A `block` node, or
+    # * A `nblock` node
+    #
+    def private_send?: (Node) -> bool
+
     # Deconstruct sendish node and it's associated block node
     #
     # Receives a sequence of node tree where the leaf node comes first.

data/sig/steep/services/signature_help_provider.rbs

@@ -17,6 +17,8 @@ module Steep
         def parameters: () -> Array[String]
       end
 
+      include Steep::NodeHelper
+
       attr_reader source: Source
 
       attr_reader path: Pathname

data/sig/steep/subtyping/constraints.rbs

@@ -91,8 +91,8 @@ module Steep
 
       def lower_bound: (Symbol var, ?skip: bool) -> AST::Types::t
 
-      def solution: (Check checker, variables: Enumerable[Symbol], variance: VariableVariance, self_type: AST::Types::t, instance_type: AST::Types::t, class_type: AST::Types::t) -> Interface::Substitution
-                  | (Check checker, variables: Enumerable[Symbol], context: Context) -> Interface::Substitution
+      def solution: (Check checker, variables: Enumerable[AST::Types::variable], variance: VariableVariance, self_type: AST::Types::t, instance_type: AST::Types::t, class_type: AST::Types::t) -> Interface::Substitution
+                  | (Check checker, variables: Enumerable[AST::Types::variable], context: Context) -> Interface::Substitution
 
       def has_constraint?: (Symbol var) -> bool
 

data/sig/steep/type_construction.rbs

@@ -325,7 +325,7 @@ module Steep
     def set_up_block_mlhs_params_env: (
       Parser::AST::Node mlhs_node,
       AST::Types::t type,
-      Hash[Symbol, AST::Types::t]
+      Hash[Symbol?, AST::Types::t]
     ) { (Parser::AST::Node error_mlhs_node, AST::Types::t type) -> void } -> void
 
     # Returns a Pair of

data/sig/steep/type_inference/block_params.rbs

@@ -37,7 +37,7 @@ module Steep
       # * `node` is the node of the parameter
       #
       class Param
-        attr_reader var: Symbol
+        attr_reader var: Symbol?
 
         attr_reader type: AST::Types::t?
 
@@ -45,7 +45,7 @@ module Steep
 
         attr_reader node: Parser::AST::Node
 
-        def initialize: (var: Symbol, type: AST::Types::t?, value: Parser::AST::Node?, node: Parser::AST::Node) -> void
+        def initialize: (var: Symbol?, type: AST::Types::t?, value: Parser::AST::Node?, node: Parser::AST::Node) -> void
 
         def ==: (untyped other) -> bool
 

data/sig/steep/type_inference/context.rbs

@@ -147,6 +147,8 @@ module Steep
         # Returns the upper bound of a type variable
         def []: (Symbol name) -> AST::Types::t?
 
+        @upper_bounds: Hash[Symbol, AST::Types::t]?
+
         def upper_bounds: () -> Hash[Symbol, AST::Types::t]
 
         def self.empty: () -> TypeVariableContext

data/sig/steep.rbs

@@ -14,7 +14,7 @@ module Steep
 
   attr_accessor self.log_output: IO
 
-  def self.measure: [A] (String message, ?level: ::Symbol) { () -> A } -> A
+  def self.measure: [A] (String message, ?level: ::Symbol, ?threshold: Float) { () -> A } -> A
 
   def self.log_error: (Exception exn, ?message: ::String) -> void
 

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.7.0.dev.2
+  version: 1.7.0.dev.3
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-02-22 00:00:00.000000000 Z
+date: 2024-03-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -362,6 +362,7 @@ files:
 - lib/steep/subtyping/relation.rb
 - lib/steep/subtyping/result.rb
 - lib/steep/subtyping/variable_variance.rb
+- lib/steep/test.rb
 - lib/steep/thread_waiter.rb
 - lib/steep/type_construction.rb
 - lib/steep/type_inference/block_params.rb