steep 1.9.4 → 1.10.0.dev.1

data/lib/steep/type_construction.rb

@@ -155,7 +155,6 @@ module Steep
                                  definition.methods[method_name]&.yield_self do |method|
                                    method.method_types
                                      .map {|method_type| checker.factory.method_type(method_type) }
-                                     .select {|method_type| method_type.is_a?(Interface::MethodType) }
                                      .inject {|t1, t2| t1 + t2}
                                  end
                                end
@@ -163,6 +162,18 @@ module Steep
 
       method_type = annotation_method_type || definition_method_type
 
+      unless method_type
+        if definition
+          typing.add_error(
+            Diagnostic::Ruby::UndeclaredMethodDefinition.new(method_name: method_name, type_name: definition.type_name, node: node)
+          )
+        else
+          typing.add_error(
+            Diagnostic::Ruby::MethodDefinitionInUndeclaredModule.new(method_name: method_name, node: node)
+          )
+        end
+      end
+
       if (annotation_return_type = annots&.return_type) && (method_type_return_type = method_type&.type&.return_type)
         check_relation(sub_type: annotation_return_type, super_type: method_type_return_type).else do |result|
           typing.add_error(
@@ -1483,6 +1494,10 @@ module Steep
                   Diagnostic::Ruby::UnknownConstant.new(node: name_node, name: name_node.children[1]).class!
                 )
               end
+
+              if class_name
+                check_deprecation_constant(class_name, name_node, name_node.location.expression)
+              end
             else
               _, constr = synthesize(name_node)
             end
@@ -1538,6 +1553,10 @@ module Steep
               _, constr, module_name = synthesize_constant_decl(name_node, name_node.children[0], name_node.children[1]) do
                 typing.add_error Diagnostic::Ruby::UnknownConstant.new(node: name_node, name: name_node.children[1]).module!
               end
+
+              if module_name
+                check_deprecation_constant(module_name, name_node, name_node.location.expression)
+              end
             else
               _, constr = synthesize(name_node)
             end
@@ -1608,6 +1627,7 @@ module Steep
 
             if name
               typing.source_index.add_reference(constant: name, ref: node)
+              constr.check_deprecation_constant(name, node, node.location.expression)
             end
 
             Pair.new(type: type, constr: constr)
@@ -1626,6 +1646,8 @@ module Steep
 
             if constant_name
               typing.source_index.add_definition(constant: constant_name, definition: node)
+              location = node.location #: Parser::Source::Map & Parser::AST::_Variable
+              constr.check_deprecation_constant(constant_name, node, location.name)
             end
 
             value_type, constr = constr.synthesize(node.children.last, hint: constant_type)
@@ -2015,8 +2037,8 @@ module Steep
                 branch_result =
                   if body
                     when_clause_constr
-                      .for_branch(body)
                       .update_type_env {|env| env.join(*body_envs) }
+                      .for_branch(body)
                       .tap {|constr| typing.cursor_context.set_node_context(body, constr.context) }
                       .synthesize(body, hint: hint)
                   else
@@ -2040,14 +2062,16 @@ module Steep
 
               if els
                 branch_results << condition_constr.synthesize(els, hint: hint)
+              else
+                branch_results << Pair.new(type: AST::Builtin.nil_type, constr: condition_constr)
+              end
+
+              branch_results.reject! do |result|
+                result.type.is_a?(AST::Types::Bot)
               end
 
               types = branch_results.map(&:type)
               envs = branch_results.map {|result| result.constr.context.type_env }
-
-              unless els
-                types << AST::Builtin.nil_type
-              end
             end
 
             constr = constr.update_type_env do |env|
@@ -2387,6 +2411,9 @@ module Steep
             lhs_type = context.type_env[name]
             rhs_type, constr = synthesize(rhs, hint: lhs_type).to_ary
 
+            location = node.location #: Parser::Source::Map & Parser::AST::_Variable
+            constr.check_deprecation_global(name, node, location.name)
+
             type, constr = constr.gvasgn(node, rhs_type)
 
             constr.add_typing(node, type: type)
@@ -2395,6 +2422,9 @@ module Steep
         when :gvar
           yield_self do
             name = node.children.first
+
+            check_deprecation_global(name, node, node.location.expression)
+
             if type = context.type_env[name]
               add_typing(node, type: type)
             else
@@ -2943,7 +2973,7 @@ module Steep
               nil
             ]
           else
-            # No neesting
+            # No nesting
             synthesize_constant(node, nil, constant_name, &block)
           end
         end
@@ -3207,6 +3237,18 @@ module Steep
       end
     end
 
+    def deprecated_send?(call)
+      return unless call.node.type == :send || call.node.type == :csend
+
+      call.method_decls.each do |decl|
+        if pair = AnnotationsHelper.deprecated_annotation?(decl.method_def.each_annotation.to_a)
+          return pair
+        end
+      end
+
+      nil
+    end
+
     def type_send_interface(node, interface:, receiver:, receiver_type:, method_name:, arguments:, block_params:, block_body:, tapp:, hint:)
       method = interface.methods[method_name]
 
@@ -3260,6 +3302,20 @@ module Steep
                 end
               end
             end
+
+            if (_, message = deprecated_send?(call))
+              send_node, _ = deconstruct_sendish_and_block_nodes(node)
+              send_node or raise
+              _, _, _, loc = deconstruct_send_node!(send_node)
+
+              constr.typing.add_error(
+                Diagnostic::Ruby::DeprecatedReference.new(
+                  node: node,
+                  location: loc.selector,
+                  message: message
+                )
+              )
+            end
           end
 
           if node.type == :csend || ((node.type == :block || node.type == :numblock) && node.children[0].type == :csend)
@@ -4440,7 +4496,7 @@ module Steep
 
       param_types = param_types_hash.each.with_object({}) do |pair, hash| #$ Hash[Symbol, [AST::Types::t, AST::Types::t?]]
         name, type = pair
-        # skip unamed arguments `*`, `**` and `&`
+        # skip unnamed arguments `*`, `**` and `&`
         next if name.nil?
         hash[name] = [type, nil]
       end
@@ -5166,5 +5222,43 @@ module Steep
         end
       end
     end
+
+    def check_deprecation_global(name, node, location)
+      if global_entry = checker.factory.env.global_decls[name]
+        if (_, message = AnnotationsHelper.deprecated_annotation?(global_entry.decl.annotations))
+          typing.add_error(
+            Diagnostic::Ruby::DeprecatedReference.new(
+              node: node,
+              location: location,
+              message: message
+            )
+          )
+        end
+      end
+    end
+
+    def check_deprecation_constant(name, node, location)
+      entry = checker.builder.factory.env.constant_entry(name)
+
+      annotations =
+        case entry
+        when RBS::Environment::ModuleEntry, RBS::Environment::ClassEntry
+          entry.decls.flat_map { _1.decl.annotations }
+        when RBS::Environment::ConstantEntry, RBS::Environment::ClassAliasEntry, RBS::Environment::ModuleAliasEntry
+          entry.decl.annotations
+        end
+
+      if annotations
+        if (_, message = AnnotationsHelper.deprecated_annotation?(annotations))
+          typing.add_error(
+            Diagnostic::Ruby::DeprecatedReference.new(
+              node: node,
+              location: location,
+              message: message
+            )
+          )
+        end
+      end
+    end
   end
 end

data/lib/steep/type_inference/case_when.rb

@@ -243,6 +243,8 @@ module Steep
           end
         end
 
+        results.reject! { _1.type.is_a?(AST::Types::Bot) }
+
         types = results.map {|result| result.type }
         envs = results.map {|result| result.env }
 

data/lib/steep/type_inference/logic_type_interpreter.rb

@@ -169,6 +169,14 @@ module Steep
               return [truthy_result, falsy_result]
             end
           else
+            receiver, *_ = node.children
+            receiver_type = typing.type_of(node: receiver) if receiver
+
+            if env[receiver] && receiver_type.is_a?(AST::Types::Union)
+              result = evaluate_union_method_call(node: node, env: env, receiver: receiver, receiver_type: receiver_type)
+              return result if result
+            end
+
             if env[node]
               truthy_type, falsy_type = factory.partition_union(type)
 
@@ -408,6 +416,48 @@ module Steep
         end
       end
 
+      def evaluate_union_method_call(node:, env:, receiver:, receiver_type:)
+        call_type = typing.call_of(node: node) rescue nil
+        return unless call_type.is_a?(Steep::TypeInference::MethodCall::Typed)
+
+        truthy_types = [] #: Array[AST::Types::t]
+        falsy_types = [] #: Array[AST::Types::t]
+
+        receiver_type.types.each do |type|
+          if shape = subtyping.builder.shape(type, config)
+            method = shape.methods[call_type.method_name] or raise
+            method_type = method.method_types.find do |method_type|
+              call_type.method_decls.any? {|decl| factory.method_type(decl.method_type) == method_type }
+            end
+            if method_type
+              return_type = method_type.type.return_type
+              truthy, falsy = factory.partition_union(return_type)
+              truthy_types << type if truthy
+              falsy_types << type if falsy
+              next
+            end
+          end
+
+          truthy_types << type
+          falsy_types << type
+        end
+
+        truthy_type = truthy_types.empty? ? BOT : AST::Types::Union.build(types: truthy_types)
+        falsy_type = falsy_types.empty? ? BOT : AST::Types::Union.build(types: falsy_types)
+
+        truthy_env, falsy_env = refine_node_type(
+          env: env,
+          node: receiver,
+          truthy_type: truthy_type,
+          falsy_type: falsy_type
+        )
+
+        return [
+          Result.new(type: truthy_type, env: truthy_env, unreachable: truthy_type.nil?),
+          Result.new(type: falsy_type, env: falsy_env, unreachable: falsy_type.nil?)
+        ]
+      end
+
       def decompose_value(node)
         case node.type
         when :lvar

data/lib/steep/type_inference/method_call.rb

@@ -124,12 +124,14 @@ module Steep
 
         def pure?
           method_decls.all? do |method_decl|
-            case member = method_decl.method_def.member
-            when RBS::AST::Members::MethodDefinition
-              member.annotations.any? {|annotation| annotation.string == "pure" }
+            case method_decl.method_def.member
             when RBS::AST::Members::Attribute
               # The attribute writer is not pure
               !method_decl.method_name.method_name.end_with?("=")
+            else
+              method_decl.method_def.each_annotation.any? do |annotation|
+                annotation.string == "pure"
+              end
             end
           end
         end

data/lib/steep/version.rb

@@ -1,3 +1,3 @@
 module Steep
-  VERSION = "1.9.4"
+  VERSION = "1.10.0.dev.1"
 end

data/lib/steep.rb

@@ -17,6 +17,7 @@ require "yaml"
 require "securerandom"
 require "base64"
 require "time"
+require 'socket'
 
 require "concurrent/utility/processor_counter"
 require "terminal-table"
@@ -151,6 +152,8 @@ require "steep/drivers/vendor"
 require "steep/drivers/worker"
 require "steep/drivers/diagnostic_printer"
 
+require "steep/annotations_helper"
+
 if ENV["NO_COLOR"]
   Rainbow.enabled = false
 end
@@ -226,6 +229,10 @@ module Steep
     end
   end
 
+  def self.can_fork?
+    defined?(fork)
+  end
+
   class Sampler
     def initialize()
       @samples = []

data/manual/ruby-diagnostics.md

@@ -40,7 +40,7 @@ A type annotation has a syntax error.
 ### Ruby code
 
 ```ruby
-# @type var foo: () -> 
+# @type var foo: () ->
 ```
 
 ### Diagnostic
@@ -237,6 +237,52 @@ test.rb:4:6: [error] ::Kernel is declared as a module in RBS
 | - | - | - | - | - |
 | error | error | error | - | - |
 
+<a name='Ruby::DeprecatedReference'></a>
+## Ruby::DeprecatedReference
+
+Method call or constant reference is deprecated.
+
+### RBS
+
+```rbs
+%a{deprecated} class Foo end
+
+class Bar
+  %a{deprecated: since v0.9} def self.bar: () -> void
+end
+```
+
+### Ruby code
+
+```ruby
+Foo
+
+Bar.bar()
+```
+
+### Diagnostic
+
+```
+lib/deprecated.rb:1:0: [warning] The constant is deprecated
+│ Diagnostic ID: Ruby::DeprecatedReference
+│
+└ Foo
+  ~~~
+
+lib/deprecated.rb:3:4: [warning] The method is deprecated: since v0.9
+│ Diagnostic ID: Ruby::DeprecatedReference
+│
+└ Bar.bar()
+      ~~~
+```
+
+
+### Severity
+
+| all_error | strict | default | lenient | silent |
+| - | - | - | - | - |
+| error | warning | warning | warning | - |
+
 <a name='Ruby::DifferentMethodParameterKind'></a>
 ## Ruby::DifferentMethodParameterKind
 
@@ -703,6 +749,36 @@ test.rb:2:6: [error] Cannot allow method body have type `::Integer` because decl
 | - | - | - | - | - |
 | error | error | error | warning | - |
 
+<a name='Ruby::MethodDefinitionInUndeclaredModule'></a>
+## Ruby::MethodDefinitionInUndeclaredModule
+
+A `def` syntax doesn't have method type because the module/class is undefined in RBS.
+
+### Ruby code
+
+```ruby
+class UndeclaredClass
+  def to_s = 123
+end
+```
+
+### Diagnostic
+
+```
+test.rb:2:6: [error] Method `to_s` is defined in undeclared module
+│ Diagnostic ID: Ruby::MethodDefinitionInUndeclaredModule
+│
+└   def to_s = 123
+        ~~~~
+```
+
+
+### Severity
+
+| all_error | strict | default | lenient | silent |
+| - | - | - | - | - |
+| error | warning | information | hint | - |
+
 <a name='Ruby::MethodDefinitionMissing'></a>
 ## Ruby::MethodDefinitionMissing
 
@@ -1235,6 +1311,43 @@ test.rb:2:4: [error] Empty hash doesn't have type annotation
 | - | - | - | - | - |
 | error | error | warning | hint | - |
 
+<a name='Ruby::UndeclaredMethodDefinition'></a>
+## Ruby::UndeclaredMethodDefinition
+
+A `def` syntax doesn't have corresponding RBS method definition.
+
+### RBS
+
+```rbs
+class Foo
+end
+```
+
+### Ruby code
+
+```ruby
+class Foo
+  def undeclared = nil
+end
+```
+
+### Diagnostic
+
+```
+test.rb:2:6: [error] Method `::Foo#undeclared` is not declared in RBS
+│ Diagnostic ID: Ruby::UndeclaredMethodDefinition
+│
+└   def undeclared = nil
+        ~~~~~~~~~~
+```
+
+
+### Severity
+
+| all_error | strict | default | lenient | silent |
+| - | - | - | - | - |
+| error | warning | warning | information | - |
+
 <a name='Ruby::UnexpectedBlockGiven'></a>
 ## Ruby::UnexpectedBlockGiven
 

data/sample/Steepfile

@@ -5,8 +5,6 @@ target :lib do
 
   check "lib"                       # Directory name
 
-  library "rbs"
-
   # configure_code_diagnostics(D::Ruby.strict)       # `strict` diagnostics setting
   # configure_code_diagnostics(D::Ruby.lenient)      # `lenient` diagnostics setting
   # configure_code_diagnostics(D::Ruby.silent)       # `silent` diagnostics setting

data/sample/lib/conference.rb

@@ -7,19 +7,33 @@ class Conference
     @title = title
     @year = year
   end
+
+  def hello_world
+
+  end
 end
 
 Conference.new()
 
 Konference.new()
 
+class Hogehogehoge
+  def to_s = 123
 
+  def foo = 23
+end
 
 # @type var foo: Konference
 
 foo = Conference.new
 
+class Conference
+  def hello = 123
+end
+
 class Conference12
+  def hello = 123
+
   class Integer
   end
 end

data/sample/lib/deprecated.rb

@@ -0,0 +1,4 @@
+Foo
+
+Bar.bar()
+

data/sample/sig/deprecated.rbs

@@ -0,0 +1,11 @@
+%a{deprecated} class Foo end
+
+class Bar
+  # Original bar
+  def self.bar: %a{deprecated: since v0.9} () -> void
+
+  # Overloading bar
+  def self.bar: (String) -> String | ...
+end
+
+%a{deprecated} $test: untyped

data/steep.gemspec

@@ -41,10 +41,10 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "activesupport", ">= 5.1"
   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.8"
+  spec.add_runtime_dependency "language_server-protocol", ">= 3.17.0.4", "< 4.0"
+  spec.add_runtime_dependency "rbs", "~> 3.9.dev"
   spec.add_runtime_dependency "concurrent-ruby", ">= 1.1.10"
-  spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
+  spec.add_runtime_dependency "terminal-table", ">= 2", "< 5"
   spec.add_runtime_dependency "securerandom", ">= 0.1"
   spec.add_runtime_dependency "json", ">= 2.1.0"
   spec.add_runtime_dependency "logger", ">= 1.3.0"
@@ -52,4 +52,5 @@ Gem::Specification.new do |spec|
   spec.add_runtime_dependency "strscan", ">= 1.0.0"
   spec.add_runtime_dependency "csv", ">= 3.0.9"
   spec.add_runtime_dependency "uri", ">= 0.12.0"
+  spec.add_runtime_dependency "mutex_m", ">= 0.3.0"
 end

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.9.4
+  version: 1.10.0.dev.1
 platform: ruby
 authors:
 - Soutaro Matsumoto
 bindir: exe
 cert_chain: []
-date: 2025-02-04 00:00:00.000000000 Z
+date: 2025-03-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -77,7 +77,7 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '3.15'
+        version: 3.17.0.4
     - - "<"
       - !ruby/object:Gem::Version
         version: '4.0'
@@ -87,7 +87,7 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '3.15'
+        version: 3.17.0.4
     - - "<"
       - !ruby/object:Gem::Version
         version: '4.0'
@@ -97,14 +97,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.8'
+        version: 3.9.dev
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.8'
+        version: 3.9.dev
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
   requirement: !ruby/object:Gem::Requirement
@@ -128,7 +128,7 @@ dependencies:
         version: '2'
     - - "<"
       - !ruby/object:Gem::Version
-        version: '4'
+        version: '5'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
@@ -138,7 +138,7 @@ dependencies:
         version: '2'
     - - "<"
       - !ruby/object:Gem::Version
-        version: '4'
+        version: '5'
 - !ruby/object:Gem::Dependency
   name: securerandom
   requirement: !ruby/object:Gem::Requirement
@@ -237,6 +237,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 0.12.0
+- !ruby/object:Gem::Dependency
+  name: mutex_m
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.3.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.3.0
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -274,6 +288,7 @@ files:
 - guides/src/nil-optional/nil-optional.md
 - lib/steep.rb
 - lib/steep/annotation_parser.rb
+- lib/steep/annotations_helper.rb
 - lib/steep/ast/annotation.rb
 - lib/steep/ast/annotation/collection.rb
 - lib/steep/ast/builtin.rb
@@ -402,8 +417,10 @@ files:
 - manual/ruby-diagnostics.md
 - sample/Steepfile
 - sample/lib/conference.rb
+- sample/lib/deprecated.rb
 - sample/lib/length.rb
 - sample/sig/conference.rbs
+- sample/sig/deprecated.rbs
 - sample/sig/generics.rbs
 - sample/sig/length.rbs
 - steep.gemspec