steep 1.4.0.dev.2 → 1.4.0.dev.3

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
 
@@ -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.3
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2023-02-28 00:00:00.000000000 Z
+date: 2023-04-12 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
@@ -356,6 +346,7 @@ files:
 - 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 +384,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
@@ -484,6 +477,7 @@ files:
 - 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