RubyGems - steep - Versions diffs - 1.3.0.pre.2 → 1.4.0.dev.1 - Mend

steep 1.3.0.pre.2 → 1.4.0.dev.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (61) hide show

checksums.yaml +4 -4
data/.github/workflows/ruby-windows.yml +1 -0
data/.github/workflows/ruby.yml +1 -5
data/CHANGELOG.md +6 -0
data/Gemfile +2 -0
data/Gemfile.lock +17 -14
data/Gemfile.steep +2 -2
data/Gemfile.steep.lock +5 -5
data/bin/rbs +21 -0
data/bin/setup +1 -1
data/lib/steep/ast/types/class.rb +9 -3
data/lib/steep/ast/types/factory.rb +9 -2
data/lib/steep/ast/types/instance.rb +8 -3
data/lib/steep/ast/types/intersection.rb +6 -2
data/lib/steep/ast/types/literal.rb +1 -1
data/lib/steep/ast/types/logic.rb +1 -3
data/lib/steep/ast/types/name.rb +11 -5
data/lib/steep/ast/types/proc.rb +5 -5
data/lib/steep/ast/types/record.rb +5 -1
data/lib/steep/ast/types/self.rb +8 -2
data/lib/steep/ast/types/tuple.rb +7 -5
data/lib/steep/ast/types/union.rb +10 -4
data/lib/steep/ast/types/var.rb +1 -1
data/lib/steep/index/rbs_index.rb +13 -6
data/lib/steep/interface/substitution.rb +11 -10
data/lib/steep/project/dsl.rb +12 -4
data/lib/steep/project/options.rb +3 -1
data/lib/steep/signature/validator.rb +13 -13
data/lib/steep/type_inference/logic_type_interpreter.rb +2 -2
data/lib/steep/version.rb +1 -1
data/lib/steep.rb +0 -1
data/rbs_collection.steep.lock.yaml +44 -43
data/sig/steep/ast/builtin.rbs +1 -1
data/sig/steep/ast/types/any.rbs +5 -5
data/sig/steep/ast/types/boolean.rbs +6 -6
data/sig/steep/ast/types/bot.rbs +5 -5
data/sig/steep/ast/types/class.rbs +7 -6
data/sig/steep/ast/types/helper.rbs +2 -2
data/sig/steep/ast/types/instance.rbs +6 -5
data/sig/steep/ast/types/intersection.rbs +12 -9
data/sig/steep/ast/types/literal.rbs +6 -4
data/sig/steep/ast/types/logic.rbs +7 -9
data/sig/steep/ast/types/name.rbs +7 -3
data/sig/steep/ast/types/nil.rbs +6 -6
data/sig/steep/ast/types/proc.rbs +8 -3
data/sig/steep/ast/types/record.rbs +7 -8
data/sig/steep/ast/types/self.rbs +7 -6
data/sig/steep/ast/types/top.rbs +6 -6
data/sig/steep/ast/types/tuple.rbs +5 -4
data/sig/steep/ast/types/union.rbs +8 -8
data/sig/steep/ast/types/var.rbs +16 -11
data/sig/steep/ast/types/void.rbs +5 -5
data/sig/steep/ast/types.rbs +5 -26
data/sig/steep/index/rbs_index.rbs +83 -37
data/sig/steep/interface/substitution.rbs +9 -9
data/sig/steep/project/dsl.rbs +35 -30
data/sig/steep/project/options.rbs +16 -4
data/smoke/diagnostics-rbs/test_expectations.yml +1 -1
data/steep.gemspec +3 -2
metadata +21 -7
data/lib/steep/ast/types.rb +0 -62

data/smoke/diagnostics-rbs/test_expectations.yml CHANGED Viewed

@@ -54,7 +54,7 @@
         character: 22
       end:
         line: 1
-        character: -1
+        character: 28
     severity: ERROR
     message: Cannot inherit from a module `::Kernel`
     code: RBS::InheritModuleError

data/steep.gemspec CHANGED Viewed

@@ -26,14 +26,14 @@ Gem::Specification.new do |spec|
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
   spec.require_paths = ["lib"]
-  spec.required_ruby_version = '>= 2.6.0'
+  spec.required_ruby_version = '>= 2.7.0'
   spec.add_runtime_dependency "parser", ">= 3.1"
   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", ">= 2.8.0.pre"
+  spec.add_runtime_dependency "rbs", ">= 2.8.0"
   spec.add_runtime_dependency "parallel", ">= 1.0.0"
   spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
   spec.add_runtime_dependency "securerandom", ">= 0.1"
@@ -42,4 +42,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 "pathname", ">= 0.2.1"
 end

metadata CHANGED Viewed

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 1.3.0.pre.2
+  version: 1.4.0.dev.1
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2022-11-23 00:00:00.000000000 Z
+date: 2023-01-06 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -98,14 +98,14 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 2.8.0.pre
+        version: 2.8.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: 2.8.0.pre
+        version: 2.8.0
 - !ruby/object:Gem::Dependency
   name: parallel
   requirement: !ruby/object:Gem::Requirement
@@ -224,6 +224,20 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: 3.0.9
+- !ruby/object:Gem::Dependency
+  name: pathname
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.2.1
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.2.1
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -249,6 +263,7 @@ files:
 - bin/console
 - bin/output_rebaseline.rb
 - bin/output_test.rb
+- bin/rbs
 - bin/setup
 - bin/steep
 - bin/steep-prof
@@ -261,7 +276,6 @@ files:
 - lib/steep/ast/node/type_application.rb
 - lib/steep/ast/node/type_assertion.rb
 - lib/steep/ast/type_params.rb
-- lib/steep/ast/types.rb
 - lib/steep/ast/types/any.rb
 - lib/steep/ast/types/boolean.rb
 - lib/steep/ast/types/bot.rb
@@ -761,14 +775,14 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 2.6.0
+      version: 2.7.0
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">"
     - !ruby/object:Gem::Version
       version: 1.3.1
 requirements: []
-rubygems_version: 3.3.7
+rubygems_version: 3.3.26
 signing_key:
 specification_version: 4
 summary: Gradual Typing for Ruby

data/lib/steep/ast/types.rb DELETED Viewed

@@ -1,62 +0,0 @@
-module Steep
-  module AST
-    module Types
-      class Masked
-        attr_reader :location
-        attr_reader :type
-        attr_reader :mask
-        def initialize(type:, mask:, location:)
-          @type = type
-          @mask = mask
-          @location = location
-        end
-        def ==(other)
-          other.is_a?(Masked) &&
-            other.type == type &&
-            other.mask == mask
-        end
-        alias eql? ==
-        def hash
-          self.class.hash ^ type.hash ^ mask.hash
-        end
-        def to_json(*a)
-          { class: :masked,
-            type: type,
-            mask: mask,
-            location: location }.to_json(*a)
-        end
-        def to_s(level = 0)
-          "masked(#{type}|#{mask})"
-        end
-        def free_variables
-          @fvs ||= Set.new.tap do |set|
-            set.merge(type.free_variables)
-            set.merge(mask.free_variables)
-          end
-        end
-        def each_type(&block)
-          if block_given?
-            yield type
-            yield mask
-          else
-            enum_for :each_type
-          end
-        end
-        def sub(s)
-          self.class.new(type: type.sub(s),
-                         mask: mask.sub(s),
-                         location: location)
-        end
-      end
-    end
-  end
-end