steep 1.9.0 → 1.9.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7f7a4597973dff6192b6977a32875ed18b7da16a70d34bf5e811cb8a719b18d5
-  data.tar.gz: 8b9ec7e28728c0f6e35e962fed6dd8a43828d41763ae2ffce831b787a501b200
+  metadata.gz: b4ab8afe918f1a916f4697310e5119e832e9245ad45872c34e0c7d39a80725fc
+  data.tar.gz: 613dffe12496d24cfef1db9b01bf4aac622e7d9bb438554c8227904a2532ca55
 SHA512:
-  metadata.gz: f11cb6ec05bc38e2e8130b7e6860409c63a9d1ba3ef93ca14dcc3781800c00d97e59506343e8191c97741865a1fa1895dfd9ff69928b574df423e32983a315b5
-  data.tar.gz: d6b544a988c8f0adae6705a5b7085907bb7148dde0eeb857a3aae7b9c44b2787f47ea40aa1c0b54b5d5da650f07e4f94e0a754ead23baca844cb2f21ae6c7eaa
+  metadata.gz: 26c87982d9a05cc18558d2f2a7ca55d9a81611316d2cbe48c9e95bcc8089c8a7cd769f62b453c8fdc59ef0429b83ea37ab3d7b0a048d4b465a6856376b611242
+  data.tar.gz: cdc096149b19d7bd20a8a6766e25d204b5b31be69614f84119f451c6654f5a1289a6948309eab1df61bccb5287ce5e1b35c5fbb2df5e922854402898d32575fc

data/CHANGELOG.md

@@ -1,5 +1,21 @@
 # CHANGELOG
 
+## 1.9.2 (2024-12-16)
+
+### Type checker core
+
+* Attach type assertion to keyword args ([#1410](https://github.com/soutaro/steep/pull/1410))
+
+### Miscellaneous
+
+* deps: Add uri gem to dependencies list ([#1402](https://github.com/soutaro/steep/pull/1402))
+
+## 1.9.1 (2024-12-09)
+
+### Type checker core
+
+* Make `implicitly-returns-nil` opt-in ([#1396](https://github.com/soutaro/steep/pull/1396))
+
 ## 1.9.0 (2024-12-06)
 
 ### Type checker core

data/Steepfile

@@ -23,6 +23,8 @@ target :app do
   signature "sig"
   ignore_signature "sig/test"
 
+  implicitly_returns_nil!
+
   configure_code_diagnostics(D::Ruby.strict) do |hash|
   end
 
@@ -37,6 +39,7 @@ target :test do
   collection_config "rbs_collection.steep.yaml"
 
   unreferenced!
+  implicitly_returns_nil!
 
   check "test"
   signature "sig/test"
@@ -52,6 +55,7 @@ end
 
 target :bin do
   unreferenced!
+  implicitly_returns_nil!
 
   collection_config "rbs_collection.steep.yaml"
 

data/lib/steep/drivers/annotations.rb

@@ -21,7 +21,7 @@ module Steep
 
         project.targets.each do |target|
           Steep.logger.tagged "target=#{target.name}" do
-            service = Services::SignatureService.load_from(target.new_env_loader())
+            service = Services::SignatureService.load_from(target.new_env_loader(), implicitly_returns_nil: target.implicitly_returns_nil)
 
             sigs = loader.load_changes(target.signature_pattern, changes: {})
             service.update(sigs)

data/lib/steep/interface/builder.rb

@@ -54,13 +54,14 @@ module Steep
         end
       end
 
-      attr_reader :factory, :object_shape_cache, :union_shape_cache, :singleton_shape_cache
+      attr_reader :factory, :object_shape_cache, :union_shape_cache, :singleton_shape_cache, :implicitly_returns_nil
 
-      def initialize(factory)
+      def initialize(factory, implicitly_returns_nil:)
         @factory = factory
         @object_shape_cache = {}
         @union_shape_cache = {}
         @singleton_shape_cache = {}
+        @implicitly_returns_nil = implicitly_returns_nil
       end
 
       def shape(type, config)
@@ -826,6 +827,8 @@ module Steep
       end
 
       def add_implicitly_returns_nil(annotations, method_type)
+        return method_type unless implicitly_returns_nil
+        
         if annotations.find { _1.string == "implicitly-returns-nil" }
           return_type = method_type.type.return_type
           method_type = method_type.with(

data/lib/steep/project/dsl.rb

@@ -119,6 +119,7 @@ module Steep
         attr_reader :project
         attr_reader :unreferenced
         attr_reader :groups
+        attr_reader :implicitly_returns_nil
 
         def initialize(name, project:)
           @name = name
@@ -127,6 +128,7 @@ module Steep
           @project = project
           @collection_config_path = collection_config_path
           @unreferenced = false
+          @implicitly_returns_nil = false
           @groups = []
         end
 
@@ -144,6 +146,7 @@ module Steep
           @project = other.project
           @collection_config_path = other.collection_config_path
           @unreferenced = other.unreferenced
+          @implicitly_returns_nil = other.implicitly_returns_nil
           @groups = other.groups.dup
         end
 
@@ -151,6 +154,10 @@ module Steep
           @unreferenced = value
         end
 
+        def implicitly_returns_nil!(value = true)
+          @implicitly_returns_nil = value
+        end
+
         def configure_code_diagnostics(hash = nil)
           if hash
             code_diagnostics_config.merge!(hash)
@@ -245,7 +252,8 @@ module Steep
           options: dsl.library_configured? ? dsl.to_library_options : nil,
           code_diagnostics_config: dsl.code_diagnostics_config,
           project: project,
-          unreferenced: dsl.unreferenced
+          unreferenced: dsl.unreferenced,
+          implicitly_returns_nil: dsl.implicitly_returns_nil
         )
 
         dsl.groups.each do

data/lib/steep/project/target.rb

@@ -10,8 +10,9 @@ module Steep
       attr_reader :project
       attr_reader :unreferenced
       attr_reader :groups
+      attr_reader :implicitly_returns_nil
 
-      def initialize(name:, options:, source_pattern:, signature_pattern:, code_diagnostics_config:, project:, unreferenced:)
+      def initialize(name:, options:, source_pattern:, signature_pattern:, code_diagnostics_config:, project:, unreferenced:, implicitly_returns_nil:)
         @name = name
         @target_options = options
         @source_pattern = source_pattern
@@ -20,6 +21,7 @@ module Steep
         @project = project
         @unreferenced = unreferenced
         @groups = []
+        @implicitly_returns_nil = implicitly_returns_nil
       end
 
       def options

data/lib/steep/server/type_check_controller.rb

@@ -185,7 +185,7 @@ module Steep
         loader = Services::FileLoader.new(base_dir: project.base_dir)
 
         project.targets.each do |target|
-          signature_service = Services::SignatureService.load_from(target.new_env_loader())
+          signature_service = Services::SignatureService.load_from(target.new_env_loader(), implicitly_returns_nil: target.implicitly_returns_nil)
           files.add_library_path(target, *signature_service.env_rbs_paths.to_a)
         end
 

data/lib/steep/services/signature_service.rb

@@ -48,17 +48,18 @@ module Steep
       end
 
       class LoadedStatus
-        attr_reader :files, :builder
+        attr_reader :files, :builder, :implicitly_returns_nil
 
-        def initialize(files:, builder:)
+        def initialize(files:, builder:, implicitly_returns_nil:)
           @files = files
           @builder = builder
+          @implicitly_returns_nil = implicitly_returns_nil
         end
 
         def subtyping
           @subtyping ||= begin
             factory = AST::Types::Factory.new(builder: builder)
-            interface_builder = Interface::Builder.new(factory)
+            interface_builder = Interface::Builder.new(factory, implicitly_returns_nil: implicitly_returns_nil)
             Subtyping::Check.new(builder: interface_builder)
           end
         end
@@ -77,14 +78,17 @@ module Steep
 
       FileStatus = _ = Struct.new(:path, :content, :signature, keyword_init: true)
 
-      def initialize(env:)
+      attr_reader :implicitly_returns_nil
+
+      def initialize(env:, implicitly_returns_nil:)
         builder = RBS::DefinitionBuilder.new(env: env)
-        @status = LoadedStatus.new(builder: builder, files: {})
+        @status = LoadedStatus.new(builder: builder, files: {}, implicitly_returns_nil: implicitly_returns_nil)
+        @implicitly_returns_nil = implicitly_returns_nil
       end
 
-      def self.load_from(loader)
+      def self.load_from(loader, implicitly_returns_nil:)
         env = RBS::Environment.from_loader(loader).resolve_type_names
-        new(env: env)
+        new(env: env, implicitly_returns_nil: implicitly_returns_nil)
       end
 
       def env_rbs_paths
@@ -222,7 +226,7 @@ module Steep
                         )
                       when RBS::DefinitionBuilder::AncestorBuilder
                         builder2 = update_builder(ancestor_builder: result, paths: paths)
-                        LoadedStatus.new(builder: builder2, files: files)
+                        LoadedStatus.new(builder: builder2, files: files, implicitly_returns_nil: implicitly_returns_nil)
                       end
           end
         end

data/lib/steep/services/type_check_service.rb

@@ -82,7 +82,7 @@ module Steep
         @source_files = {}
         @signature_services = project.targets.each.with_object({}) do |target, hash| #$ Hash[Symbol, SignatureService]
           loader = Project::Target.construct_env_loader(options: target.options, project: project)
-          hash[target.name] = SignatureService.load_from(loader)
+          hash[target.name] = SignatureService.load_from(loader, implicitly_returns_nil: target.implicitly_returns_nil)
         end
         @signature_validation_diagnostics = project.targets.each.with_object({}) do |target, hash| #$ Hash[Symbol, Hash[Pathname, Array[Diagnostic::Signature::Base]]]
           hash[target.name] = {}

data/lib/steep/source.rb

@@ -496,6 +496,14 @@ module Steep
             # Skip
           when :def, :defs
             # Skip
+          when :kwargs
+            # skip
+          when :pair
+            key, value = node.children
+            key = insert_type_node(key, comments.except(last_line))
+            value = insert_type_node(value, comments)
+            node = node.updated(nil, [key, value])
+            return adjust_location(node)
           when :masgn
             lhs, rhs = node.children
             node = node.updated(nil, [lhs, insert_type_node(rhs, comments)])

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.9.0"
+  VERSION = "1.9.2"
 end

data/steep.gemspec

@@ -51,4 +51,5 @@ 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 "uri", ">= 0.12.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.9.0
+  version: 1.9.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-12-06 00:00:00.000000000 Z
+date: 2024-12-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -224,6 +224,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 3.0.9
+- !ruby/object:Gem::Dependency
+  name: uri
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.12.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.12.0
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com