steep 1.7.0.dev.1 → 1.7.0.dev.3

data/sig/steep/interface/function.rbs

@@ -27,6 +27,7 @@ module Steep
             def var_type: () -> AST::Types::t
 
             def map_type: () { (AST::Types::t) -> AST::Types::t } -> self
+                        | () -> Enumerator[AST::Types::t, void]
           end
 
           class Required < Base
@@ -57,6 +58,7 @@ module Steep
           def map: () { (param) -> param } -> PositionalParams
 
           def map_type: () { (AST::Types::t) -> AST::Types::t } -> PositionalParams
+                      | () -> Enumerator[AST::Types::t, void]
 
           def subst: (Substitution s) -> PositionalParams
 
@@ -74,13 +76,13 @@ module Steep
 
           def size: () -> Integer
 
-          def self.build: (required: Array[AST::Types::t], optional: Array[AST::Types::t], rest: AST::Types::t?) -> PositionalParams
+          def self.build: (required: Array[AST::Types::t], optional: Array[AST::Types::t], rest: AST::Types::t?) -> PositionalParams?
 
           extend Utils
 
           # Calculates xs + ys.
           # Never fails.
-          def self.merge_for_overload: (PositionalParams? xs, PositionalParams? ys) -> PositionalParams
+          def self.merge_for_overload: (PositionalParams? xs, PositionalParams? ys) -> PositionalParams?
 
           # xs | ys
           def self.merge_for_union: (PositionalParams? xs, PositionalParams? ys) -> PositionalParams?
@@ -98,15 +100,15 @@ module Steep
 
           attr_reader rest: AST::Types::t?
 
-          def initialize: (?requireds: ::Hash[untyped, untyped], ?optionals: ::Hash[untyped, untyped], ?rest: untyped?) -> void
+          def initialize: (?requireds: ::Hash[Symbol, AST::Types::t], ?optionals: ::Hash[Symbol, AST::Types::t], ?rest: AST::Types::t?) -> void
 
-          def ==: (untyped other) -> untyped
+          def ==: (untyped other) -> bool
 
           alias eql? ==
 
-          def hash: () -> untyped
+          def hash: () -> Integer
 
-          def update: (?requireds: untyped, ?optionals: untyped, ?rest: untyped) -> untyped
+          def update: (?requireds: Hash[Symbol, AST::Types::t], ?optionals: Hash[Symbol, AST::Types::t], ?rest: AST::Types::t?) -> KeywordParams
 
           def empty?: () -> bool
 
@@ -117,6 +119,7 @@ module Steep
                        | () -> Enumerator[AST::Types::t, void]
 
           def map_type: () { (AST::Types::t) -> AST::Types::t } -> KeywordParams
+                      | () -> Enumerator[AST::Types::t, KeywordParams]
 
           def subst: (Substitution s) -> KeywordParams
 
@@ -127,13 +130,13 @@ module Steep
           include Utils
 
           # For overloading
-          def +: (untyped other) -> untyped
+          def +: (KeywordParams other) -> KeywordParams
 
           # For union
-          def |: (untyped other) -> untyped
+          def |: (KeywordParams other) -> KeywordParams
 
           # For intersection
-          def &: (untyped other) -> (nil | untyped)
+          def &: (KeywordParams other) -> KeywordParams?
         end
 
         def required: () -> Array[AST::Types::t]
@@ -146,54 +149,55 @@ module Steep
 
         attr_reader keyword_params: KeywordParams
 
-        def self.build: (?required: untyped, ?optional: untyped, ?rest: untyped?, ?required_keywords: ::Hash[untyped, untyped], ?optional_keywords: ::Hash[untyped, untyped], ?rest_keywords: untyped?) -> untyped
+        def self.build: (?required: Array[AST::Types::t], ?optional: Array[AST::Types::t], ?rest: AST::Types::t?, ?required_keywords: ::Hash[Symbol, AST::Types::t], ?optional_keywords: ::Hash[Symbol, AST::Types::t], ?rest_keywords: AST::Types::t?) -> Params
 
-        def initialize: (positional_params: untyped, keyword_params: untyped) -> void
+        def initialize: (positional_params: PositionalParams?, keyword_params: KeywordParams) -> void
 
-        def update: (?positional_params: untyped, ?keyword_params: untyped) -> untyped
+        def update: (?positional_params: PositionalParams?, ?keyword_params: KeywordParams) -> Params
 
-        def first_param: () -> untyped
+        def first_param: () -> PositionalParams::param?
 
-        def with_first_param: (untyped param) -> untyped
+        def with_first_param: (PositionalParams::param) -> Params
 
-        def has_positional?: () -> (true | false)
+        def has_positional?: () -> bool
 
-        def self.empty: () -> untyped
+        def self.empty: () -> Params
 
-        def ==: (untyped other) -> untyped
+        def ==: (untyped other) -> bool
 
         alias eql? ==
 
-        def hash: () -> untyped
+        def hash: () -> Integer
 
         def flat_unnamed_params: () -> Array[[:required | :optional, AST::Types::t]]
 
-        def flat_keywords: () -> untyped
+        def flat_keywords: () -> Hash[Symbol, AST::Types::t]
 
-        def required_keywords: () -> untyped
+        def required_keywords: () -> Hash[Symbol, AST::Types::t]
 
-        def optional_keywords: () -> untyped
+        def optional_keywords: () -> Hash[Symbol, AST::Types::t]
 
-        def rest_keywords: () -> untyped
+        def rest_keywords: () -> AST::Types::t?
 
-        def has_keywords?: () -> untyped
+        def has_keywords?: () -> bool
 
         def each_positional_param: () { (PositionalParams::Base) -> void } -> void
 
-        def without_keywords: () -> untyped
+        def without_keywords: () -> Params
 
-        def drop_first: () -> untyped
+        def drop_first: () -> Params
 
         def each_type: () { (AST::Types::t) -> void } -> void
                      | () -> Enumerator[AST::Types::t, void]
 
-        def free_variables: () -> untyped
+        @fvs: Set[AST::Types::variable]?
+        def free_variables: () -> Set[AST::Types::variable]
 
-        def closed?: () -> untyped
+        def closed?: () -> bool
 
         def subst: (Substitution s) -> Params
 
-        def size: () -> untyped
+        def size: () -> Integer
 
         def to_s: () -> ::String
 
@@ -244,7 +248,8 @@ module Steep
 
       def hash: () -> Integer
 
-      def free_variables: () -> Set[Symbol]
+      @fvs: Set[AST::Types::variable]?
+      def free_variables: () -> Set[AST::Types::variable]
 
       def subst: (Substitution s) -> Function
 

data/sig/steep/interface/shape.rbs

@@ -2,11 +2,26 @@ module Steep
   module Interface
     class Shape
       class Entry
-        attr_reader method_types: Array[MethodType]
+        @private_method: bool
 
-        def initialize: (method_types: Array[MethodType]) -> void
+        @method_types: Array[MethodType]?
+
+        @generator: (^() -> Array[MethodType]?)?
+
+        def initialize: (method_types: Array[MethodType], private_method: bool) -> void
+                      | (private_method: bool) { () -> Array[MethodType]? } -> void
+
+        def has_method_type?: () -> bool
 
         def to_s: () -> String
+
+        def private_method?: () -> bool
+
+        def public_method?: () -> bool
+
+        def method_types: () -> Array[MethodType]
+
+        def force: () -> void
       end
 
       class Methods
@@ -36,9 +51,9 @@ module Steep
 
         def push_substitution: (Substitution) -> Methods
 
-        def merge!: (Methods other) -> void
+        def merge!: (Methods other) ?{ (Symbol name, Entry old_entry, Entry new_entry) -> Entry } -> void
 
-        # def +: (Methods other) -> Methods
+        def public_methods: () -> Methods
       end
 
       attr_reader type: AST::Types::t
@@ -56,6 +71,10 @@ module Steep
       def public?: () -> bool
 
       def subst: (Substitution, ?type: AST::Types::t?) -> Shape
+
+      def public_shape: () -> Shape
+
+      @public_shape: Shape?
     end
   end
 end

data/sig/steep/interface/substitution.rbs

@@ -41,6 +41,8 @@ module Steep
 
       def merge: (Substitution s) -> Substitution
 
+      def update: (?self_type: AST::Types::t?, ?instance_type: AST::Types::t?, ?module_type: AST::Types::t?) -> Substitution
+
       def apply?: (AST::Types::t) -> bool
 
       def add!: (Symbol v, AST::Types::t ty) -> self

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/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/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/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

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.1
+  version: 1.7.0.dev.3
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-01-30 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
@@ -503,7 +504,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