RubyGems - steep - Versions diffs - 0.25.0 → 0.31.0 - Mend

steep 0.25.0 → 0.31.0

Files changed (71) hide show

checksums.yaml +4 -4
data/CHANGELOG.md +47 -0
data/bin/smoke_runner.rb +3 -4
data/bin/steep-prof +1 -2
data/lib/steep.rb +6 -4
data/lib/steep/annotation_parser.rb +2 -4
data/lib/steep/ast/builtin.rb +11 -21
data/lib/steep/ast/types.rb +5 -3
data/lib/steep/ast/types/any.rb +1 -3
data/lib/steep/ast/types/boolean.rb +1 -3
data/lib/steep/ast/types/bot.rb +1 -3
data/lib/steep/ast/types/class.rb +2 -2
data/lib/steep/ast/types/factory.rb +265 -90
data/lib/steep/ast/types/helper.rb +6 -0
data/lib/steep/ast/types/instance.rb +2 -2
data/lib/steep/ast/types/intersection.rb +20 -13
data/lib/steep/ast/types/literal.rb +1 -3
data/lib/steep/ast/types/logic.rb +63 -0
data/lib/steep/ast/types/name.rb +15 -67
data/lib/steep/ast/types/nil.rb +1 -3
data/lib/steep/ast/types/proc.rb +5 -2
data/lib/steep/ast/types/record.rb +9 -4
data/lib/steep/ast/types/self.rb +1 -1
data/lib/steep/ast/types/top.rb +1 -3
data/lib/steep/ast/types/tuple.rb +5 -3
data/lib/steep/ast/types/union.rb +13 -9
data/lib/steep/ast/types/var.rb +2 -2
data/lib/steep/ast/types/void.rb +1 -3
data/lib/steep/errors.rb +14 -0
data/lib/steep/interface/interface.rb +5 -62
data/lib/steep/interface/method_type.rb +394 -93
data/lib/steep/interface/substitution.rb +48 -6
data/lib/steep/module_helper.rb +25 -0
data/lib/steep/project.rb +25 -0
data/lib/steep/project/completion_provider.rb +57 -58
data/lib/steep/project/file_loader.rb +7 -2
data/lib/steep/project/hover_content.rb +92 -83
data/lib/steep/project/signature_file.rb +33 -0
data/lib/steep/project/{file.rb → source_file.rb} +24 -54
data/lib/steep/project/target.rb +31 -12
data/lib/steep/server/base_worker.rb +5 -3
data/lib/steep/server/code_worker.rb +31 -45
data/lib/steep/server/interaction_worker.rb +42 -38
data/lib/steep/server/master.rb +23 -31
data/lib/steep/server/utils.rb +46 -13
data/lib/steep/server/worker_process.rb +4 -2
data/lib/steep/signature/validator.rb +3 -3
data/lib/steep/source.rb +59 -2
data/lib/steep/subtyping/check.rb +36 -50
data/lib/steep/subtyping/constraints.rb +8 -0
data/lib/steep/type_construction.rb +388 -366
data/lib/steep/type_inference/block_params.rb +5 -0
data/lib/steep/type_inference/constant_env.rb +2 -5
data/lib/steep/type_inference/logic_type_interpreter.rb +219 -0
data/lib/steep/type_inference/type_env.rb +2 -2
data/lib/steep/version.rb +1 -1
data/smoke/alias/a.rb +1 -1
data/smoke/case/a.rb +1 -1
data/smoke/hash/d.rb +1 -1
data/smoke/if/a.rb +1 -1
data/smoke/module/a.rb +1 -1
data/smoke/rescue/a.rb +4 -13
data/smoke/toplevel/Steepfile +5 -0
data/smoke/toplevel/a.rb +4 -0
data/smoke/toplevel/a.rbs +3 -0
data/smoke/type_case/a.rb +0 -7
data/steep.gemspec +3 -3
metadata +17 -13
data/lib/steep/ast/method_type.rb +0 -126
data/lib/steep/ast/namespace.rb +0 -80
data/lib/steep/names.rb +0 -86

data/lib/steep/ast/method_type.rb DELETED

@@ -1,126 +0,0 @@
-module Steep
-  module AST
-    class MethodType
-      module Params
-        class Base
-          attr_reader :location
-          def initialize(location:)
-            @location = location
-          end
-          def update_location(location)
-            dup.instance_eval do
-              @location = location
-              self
-            end
-          end
-        end
-        class Required < Base
-          attr_reader :type
-          attr_reader :next_params
-          def initialize(location:, type:, next_params: nil)
-            super(location: location)
-            @type = type
-            @next_params = next_params
-          end
-        end
-        class Optional < Base
-          attr_reader :type
-          attr_reader :next_params
-          def initialize(location:, type:, next_params: nil)
-            super(location: location)
-            @type = type
-            @next_params = next_params
-          end
-        end
-        class Rest < Base
-          attr_reader :type
-          attr_reader :next_params
-          def initialize(location:, type:, next_params: nil)
-            super(location: location)
-            @type = type
-            @next_params = next_params
-          end
-        end
-        class RequiredKeyword < Base
-          attr_reader :name
-          attr_reader :type
-          attr_reader :next_params
-          def initialize(location:, name:, type:, next_params: nil)
-            super(location: location)
-            @name = name
-            @type = type
-            @next_params = next_params
-          end
-        end
-        class OptionalKeyword < Base
-          attr_reader :name
-          attr_reader :type
-          attr_reader :next_params
-          def initialize(location:, name:, type:, next_params: nil)
-            super(location: location)
-            @name = name
-            @type = type
-            @next_params = next_params
-          end
-        end
-        class RestKeyword < Base
-          attr_reader :type
-          def initialize(location:, type:)
-            super(location: location)
-            @type = type
-          end
-        end
-      end
-      class Block
-        attr_reader :location
-        attr_reader :params
-        attr_reader :return_type
-        attr_reader :optional
-        def initialize(location:, params:, return_type:, optional:)
-          @location = location
-          @params = params
-          @return_type = return_type
-          @optional = optional
-        end
-      end
-      attr_reader :location
-      attr_reader :type_params
-      attr_reader :params
-      attr_reader :block
-      attr_reader :return_type
-      def initialize(location:, type_params:, params:, block:, return_type:)
-        @location = location
-        @type_params = type_params
-        @params = params
-        @block = block
-        @return_type = return_type
-      end
-      class Super
-        attr_reader :location
-        def initialize(location:)
-          @location = location
-        end
-      end
-    end
-  end
-end

data/lib/steep/ast/namespace.rb DELETED

@@ -1,80 +0,0 @@
-module Steep
-  module AST
-    class Namespace
-      attr_reader :path
-      def initialize(path:, absolute:)
-        @path = path
-        @absolute = absolute
-      end
-      def self.empty
-        new(path: [], absolute: false)
-      end
-      def self.root
-        new(path: [], absolute: true)
-      end
-      def +(other)
-        if other.absolute?
-          other
-        else
-          self.class.new(path: path + other.path, absolute: absolute?)
-        end
-      end
-      def append(component)
-        self.class.new(path: path + [component], absolute: absolute?)
-      end
-      def parent
-        raise "Parent with empty namespace" if empty?
-        self.class.new(path: path.take(path.size - 1), absolute: absolute?)
-      end
-      def absolute?
-        @absolute
-      end
-      def relative?
-        !absolute?
-      end
-      def absolute!
-        self.class.new(path: path, absolute: true)
-      end
-      def empty?
-        path.empty?
-      end
-      def ==(other)
-        other.is_a?(Namespace) && other.path == path && other.absolute? == absolute?
-      end
-      alias eql? ==
-      def hash
-        self.class.hash ^ path.hash ^ absolute?.hash
-      end
-      def to_s
-        if empty?
-          absolute? ? "::" : ""
-        else
-          s = path.join("::")
-          absolute? ? "::#{s}::" : "#{s}::"
-        end
-      end
-      def self.parse(string)
-        if string.start_with?("::")
-          new(path: string.split("::").drop(1).map(&:to_sym), absolute: true)
-        else
-          new(path: string.split("::").map(&:to_sym), absolute: false)
-        end
-      end
-    end
-  end
-end

data/lib/steep/names.rb DELETED

@@ -1,86 +0,0 @@
-module Steep
-  module Names
-    class Base
-      attr_reader :namespace
-      attr_reader :name
-      attr_reader :location
-      def initialize(namespace:, name:, location: nil)
-        @namespace = namespace
-        @name = name
-        @location = location
-      end
-      def absolute?
-        namespace.absolute?
-      end
-      def relative?
-        !absolute?
-      end
-      def ==(other)
-        other.is_a?(self.class) && other.name == name && other.namespace == namespace
-      end
-      def hash
-        self.class.hash ^ name.hash ^ namespace.hash
-      end
-      alias eql? ==
-      def self.parse(string)
-        namespace = AST::Namespace.parse(string.to_s)
-        *_, name = namespace.path
-        new(namespace: namespace.parent, name: name)
-      end
-      def absolute!
-        self.class.new(namespace: namespace.absolute!,
-                       name: name)
-      end
-      def in_namespace(namespace)
-        if absolute?
-          self
-        else
-          self.class.new(namespace: namespace + self.namespace, name: name)
-        end
-      end
-      def to_s
-        "#{namespace}#{name}"
-      end
-    end
-    class Module < Base
-      def self.from_node(node)
-        case node.type
-        when :const, :casgn
-          namespace = namespace_from_node(node.children[0]) or return
-          name = node.children[1]
-          new(namespace: namespace, name: name)
-        end
-      end
-      def self.namespace_from_node(node)
-        case node&.type
-        when nil
-          AST::Namespace.empty
-        when :cbase
-          AST::Namespace.root
-        when :const
-          namespace_from_node(node.children[0])&.yield_self do |parent|
-            parent.append(node.children[1])
-          end
-        end
-      end
-    end
-    class Interface < Base
-    end
-    class Alias < Base
-    end
-  end
-end