steep 1.4.0.dev.2 → 1.4.0.dev.4

data/sig/steep/type_inference/send_args.rbs

@@ -52,7 +52,9 @@ module Steep
           include Equatable
         end
 
-        type arg = NodeParamPair | NodeTypePair | SplatArg | UnexpectedArg | MissingArg
+        type arg = NodeParamPair | NodeTypePair | SplatArg | error_arg
+
+        type error_arg = UnexpectedArg | MissingArg
 
         attr_reader args: Array[Parser::AST::Node]
 
@@ -68,7 +70,7 @@ module Steep
 
         def following_args: () -> Array[Parser::AST::Node]
 
-        def param: () -> Interface::Function::Params::PositionalParams::param?
+        %a{pure} def param: () -> Interface::Function::Params::PositionalParams::param?
 
         def update: (?index: Integer, ?positional_params: Interface::Function::Params::PositionalParams?, ?uniform: bool) -> PositionalArgs
 
@@ -134,7 +136,9 @@ module Steep
           def initialize: (keywords: Set[Symbol]) -> void
         end
 
-        type arg = ArgTypePairs | SplatArg | UnexpectedKeyword | MissingKeyword
+        type arg = ArgTypePairs | SplatArg | error_arg
+
+        type error_arg = UnexpectedKeyword | MissingKeyword
 
         attr_reader kwarg_nodes: Array[Parser::AST::Node]
 
@@ -198,6 +202,14 @@ module Steep
         def node_type: () -> AST::Types::t
       end
 
+      class ForwardedArgs
+        attr_reader node: Parser::AST::Node
+
+        attr_reader params: Interface::Function::Params
+
+        def initialize: (node: Parser::AST::Node, params: Interface::Function::Params) -> void
+      end
+
       attr_reader node: Parser::AST::Node
 
       attr_reader arguments: Array[Parser::AST::Node]
@@ -216,14 +228,16 @@ module Steep
 
       def kwargs_node: () -> Parser::AST::Node?
 
+      def forwarded_args_node: () -> Parser::AST::Node?
+
       def positional_arg: () -> PositionalArgs
 
       def keyword_args: () -> KeywordArgs
 
       def block_pass_arg: () -> BlockPassArg
 
-      def each: () { (PositionalArgs::arg | KeywordArgs::arg) -> void } -> Array[Diagnostic::Ruby::Base]
-              | () -> Enumerator[PositionalArgs::arg | KeywordArgs::arg, Array[Diagnostic::Ruby::Base]]
+      def each: () { (PositionalArgs::arg | KeywordArgs::arg) -> void } -> [ForwardedArgs?, Array[Diagnostic::Ruby::Base]]
+              | () -> Enumerator[PositionalArgs::arg | KeywordArgs::arg, [ForwardedArgs?, Array[Diagnostic::Ruby::Base]]]
     end
   end
 end

data/sig/steep/typing.rbs

@@ -34,7 +34,7 @@ module Steep
 
     def add_error: (Diagnostic::Ruby::Base error) -> void
 
-    def add_typing: (Parser::AST::Node node, AST::Types::t `type`, TypeInference::Context _context) -> untyped
+    def add_typing: (Parser::AST::Node node, AST::Types::t `type`, top) -> untyped
 
     def add_call: (untyped node, untyped call) -> untyped
 
@@ -44,7 +44,7 @@ module Steep
 
     def type_of: (node: Parser::AST::Node) -> AST::Types::t
 
-    def call_of: (node: untyped) -> untyped
+    def call_of: (node: Parser::AST::Node) -> TypeInference::MethodCall::t
 
     def add_context_for_node: (untyped node, context: untyped) -> untyped
 
@@ -61,8 +61,13 @@ module Steep
     def new_child: [A] (Range[Integer] range) { (Typing) -> A } -> A
                  | (Range[Integer]) -> Typing
 
-    def each_typing: () { () -> untyped } -> untyped
+    def each_typing: () { (Parser::AST::Node, AST::Types::t) -> void } -> void
 
+    # Push the current changes to the `#parent` typing
+    #
+    # * Raises an error if `#parent` is `nil`
+    # * Raises an error if `#parent` is changed since `#new_child` call that instantiated `self`
+    #
     def save!: () -> void
   end
 end

data/smoke/diagnostics/test_expectations.yml

@@ -46,6 +46,7 @@
     message: |-
       Cannot pass a value of type `^(untyped, untyped, untyped) -> untyped` as a block-pass-argument of type `^(::Integer) -> void`
         ^(untyped, untyped, untyped) -> untyped <: ^(::Integer) -> void
+          (Params are incompatible)
     code: Ruby::BlockTypeMismatch
 - file: break_type_mismatch.rb
   diagnostics:

data/steep.gemspec

@@ -42,5 +42,4 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "fileutils", ">= 1.1.0"
   spec.add_runtime_dependency "strscan", ">= 1.0.0"
   spec.add_runtime_dependency "csv", ">= 3.0.9"
-  spec.add_runtime_dependency "pathname", ">= 0.2.1"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.4.0.dev.2
+  version: 1.4.0.dev.4
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-02-28 00:00:00.000000000 Z
+date: 2023-04-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -224,20 +224,6 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 3.0.9
-- !ruby/object:Gem::Dependency
-  name: pathname
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.2.1
-  type: :runtime
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: 0.2.1
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -268,6 +254,10 @@ files:
 - bin/steep
 - bin/steep-prof
 - exe/steep
+- guides/README.md
+- guides/src/gem-rbs-collection/gem-rbs-collection.md
+- guides/src/getting-started/getting-started.md
+- guides/src/nil-optional/nil-optional.md
 - lib/steep.rb
 - lib/steep/annotation_parser.rb
 - lib/steep/ast/annotation.rb
@@ -353,9 +343,11 @@ files:
 - lib/steep/services/hover_provider/ruby.rb
 - lib/steep/services/hover_provider/singleton_methods.rb
 - lib/steep/services/path_assignment.rb
+- lib/steep/services/signature_help_provider.rb
 - lib/steep/services/signature_service.rb
 - lib/steep/services/stats_calculator.rb
 - lib/steep/services/type_check_service.rb
+- lib/steep/services/type_name_completion.rb
 - lib/steep/shims/filter_map.rb
 - lib/steep/shims/symbol_start_with.rb
 - lib/steep/signature/validator.rb
@@ -393,8 +385,10 @@ files:
 - sig/shims/parallel.rbs
 - sig/shims/parser.rbs
 - sig/shims/parser/comment.rbs
+- sig/shims/parser/nodes.rbs
 - sig/shims/parser/source/map.rbs
 - sig/shims/parser/source/range.rbs
+- sig/shims/string.rbs
 - sig/shims/tagged_logging.rbs
 - sig/steep.rbs
 - sig/steep/annotation_parser.rbs
@@ -481,9 +475,11 @@ files:
 - sig/steep/services/hover_provider/ruby.rbs
 - sig/steep/services/hover_provider/singleton_methods.rbs
 - sig/steep/services/path_assignment.rbs
+- sig/steep/services/signature_help_provider.rbs
 - sig/steep/services/signature_service.rbs
 - sig/steep/services/stats_calculator.rbs
 - sig/steep/services/type_check_service.rbs
+- sig/steep/services/type_name_completion.rbs
 - sig/steep/signature/validator.rbs
 - sig/steep/source.rbs
 - sig/steep/subtyping/cache.rbs