steep 1.10.0 → 2.1.0.dev.1

data/lib/steep/type_inference/method_call.rb

@@ -42,6 +42,8 @@ module Steep
       end
 
       TopLevelContext = _ = Class.new() do
+        # @implements TopLevelContext
+
         def to_s
           "@<main>"
         end
@@ -58,6 +60,8 @@ module Steep
       end
 
       UnknownContext = _ = Class.new() do
+        # @implements UnknownContext
+
         def to_s
           "@<unknown>"
         end

data/lib/steep/type_inference/type_env.rb

@@ -150,7 +150,7 @@ module Steep
         pure_call_updates = pure_node_invalidation(invalidated_nodes)
 
         pure_call_types.each do |node, type|
-          call, _ = pure_call_updates[node]
+          call, _ = pure_call_updates.fetch(node)
           pure_call_updates[node] = [call, type]
         end
 

data/lib/steep/typing.rb

@@ -106,7 +106,7 @@ module Steep
             set(body_begin_pos..body_end_pos, context)
           end
 
-        when :block, :numblock
+        when :block, :numblock, :itblock
           range = block_range(node)
           set(range, context)
 
@@ -132,7 +132,7 @@ module Steep
                         node.loc.begin.end_pos # steep:ignore NoMethod
                       end
           end_pos = node.loc.end.begin_pos # steep:ignore NoMethod
-        when :numblock
+        when :numblock, :itblock
           send_node, _ = node.children
           begin_pos = node.loc.begin.end_pos # steep:ignore NoMethod
           end_pos = node.loc.end.begin_pos # steep:ignore NoMethod
@@ -208,8 +208,6 @@ module Steep
     end
 
     def type_of(node:)
-      raise "`nil` given to `Typing#type_of(node:)`" unless node
-
       type = typing[node]
 
       if type
@@ -247,7 +245,7 @@ module Steep
                       node.loc.begin.end_pos # steep:ignore NoMethod
                     end
         end_pos = node.loc.end.begin_pos # steep:ignore NoMethod
-      when :numblock
+      when :numblock, :itblock
         send_node, _ = node.children
         begin_pos = node.loc.begin.end_pos # steep:ignore NoMethod
         end_pos = node.loc.end.begin_pos # steep:ignore NoMethod

data/lib/steep/version.rb

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

data/lib/steep.rb

@@ -2,9 +2,7 @@ require "steep/version"
 
 require "pathname"
 require "parser/ruby33"
-require "active_support"
-require "active_support/core_ext/object/try"
-require "active_support/core_ext/string/inflections"
+require "prism"
 require "logger"
 require "rainbow"
 require "listen"
@@ -15,7 +13,6 @@ require "stringio"
 require 'uri'
 require "yaml"
 require "securerandom"
-require "base64"
 require "time"
 require 'socket'
 
@@ -26,6 +23,7 @@ require "rbs"
 
 require "steep/path_helper"
 require "steep/located_value"
+require "steep/tagged_logging"
 require "steep/thread_waiter"
 require "steep/equatable"
 require "steep/method_name"
@@ -99,6 +97,8 @@ require "steep/type_inference/multiple_assignment"
 require "steep/type_inference/method_call"
 require "steep/type_inference/case_when"
 
+require "steep/locator.rb"
+
 require "steep/index/rbs_index"
 require "steep/index/signature_symbol_provider"
 require "steep/index/source_index"
@@ -107,11 +107,14 @@ require "steep/services/content_change"
 require "steep/services/path_assignment"
 require "steep/services/signature_service"
 require "steep/services/type_check_service"
+require "steep/services/hover_provider/content"
 require "steep/services/hover_provider/singleton_methods"
 require "steep/services/hover_provider/ruby"
 require "steep/services/hover_provider/rbs"
-require "steep/services/type_name_completion"
 require "steep/services/completion_provider"
+require "steep/services/completion_provider/type_name"
+require "steep/services/completion_provider/ruby"
+require "steep/services/completion_provider/rbs"
 require "steep/services/signature_help_provider"
 require "steep/services/stats_calculator"
 require "steep/services/file_loader"
@@ -128,7 +131,9 @@ require "steep/server/interaction_worker"
 require "steep/server/type_check_worker"
 require "steep/server/target_group_files"
 require "steep/server/type_check_controller"
+require "steep/server/inline_source_change_detector"
 require "steep/server/master"
+require "steep/daemon"
 
 require "steep/project"
 require "steep/project/pattern"
@@ -150,6 +155,9 @@ require "steep/drivers/print_project"
 require "steep/drivers/init"
 require "steep/drivers/vendor"
 require "steep/drivers/worker"
+require "steep/drivers/start_server"
+require "steep/drivers/stop_server"
+require "steep/drivers/query"
 require "steep/drivers/diagnostic_printer"
 require "steep/drivers/diagnostic_printer/base_formatter"
 require "steep/drivers/diagnostic_printer/code_formatter"
@@ -173,19 +181,7 @@ module Steep
   end
 
   def self.new_logger(output, prev_level)
-    logger = Logger.new(output)
-    logger.formatter = proc do |severity, datetime, progname, msg|
-      # @type var severity: String
-      # @type var datetime: Time
-      # @type var progname: untyped
-      # @type var msg: untyped
-      # @type block: String
-      "#{datetime.strftime('%Y-%m-%d %H:%M:%S.%L')}: #{severity}: #{msg}\n"
-    end
-    ActiveSupport::TaggedLogging.new(logger).tap do |logger|
-      logger.push_tags "Steep #{VERSION}"
-      logger.level = prev_level || Logger::ERROR
-    end
+    TaggedLogging.new(output, level: prev_level || Logger::ERROR)
   end
 
   def self.log_output
@@ -195,11 +191,17 @@ module Steep
   def self.log_output=(output)
     @log_output = output
 
+    if output.is_a?(String)
+      io = File.open(output, "a")
+    else
+      io = output
+    end
+
     prev_level = @logger&.level
-    @logger = new_logger(output, prev_level)
+    @logger = new_logger(io, prev_level)
 
     prev_level = @ui_logger&.level
-    @ui_logger = new_logger(output, prev_level)
+    @ui_logger = new_logger(io, prev_level)
 
     output
   end
@@ -233,7 +235,15 @@ module Steep
   end
 
   def self.can_fork?
-    defined?(fork)
+    return @can_fork if defined?(@can_fork)
+
+    @can_fork = begin
+      pid = fork { exit!(0) }
+      Process.waitpid(pid) if pid
+      true
+    rescue NotImplementedError
+      false
+    end
   end
 
   class Sampler
@@ -299,17 +309,17 @@ module Steep
   end
 end
 
-klasses = [
-  # Steep::Interface::MethodType
-] #: Array[Class]
-
-klasses.each do |klass|
-  klass.instance_eval do
-    def self.new(*_a, **_b, &_c)
-      super
-    end
-  end
-end
+# klasses = [
+#   # Steep::Interface::MethodType
+# ] #: Array[Class]
+#
+# klasses.each do |klass|
+#   klass.instance_eval do
+#     def self.new(*_a, **_b, &_c)
+#       super
+#     end
+#   end
+# end
 
 module GCCounter
   module_function

data/manual/ruby-diagnostics.md

@@ -667,6 +667,45 @@ test.rb:1:0: [error] Invalid ignore comment
 | - | - | - | - | - |
 | error | warning | warning | warning | - |
 
+<a name='Ruby::LibraryRBSError'></a>
+## Ruby::LibraryRBSError
+
+Type checking failed because of errors in library RBS files.
+
+This diagnostic is reported on source files when RBS signatures from library or standard library
+have validation errors, such as superclass mismatches. Each error is reported as a separate diagnostic.
+
+### RBS
+
+```rbs
+class Integer < String
+end
+```
+
+### Ruby code
+
+```ruby
+1 + 2
+```
+
+### Diagnostic
+
+```
+a.rb:1:0: [error] Type checking failed due to error in library RBS file
+│ Different superclasses are specified for `::Integer`
+│ Diagnostic ID: Ruby::LibraryRBSError
+│
+└ 1 + 2
+  ~~~~~
+```
+
+
+### Severity
+
+| all_error | strict | default | lenient | silent |
+| - | - | - | - | - |
+| error | error | error | error | - |
+
 <a name='Ruby::MethodArityMismatch'></a>
 ## Ruby::MethodArityMismatch
 
@@ -1022,6 +1061,34 @@ test.rb:1:9: [error] Cannot find type `::Int`
 | - | - | - | - | - |
 | error | error | information | information | - |
 
+<a name='Ruby::RedundantIgnoreComment'></a>
+## Ruby::RedundantIgnoreComment
+
+`steep:ignore` comment is redundant.
+
+### Ruby code
+
+```ruby
+1 + 1 # steep:ignore
+```
+
+### Diagnostic
+
+```
+test.rb:1:6: [hint] Redundant ignore comment
+│ Diagnostic ID: Ruby::RedundantIgnoreComment
+│
+└ 1 + 1 # steep:ignore
+        ~~~~~~~~~~~~~~
+```
+
+
+### Severity
+
+| all_error | strict | default | lenient | silent |
+| - | - | - | - | - |
+| error | warning | warning | hint | - |
+
 <a name='Ruby::RequiredBlockMissing'></a>
 ## Ruby::RequiredBlockMissing
 

data/sample/Steepfile

@@ -3,6 +3,7 @@ D = Steep::Diagnostic
 target :lib do
   signature "sig"
 
+  check "lib/inline.rb", inline: true
   check "lib"                       # Directory name
 
   # configure_code_diagnostics(D::Ruby.strict)       # `strict` diagnostics setting

data/sample/lib/conference.rb

@@ -47,3 +47,4 @@ end
 
 conference = nil #: Conference?
 
+[].map { "" } #$ Array[Symbol]

data/sample/lib/deprecated.rb

@@ -5,3 +5,9 @@ Bar.bar()
 Bar.new.hogehoge("")
 
 foo = nil #: Foo
+
+# steep:ignore:start
+
+1
+
+# steep:ignore:end

data/sample/lib/inline.rb

@@ -0,0 +1,43 @@
+module Inline
+  # This is a bar class
+  class Bar
+    # @rbs () -> Integer
+    def from_bar
+      123
+    end
+  end
+
+  class Foo < HelloWorld #[String]
+    # @rbs (Integer, Integer) -> String
+    def foo(x, y)
+      (x + y).to_s
+    end
+
+    #: () -> untyped
+    def bar
+
+    end
+
+    # @rbs return: String?
+    def baz
+
+    end
+
+    # @rbs (Integer) -> void
+    def initialize(x)
+      @name
+    end
+
+    # @rbs @name: String -- the name of something
+  end
+
+
+  foo = Foo.new(1)
+  foo.foo(1, 2)
+  foo.foo(1, "2")
+  foo.foo(1, 2, "3")
+
+  foo.hello_world
+
+  x = nil #: String?
+end

data/sample/sig/generics.rbs

@@ -13,3 +13,6 @@ class StringGeneric[X < Integer, Y < Integer = String]
   extend LocationHelper
 end
 
+class HelloWorld[T]
+  def hello_world: () -> T
+end

data/steep.gemspec

@@ -35,14 +35,14 @@ Gem::Specification.new do |spec|
     spec.required_ruby_version = ">= 3.3.0"
   end
 
-  spec.required_ruby_version = '>= 3.1.0'
+  spec.required_ruby_version = '>= 3.2.0'
 
-  spec.add_runtime_dependency "parser", ">= 3.1"
-  spec.add_runtime_dependency "activesupport", ">= 5.1"
+  spec.add_runtime_dependency "parser", ">= 3.2"
+  spec.add_runtime_dependency "prism", ">= 0.25.0"
   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.17.0.4", "< 4.0"
-  spec.add_runtime_dependency "rbs", "~> 3.9"
+  spec.add_runtime_dependency "rbs", "~> 4.0"
   spec.add_runtime_dependency "concurrent-ruby", ">= 1.1.10"
   spec.add_runtime_dependency "terminal-table", ">= 2", "< 5"
   spec.add_runtime_dependency "securerandom", ">= 0.1"
@@ -52,5 +52,4 @@ 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.10.0
+  version: 2.1.0.dev.1
 platform: ruby
 authors:
 - Soutaro Matsumoto
 bindir: exe
 cert_chain: []
-date: 2025-03-18 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -15,28 +15,28 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '3.1'
+        version: '3.2'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '3.1'
+        version: '3.2'
 - !ruby/object:Gem::Dependency
-  name: activesupport
+  name: prism
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '5.1'
+        version: 0.25.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '5.1'
+        version: 0.25.0
 - !ruby/object:Gem::Dependency
   name: rainbow
   requirement: !ruby/object:Gem::Requirement
@@ -97,14 +97,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.9'
+        version: '4.0'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: '3.9'
+        version: '4.0'
 - !ruby/object:Gem::Dependency
   name: concurrent-ruby
   requirement: !ruby/object:Gem::Requirement
@@ -237,20 +237,6 @@ 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
@@ -262,6 +248,7 @@ files:
 - ".gitignore"
 - ".gitmodules"
 - CHANGELOG.md
+- CLAUDE.md
 - LICENSE
 - README.md
 - Rakefile
@@ -280,6 +267,7 @@ files:
 - bin/steep-check.rb
 - bin/steep-prof
 - doc/narrowing.md
+- doc/release.md
 - doc/shape.md
 - exe/steep
 - guides/README.md
@@ -317,6 +305,9 @@ files:
 - lib/steep/ast/types/var.rb
 - lib/steep/ast/types/void.rb
 - lib/steep/cli.rb
+- lib/steep/daemon.rb
+- lib/steep/daemon/configuration.rb
+- lib/steep/daemon/server.rb
 - lib/steep/diagnostic/deprecated/else_on_exhaustive_case.rb
 - lib/steep/diagnostic/deprecated/unknown_constant_assigned.rb
 - lib/steep/diagnostic/helper.rb
@@ -334,7 +325,10 @@ files:
 - lib/steep/drivers/init.rb
 - lib/steep/drivers/langserver.rb
 - lib/steep/drivers/print_project.rb
+- lib/steep/drivers/query.rb
+- lib/steep/drivers/start_server.rb
 - lib/steep/drivers/stats.rb
+- lib/steep/drivers/stop_server.rb
 - lib/steep/drivers/utils/driver_helper.rb
 - lib/steep/drivers/utils/jobs_option.rb
 - lib/steep/drivers/vendor.rb
@@ -353,6 +347,7 @@ files:
 - lib/steep/interface/substitution.rb
 - lib/steep/interface/type_param.rb
 - lib/steep/located_value.rb
+- lib/steep/locator.rb
 - lib/steep/method_name.rb
 - lib/steep/module_helper.rb
 - lib/steep/node_helper.rb
@@ -369,6 +364,7 @@ files:
 - lib/steep/server/change_buffer.rb
 - lib/steep/server/custom_methods.rb
 - lib/steep/server/delay_queue.rb
+- lib/steep/server/inline_source_change_detector.rb
 - lib/steep/server/interaction_worker.rb
 - lib/steep/server/lsp_formatter.rb
 - lib/steep/server/master.rb
@@ -378,9 +374,13 @@ files:
 - lib/steep/server/work_done_progress.rb
 - lib/steep/server/worker_process.rb
 - lib/steep/services/completion_provider.rb
+- lib/steep/services/completion_provider/rbs.rb
+- lib/steep/services/completion_provider/ruby.rb
+- lib/steep/services/completion_provider/type_name.rb
 - lib/steep/services/content_change.rb
 - lib/steep/services/file_loader.rb
 - lib/steep/services/goto_service.rb
+- lib/steep/services/hover_provider/content.rb
 - lib/steep/services/hover_provider/rbs.rb
 - lib/steep/services/hover_provider/ruby.rb
 - lib/steep/services/hover_provider/singleton_methods.rb
@@ -389,7 +389,6 @@ 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/signature/validator.rb
 - lib/steep/source.rb
 - lib/steep/source/ignore_ranges.rb
@@ -399,6 +398,7 @@ files:
 - lib/steep/subtyping/relation.rb
 - lib/steep/subtyping/result.rb
 - lib/steep/subtyping/variable_variance.rb
+- lib/steep/tagged_logging.rb
 - lib/steep/test.rb
 - lib/steep/thread_waiter.rb
 - lib/steep/type_construction.rb
@@ -421,6 +421,7 @@ files:
 - sample/Steepfile
 - sample/lib/conference.rb
 - sample/lib/deprecated.rb
+- sample/lib/inline.rb
 - sample/lib/length.rb
 - sample/sig/conference.rbs
 - sample/sig/deprecated.rbs
@@ -441,14 +442,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 3.1.0
+      version: 3.2.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.6.2
+rubygems_version: 4.0.18
 specification_version: 4
 summary: Gradual Typing for Ruby
 test_files: []