steep 1.9.1 → 1.9.3

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 522d134347810d1fbb030d139f616077fcc197aabe079bf14453305c9c9562bd
-  data.tar.gz: bd6a1a97a815c02ba20160d6bc1bd2166c1a02cdee3901c2a84fca2fe1b22d0b
+  metadata.gz: 02b4d30c83adaf9c3784371edd9f014f772273cec3ea72e9befeb3d882a897c6
+  data.tar.gz: 1146ee79d9b908d96f3079de416ba2d10b43e8b2a32ee440d4a2b7519a29558c
 SHA512:
-  metadata.gz: 254fb6ef3b682ea7866e2892755e183bcd8ed797f4209faf999f40cdcb140a67083c73684ba80273cbf2e563650a2213114c474a2e0d3e50cc6d0cdc5d05caf0
-  data.tar.gz: b5daeab25121a44e5e9ad4a353de77115f7f626c0f5ac9342c1fe0ac061eabf75cbf3fef26a3b651d0b4849a0c05d5c1eafe9027f72294af0974f7b051f9eb71
+  metadata.gz: 23ab3d323a5395ab7fe9ac37c98c657c780a949637ff4126ea2b0c320f27031fba615239eeaeaa028409cbf9b22dc1016c4299c31a545b387bec61785321a3fa
+  data.tar.gz: 6e94877bc417d187f49f7f8dc105058835785146ad4172d7d98751e790ea05b42f191db588a516fb0151949f68664a16c5ddb2a6220915613cc98f1be824ab0f

data/CHANGELOG.md

@@ -1,5 +1,22 @@
 # CHANGELOG
 
+## 1.9.3 (2024-12-26)
+
+### Miscellaneous
+
+* Steep 1.9.1 ([#1398](https://github.com/soutaro/steep/pull/1398))
+* Update rbs ([#1443](https://github.com/soutaro/steep/pull/1443))
+
+## 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

data/Steepfile

@@ -1,3 +1,5 @@
+require "fileutils"
+
 D = Steep::Diagnostic
 
 FileUtils.mkpath("tmp")
@@ -23,6 +25,8 @@ target :app do
   signature "sig"
   ignore_signature "sig/test"
 
+  implicitly_returns_nil!
+
   configure_code_diagnostics(D::Ruby.strict) do |hash|
   end
 
@@ -37,6 +41,7 @@ target :test do
   collection_config "rbs_collection.steep.yaml"
 
   unreferenced!
+  implicitly_returns_nil!
 
   check "test"
   signature "sig/test"
@@ -52,6 +57,7 @@ end
 
 target :bin do
   unreferenced!
+  implicitly_returns_nil!
 
   collection_config "rbs_collection.steep.yaml"
 

data/lib/steep/annotation_parser.rb

@@ -104,7 +104,7 @@ module Steep
           name = match[:name] or raise
           type = parse_type(match, location: location)
 
-          AST::Annotation::ConstType.new(name: TypeName(name), type: type, location: location)
+          AST::Annotation::ConstType.new(name: RBS::TypeName.parse(name), type: type, location: location)
         end
 
       when keyword_subject_type("ivar", IVAR_NAME)
@@ -184,7 +184,7 @@ module Steep
       when /@implements\s+(?<name>#{CONST_NAME})#{TYPE_PARAMS}$/
         Regexp.last_match.yield_self do |match|
           match or raise
-          type_name = TypeName(match[:name] || raise)
+          type_name = RBS::TypeName.parse(match[:name] || raise)
           params = match[:params]&.yield_self {|params| params.split(/,/).map {|param| param.strip.to_sym } } || []
 
           name = AST::Annotation::Implements::Module.new(name: type_name, args: params)

data/lib/steep/ast/builtin.rb

@@ -6,7 +6,7 @@ module Steep
         attr_reader :arity
 
         def initialize(module_name, arity: 0)
-          @module_name = TypeName(module_name)
+          @module_name = RBS::TypeName.parse(module_name)
           @arity = arity
         end
 

data/lib/steep/interface/builder.rb

@@ -786,7 +786,7 @@ module Steep
               RBS::BuiltinNames::Symbol.name,
               RBS::BuiltinNames::TrueClass.name,
               RBS::BuiltinNames::FalseClass.name,
-              TypeName("::NilClass")
+              RBS::TypeName.parse("::NilClass")
               # Value based type-case works on literal types which is available for String, Integer, Symbol, TrueClass, FalseClass, and NilClass
               return method_type.with(
                 type: method_type.type.with(
@@ -828,7 +828,7 @@ module Steep
 
       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/interface/type_param.rb

@@ -62,7 +62,7 @@ module Steep
       end
 
       def to_s
-        buf = ""
+        buf = +""
 
         if unchecked
           buf << "unchecked "

data/lib/steep/method_name.rb

@@ -28,12 +28,12 @@ module Steep
         type_name, method_name = string.split(/#/, 2)
         type_name or raise
         method_name or raise
-        InstanceMethodName.new(type_name: TypeName(type_name), method_name: method_name.to_sym)
+        InstanceMethodName.new(type_name: RBS::TypeName.parse(type_name), method_name: method_name.to_sym)
       when /\./
         type_name, method_name = string.split(/\./, 2)
         type_name or raise
         method_name or raise
-        SingletonMethodName.new(type_name: TypeName(type_name), method_name: method_name.to_sym)
+        SingletonMethodName.new(type_name: RBS::TypeName.parse(type_name), method_name: method_name.to_sym)
       else
         raise "Unexpected method name: #{string}"
       end

data/lib/steep/server/lsp_formatter.rb

@@ -361,7 +361,7 @@ module Steep
           "#{name}"
         else
           ps = params.each.map do |param|
-            s = ""
+            s = +""
             if param.unchecked?
               s << "unchecked "
             end

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/type_construction.rb

@@ -1385,10 +1385,10 @@ module Steep
           add_typing(node, type: AST::Builtin::Float.instance_type)
 
         when :rational
-          add_typing(node, type: AST::Types::Name::Instance.new(name: TypeName("::Rational"), args: []))
+          add_typing(node, type: AST::Types::Name::Instance.new(name: RBS::TypeName.parse("::Rational"), args: []))
 
         when :complex
-          add_typing(node, type: AST::Types::Name::Instance.new(name: TypeName("::Complex"), args: []))
+          add_typing(node, type: AST::Types::Name::Instance.new(name: RBS::TypeName.parse("::Complex"), args: []))
 
         when :nil
           add_typing(node, type: AST::Builtin.nil_type)

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.9.1"
+  VERSION = "1.9.3"
 end

data/steep.gemspec

@@ -42,7 +42,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.7.0"
+  spec.add_runtime_dependency "rbs", "~> 3.8"
   spec.add_runtime_dependency "concurrent-ruby", ">= 1.1.10"
   spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
   spec.add_runtime_dependency "securerandom", ">= 0.1"
@@ -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,13 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.9.1
+  version: 1.9.3
 platform: ruby
 authors:
 - Soutaro Matsumoto
-autorequire:
 bindir: exe
 cert_chain: []
-date: 2024-12-09 00:00:00.000000000 Z
+date: 2024-12-26 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -98,14 +97,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 3.7.0
+        version: '3.8'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 3.7.0
+        version: '3.8'
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
   requirement: !ruby/object:Gem::Requirement
@@ -224,6 +223,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
@@ -401,7 +414,6 @@ metadata:
   homepage_uri: https://github.com/soutaro/steep
   source_code_uri: https://github.com/soutaro/steep
   changelog_uri: https://github.com/soutaro/steep/blob/master/CHANGELOG.md
-post_install_message:
 rdoc_options: []
 require_paths:
 - lib
@@ -416,8 +428,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.5.22
-signing_key:
+rubygems_version: 3.6.2
 specification_version: 4
 summary: Gradual Typing for Ruby
 test_files: []