steep 1.7.0.dev.3 → 1.7.0.dev.4

data/sig/steep/interface/builder.rbs

@@ -46,8 +46,6 @@ module Steep
 
       def initialize: (AST::Types::Factory) -> void
 
-      def fetch_cache: [KEY] (Hash[KEY, Shape?], KEY) { () -> Shape? } -> Shape?
-
       # Returns a shape of given type with respect to Config
       #
       # * If `self` occurs in the given type, it returns types with `self`
@@ -55,6 +53,10 @@ module Steep
       #
       def shape: (AST::Types::t, Config) -> Shape?
 
+      private
+
+      def fetch_cache: [KEY] (Hash[KEY, Shape?], KEY) { () -> Shape? } -> Shape?
+
       # Returns a shape of given type with respect to Config
       #
       # The `self` types included in the returned Shape is the `self` type in the top level
@@ -66,10 +68,16 @@ module Steep
 
       def self_shape: (AST::Types::t, Config) -> Shape?
 
-      private
-
+      # Returns a shape of instance type and interface type
+      #
+      # The `self` types included in the shape is the `self` types in the definition.
+      #
       def object_shape: (RBS::TypeName) -> Shape
 
+      # Returns a shape of singleton type
+      #
+      # The `self` types included in the shape is the `self` types in the definition.
+      #
       def singleton_shape: (RBS::TypeName) -> Shape
 
       def union_shape: (AST::Types::t, Array[Shape]) -> Shape?
@@ -95,58 +103,9 @@ module Steep
 
       def replace_primitive_method: (method_name, RBS::Definition::Method::TypeDef, MethodType) -> MethodType
 
-      # # Calculates the shape of given class, based on `public_only` and Config
-      # #
-      # # Returns `nil` if a type that cannot calculate Shape is given.
-      # #
-      # # * `public_only`: If false, returns a shape with private methods.
-      # #
-      # def shape: (AST::Types::t, public_only: bool, config: Config) -> Shape?
-
-      # private
-
       @subtyping: Subtyping::Check?
 
       def subtyping: () -> Subtyping::Check
-
-      # # Fetch and update cache
-      # #
-      # # Cache if given type is cacheable:
-      # #
-      # # * `self`, `instance`, `class` is not cacheable
-      # # * Type variables are not cacheable
-      # #
-      # def fetch_cache: (AST::Types::t, bool public_only, Config) { () -> Shape? } -> Shape?
-
-      # def include_self?: (AST::Types::t) -> bool
-
-      # def definition_builder: () -> RBS::DefinitionBuilder
-
-      # def object_shape: (
-      #   AST::Types::Name::Instance | AST::Types::Name::Singleton | AST::Types::Name::Interface,
-      #   bool public_only,
-      #   boolish keep_self,
-      #   boolish keep_instance,
-      #   boolish keep_singleton
-      # ) -> Shape
-
-      # def raw_object_shape: (
-      #   AST::Types::Name::Instance | AST::Types::Name::Singleton | AST::Types::Name::Interface,
-      #   bool public_only,
-      #   Substitution subst
-      # ) -> Shape
-
-      # def union_shape: (AST::Types::t, Array[Shape], bool public_only) -> Shape
-
-      # def intersection_shape: (AST::Types::t, Array[Shape], bool public_only) -> Shape
-
-      # def tuple_shape: (AST::Types::Tuple, bool public_only, Config) -> Shape
-
-      # def record_shape: (AST::Types::Record, bool public_only, Config) -> Shape?
-
-      # def proc_shape: (AST::Types::Proc, bool public_only, Config) -> Shape?
-
-
     end
   end
 end

data/sig/steep/interface/function.rbs

@@ -177,7 +177,7 @@ module Steep
 
         def optional_keywords: () -> Hash[Symbol, AST::Types::t]
 
-        def rest_keywords: () -> AST::Types::t?
+        %a{pure} def rest_keywords: () -> AST::Types::t?
 
         def has_keywords?: () -> bool
 
@@ -234,13 +234,14 @@ module Steep
 
       type location = RBS::Location[untyped, untyped]
 
-      attr_reader params: Params
+      # Returns `nil` for `RBS::Types::UntypedFunction`
+      attr_reader params: Params?
 
       attr_reader return_type: AST::Types::t
 
       attr_reader location: location?
 
-      def initialize: (params: Params, return_type: AST::Types::t, location: location?) -> void
+      def initialize: (params: Params?, return_type: AST::Types::t, location: location?) -> void
 
       def ==: (untyped other) -> bool
 
@@ -260,7 +261,7 @@ module Steep
 
       def map_type: () { (AST::Types::t) -> AST::Types::t } -> Function
 
-      def with: (?params: Params, ?return_type: AST::Types::t) -> Function
+      def with: (?params: Params?, ?return_type: AST::Types::t) -> Function
 
       def to_s: () -> ::String
 

data/sig/steep/services/signature_help_provider.rbs

@@ -14,7 +14,7 @@ module Steep
 
         def initialize: (RBS::MethodType, RBS::AST::Comment?, Integer?) -> void
 
-        def parameters: () -> Array[String]
+        def parameters: () -> Array[String]?
       end
 
       include Steep::NodeHelper

data/sig/steep/subtyping/variable_variance.rbs

@@ -17,7 +17,7 @@ module Steep
 
       def self.from_method_type: (Interface::MethodType method_type) -> VariableVariance
 
-      def self.add_params: (Interface::Function::Params params, block: bool, covariants: Set[Symbol], contravariants: Set[Symbol]) -> void
+      def self.add_params: (Interface::Function::Params? params, block: bool, covariants: Set[Symbol], contravariants: Set[Symbol]) -> void
 
       def self.add_type: (AST::Types::t `type`, variance: :covariant | :contravariant | :invariant, covariants: Set[Symbol], contravariants: Set[Symbol]) -> void
     end

data/sig/steep/type_inference/block_params.rbs

@@ -127,7 +127,7 @@ module Steep
                       | (hint: Interface::Function::Params?) -> Interface::Function::Params?
 
       def zip: (
-        Interface::Function::Params params_type,
+        Interface::Function::Params? params_type,
         Interface::Block? block,
         factory: AST::Types::Factory
       ) -> Array[[Param | MultipleParam, AST::Types::t]]

data/sig/steep/type_inference/method_params.rbs

@@ -102,9 +102,9 @@ module Steep
       #
       # `nil` if the node doesn't have it.
       #
-      attr_reader forward_arg_type: [Params, Block?]?
+      attr_reader forward_arg_type: [Params, Block?] | true | nil
 
-      def initialize: (args: Array[Node], method_type: MethodType?, forward_arg_type: [Params, Block?]?) -> void
+      def initialize: (args: Array[Node], method_type: MethodType?, forward_arg_type: [Params, Block?] | true | nil) -> void
 
       def []: (Symbol name) -> param
 
@@ -117,7 +117,7 @@ module Steep
 
       def each: () { (Symbol, AST::Types::t) -> void } -> void
 
-      def update: (?forward_arg_type: [Params, Block?]?) -> MethodParams
+      def update: (?forward_arg_type: [Params, Block?] | true | nil) -> MethodParams
 
       def self.empty: (node: Node) -> MethodParams
 

data/steep.gemspec

@@ -33,7 +33,7 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
   spec.add_runtime_dependency "listen", "~> 3.0"
   spec.add_runtime_dependency "language_server-protocol", ">= 3.15", "< 4.0"
-  spec.add_runtime_dependency "rbs", ">= 3.1.0"
+  spec.add_runtime_dependency "rbs", ">= 3.5.0.pre"
   spec.add_runtime_dependency "concurrent-ruby", ">= 1.1.10"
   spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
   spec.add_runtime_dependency "securerandom", ">= 0.1"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.7.0.dev.3
+  version: 1.7.0.dev.4
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-03-24 00:00:00.000000000 Z
+date: 2024-05-12 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -98,14 +98,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 3.1.0
+        version: 3.5.0.pre
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 3.1.0
+        version: 3.5.0.pre
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
   requirement: !ruby/object:Gem::Requirement
@@ -254,6 +254,7 @@ files:
 - bin/steep
 - bin/steep-prof
 - doc/narrowing.md
+- doc/shape.md
 - exe/steep
 - gemfile_steep/Gemfile
 - gemfile_steep/Gemfile.lock