steep-relaxed 1.9.3.3

data/sample/Steepfile

@@ -0,0 +1,22 @@
+D = Steep::Diagnostic
+
+target :lib do
+  signature "sig"
+
+  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
+  # configure_code_diagnostics do |hash|             # You can setup everything yourself
+  #   hash[D::Ruby::NoMethod] = :information
+  # end
+end
+
+# target :lib2 do
+#   check "lib/length.rb"                       # Directory name
+#   signature "sig/length.rbs"
+#   unreferenced!
+# end

data/sample/lib/conference.rb

@@ -0,0 +1,49 @@
+class Conference
+  # @dynamic title, year
+  attr_reader :title
+  attr_reader :year
+
+  def initialize(title:, year:)
+    @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
+
+class HogeHoge
+  def foo(...)
+    bar(self, ...).to_s
+  end
+end
+
+
+conference = nil #: Conference?
+

data/sample/lib/length.rb

@@ -0,0 +1,35 @@
+class LengthCalculator
+  def max0(x, y)
+    if x.size > y.size
+      x
+    else
+      y
+    end
+  end
+
+  def max1(x, y)
+    if x.size > y.size
+      x
+    else
+      y
+    end
+  end
+
+  def max2(x, y)
+    if x.size > y.size
+      x
+    else
+      y
+    end
+  end
+end
+
+calc = LengthCalculator.new()
+
+calc.max0("foo", "bar")
+calc.max1("foo", "bar")
+calc.max2("foo", "bar")
+
+calc.max0(true, false)
+calc.max1(true, false)
+calc.max2(true, false)

data/sample/sig/conference.rbs

@@ -0,0 +1,42 @@
+use Object as Foo
+
+class Conference
+  attr_reader title: String
+  attr_reader year: Integer
+
+  def initialize: (title: String, year: Integer) -> void
+end
+
+class NilClass
+  def must: () -> bot
+end
+
+class Object
+  def must: () -> self
+end
+
+# Test data
+class Konference = Conference
+
+class Allay = ::Array
+
+module Hoge = Bazzz
+
+module Bazzz = Hoge
+
+class Foo < Konference
+  class OBH = String
+
+  type a = Integer
+end
+
+type foo = [Conference, Konference]
+
+
+type b = ::Foo::OBH
+
+class HogeHoge
+  def foo: (Integer, bar: String) -> String
+
+  def bar: (Object, Integer, bar: String, ?baz: Integer) { () -> Integer } -> Integer
+end

data/sample/sig/generics.rbs

@@ -0,0 +1,15 @@
+module LocationHelper : _WithLocation
+  interface _WithLocation
+    def location_method: () -> String
+  end
+
+  def hello: () -> void
+end
+
+class StringGeneric[X < Integer, Y < Integer = String]
+  def location_method: () -> Integer
+
+  include LocationHelper
+  extend LocationHelper
+end
+

data/sample/sig/length.rbs

@@ -0,0 +1,34 @@
+# LengthCalculator shows three different method types having the same implementation.
+#
+# * It receives two objects.
+# * It calls the `#size` method of the objects, and compare the return values.
+# * It returns one of the objects which has bigger `#size` value.
+#
+class LengthCalculator
+  interface _Sized
+    def size: () -> Integer
+  end
+
+  # *Untyped* version -- all (static) type information is lost.
+  #
+  # You can pass any object, even if the object doesn't have `#size` method.
+  #
+  def max0: (untyped, untyped) -> untyped
+
+  # *Subtyping* version -- with constraints on arguments, but the return type is inaccurate.
+  #
+  # You can type check if the object has `#size` method of the expected type.
+  # However, the return type also has `_Sized` type, which drops other methods than `#size`.
+  #
+  def max1: (_Sized, _Sized) -> _Sized
+
+  # *Generics* version -- the most advanced one in Steep/RBS
+  #
+  # You can type check if the object has `#size` method of the expected type.
+  # And the return type is the one given as arguments.
+  #
+  # Note that the type system of Steep cannot ensure the given two objects have the same type.
+  # Passing `String` and `Array[String]` will infer the return type `String | Array[String]`.
+  #
+  def max2: [T < _Sized] (T, T) -> T
+end

data/steep-relaxed.gemspec

@@ -0,0 +1,56 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'steep/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = "steep-relaxed"
+  spec.version       = Steep::VERSION
+  spec.authors       = ["Soutaro Matsumoto"]
+  spec.email         = ["matsumoto@soutaro.com"]
+
+  spec.summary       = %q{Gradual Typing for Ruby}
+  spec.description   = %q{Gradual Typing for Ruby}
+  spec.homepage      = "https://github.com/rossta/steep-relaxed"
+  spec.license       = 'MIT'
+
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = "https://github.com/rossta/steep-relaxed"
+  spec.metadata["changelog_uri"] = "https://github.com/rossta/steep-relaxed/blob/master/CHANGELOG.md"
+
+  skip_dirs = %w(test spec features smoke sig gemfile_steep .github .vscode)
+  skip_files = %w(Gemfile Gemfile.lock rbs_collection.steep.yaml rbs_collection.steep.lock.yaml)
+
+  spec.files         = `git ls-files -z`.split("\x0").reject {|f|
+    skip_dirs.any? {|dir| f.start_with?(dir + File::SEPARATOR) } || skip_files.include?(f)
+  }
+
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  if false
+    # This is to let dependabot use 3.3, instead of 3.1.x.
+    # They use `required_ruby_version=` method to detect the Ruby version they use.
+    spec.required_ruby_version = ">= 3.3.0"
+  end
+
+  spec.required_ruby_version = '>= 3.1.0'
+
+  spec.add_runtime_dependency "parser", ">= 3.1"
+  spec.add_runtime_dependency "activesupport", ">= 4.2"
+  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 "concurrent-ruby", ">= 1.1.10"
+  spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
+
+  # Stdgem dependencies omitted for compatibility with legacy environments
+  # spec.add_runtime_dependency "securerandom", ">= 0.1"
+  # spec.add_runtime_dependency "json", ">= 2.1.0"
+  # spec.add_runtime_dependency "logger", ">= 1.3.0"
+  # spec.add_runtime_dependency "fileutils", ">= 1.1.0"
+  # spec.add_runtime_dependency "strscan", ">= 1.0.0"
+  # spec.add_runtime_dependency "csv", ">= 3.0.9"
+end

metadata

@@ -0,0 +1,340 @@
+--- !ruby/object:Gem::Specification
+name: steep-relaxed
+version: !ruby/object:Gem::Version
+  version: 1.9.3.3
+platform: ruby
+authors:
+- Soutaro Matsumoto
+autorequire:
+bindir: exe
+cert_chain: []
+date: 2025-02-24 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: parser
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.1'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.1'
+- !ruby/object:Gem::Dependency
+  name: activesupport
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '4.2'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '4.2'
+- !ruby/object:Gem::Dependency
+  name: rainbow
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 2.2.2
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 2.2.2
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+- !ruby/object:Gem::Dependency
+  name: listen
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+- !ruby/object:Gem::Dependency
+  name: language_server-protocol
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.15'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.15'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+- !ruby/object:Gem::Dependency
+  name: rbs
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.8'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.8'
+- !ruby/object:Gem::Dependency
+  name: concurrent-ruby
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.1.10
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.1.10
+- !ruby/object:Gem::Dependency
+  name: terminal-table
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '2'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '2'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4'
+description: Gradual Typing for Ruby
+email:
+- matsumoto@soutaro.com
+executables:
+- steep
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".gitmodules"
+- CHANGELOG.md
+- LICENSE
+- README.md
+- Rakefile
+- STDGEM_DEPENDENCIES.txt
+- Steepfile
+- bin/console
+- bin/generate-diagnostics-docs.rb
+- bin/mem_graph.rb
+- bin/mem_prof.rb
+- bin/output_rebaseline.rb
+- bin/output_test.rb
+- bin/rbs
+- bin/rbs-inline
+- bin/setup
+- bin/stackprof_test.rb
+- bin/steep
+- bin/steep-check.rb
+- bin/steep-prof
+- doc/narrowing.md
+- doc/shape.md
+- 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
+- lib/steep/ast/annotation/collection.rb
+- lib/steep/ast/builtin.rb
+- lib/steep/ast/ignore.rb
+- lib/steep/ast/node/type_application.rb
+- lib/steep/ast/node/type_assertion.rb
+- lib/steep/ast/types/any.rb
+- lib/steep/ast/types/boolean.rb
+- lib/steep/ast/types/bot.rb
+- lib/steep/ast/types/class.rb
+- lib/steep/ast/types/factory.rb
+- lib/steep/ast/types/helper.rb
+- lib/steep/ast/types/instance.rb
+- lib/steep/ast/types/intersection.rb
+- lib/steep/ast/types/literal.rb
+- lib/steep/ast/types/logic.rb
+- lib/steep/ast/types/name.rb
+- lib/steep/ast/types/nil.rb
+- lib/steep/ast/types/proc.rb
+- lib/steep/ast/types/record.rb
+- lib/steep/ast/types/self.rb
+- lib/steep/ast/types/shared_instance.rb
+- lib/steep/ast/types/top.rb
+- lib/steep/ast/types/tuple.rb
+- lib/steep/ast/types/union.rb
+- lib/steep/ast/types/var.rb
+- lib/steep/ast/types/void.rb
+- lib/steep/cli.rb
+- lib/steep/diagnostic/deprecated/else_on_exhaustive_case.rb
+- lib/steep/diagnostic/deprecated/unknown_constant_assigned.rb
+- lib/steep/diagnostic/helper.rb
+- lib/steep/diagnostic/lsp_formatter.rb
+- lib/steep/diagnostic/result_printer2.rb
+- lib/steep/diagnostic/ruby.rb
+- lib/steep/diagnostic/signature.rb
+- lib/steep/drivers/annotations.rb
+- lib/steep/drivers/check.rb
+- lib/steep/drivers/checkfile.rb
+- lib/steep/drivers/diagnostic_printer.rb
+- lib/steep/drivers/init.rb
+- lib/steep/drivers/langserver.rb
+- lib/steep/drivers/print_project.rb
+- lib/steep/drivers/stats.rb
+- lib/steep/drivers/utils/driver_helper.rb
+- lib/steep/drivers/utils/jobs_option.rb
+- lib/steep/drivers/vendor.rb
+- lib/steep/drivers/watch.rb
+- lib/steep/drivers/worker.rb
+- lib/steep/equatable.rb
+- lib/steep/expectations.rb
+- lib/steep/index/rbs_index.rb
+- lib/steep/index/signature_symbol_provider.rb
+- lib/steep/index/source_index.rb
+- lib/steep/interface/block.rb
+- lib/steep/interface/builder.rb
+- lib/steep/interface/function.rb
+- lib/steep/interface/method_type.rb
+- lib/steep/interface/shape.rb
+- lib/steep/interface/substitution.rb
+- lib/steep/interface/type_param.rb
+- lib/steep/located_value.rb
+- lib/steep/method_name.rb
+- lib/steep/module_helper.rb
+- lib/steep/node_helper.rb
+- lib/steep/path_helper.rb
+- lib/steep/project.rb
+- lib/steep/project/dsl.rb
+- lib/steep/project/group.rb
+- lib/steep/project/options.rb
+- lib/steep/project/pattern.rb
+- lib/steep/project/target.rb
+- lib/steep/rake_task.rb
+- lib/steep/range_extension.rb
+- lib/steep/server/base_worker.rb
+- lib/steep/server/change_buffer.rb
+- lib/steep/server/custom_methods.rb
+- lib/steep/server/delay_queue.rb
+- lib/steep/server/interaction_worker.rb
+- lib/steep/server/lsp_formatter.rb
+- lib/steep/server/master.rb
+- lib/steep/server/target_group_files.rb
+- lib/steep/server/type_check_controller.rb
+- lib/steep/server/type_check_worker.rb
+- lib/steep/server/work_done_progress.rb
+- lib/steep/server/worker_process.rb
+- lib/steep/services/completion_provider.rb
+- lib/steep/services/content_change.rb
+- lib/steep/services/file_loader.rb
+- lib/steep/services/goto_service.rb
+- lib/steep/services/hover_provider/rbs.rb
+- lib/steep/services/hover_provider/ruby.rb
+- lib/steep/services/hover_provider/singleton_methods.rb
+- lib/steep/services/path_assignment.rb
+- lib/steep/services/signature_help_provider.rb
+- 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
+- lib/steep/subtyping/cache.rb
+- lib/steep/subtyping/check.rb
+- lib/steep/subtyping/constraints.rb
+- lib/steep/subtyping/relation.rb
+- lib/steep/subtyping/result.rb
+- lib/steep/subtyping/variable_variance.rb
+- lib/steep/test.rb
+- lib/steep/thread_waiter.rb
+- lib/steep/type_construction.rb
+- lib/steep/type_inference/block_params.rb
+- lib/steep/type_inference/case_when.rb
+- lib/steep/type_inference/constant_env.rb
+- lib/steep/type_inference/context.rb
+- lib/steep/type_inference/logic_type_interpreter.rb
+- lib/steep/type_inference/method_call.rb
+- lib/steep/type_inference/method_params.rb
+- lib/steep/type_inference/multiple_assignment.rb
+- lib/steep/type_inference/send_args.rb
+- lib/steep/type_inference/type_env.rb
+- lib/steep/type_inference/type_env_builder.rb
+- lib/steep/typing.rb
+- lib/steep/version.rb
+- manual/annotations.md
+- manual/ignore.md
+- manual/ruby-diagnostics.md
+- sample/Steepfile
+- sample/lib/conference.rb
+- sample/lib/length.rb
+- sample/sig/conference.rbs
+- sample/sig/generics.rbs
+- sample/sig/length.rbs
+- steep-relaxed.gemspec
+homepage: https://github.com/rossta/steep-relaxed
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/rossta/steep-relaxed
+  source_code_uri: https://github.com/rossta/steep-relaxed
+  changelog_uri: https://github.com/rossta/steep-relaxed/blob/master/CHANGELOG.md
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.1.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.5.23
+signing_key:
+specification_version: 4
+summary: Gradual Typing for Ruby
+test_files: []