steep 0.23.0 → 0.29.0

data/smoke/type_case/a.rb

@@ -26,10 +26,3 @@ when String
   # @type var x: Integer
   x + 1
 end
-
-case x
-when Object
-  # !expects@+2 IncompatibleTypeCase: var_name=x, ::Object <: (::Integer | ::String | ::Symbol)
-  # !expects NoMethodError: type=::Object, method=foobar
-  x.foobar
-end

data/steep.gemspec

@@ -33,6 +33,6 @@ 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.1"
-  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.2"
-  spec.add_runtime_dependency "rbs", "~> 0.9.0"
+  spec.add_runtime_dependency "language_server-protocol", "~> 3.15.0.1"
+  spec.add_runtime_dependency "rbs", "~> 0.12.0"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.23.0
+  version: 0.29.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-08-06 00:00:00.000000000 Z
+date: 2020-09-28 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
@@ -92,28 +92,28 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 3.14.0.2
+        version: 3.15.0.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 3.14.0.2
+        version: 3.15.0.1
 - !ruby/object:Gem::Dependency
   name: rbs
   requirement: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.0
+        version: 0.12.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.0
+        version: 0.12.0
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -143,8 +143,6 @@ files:
 - lib/steep/ast/buffer.rb
 - lib/steep/ast/builtin.rb
 - lib/steep/ast/location.rb
-- lib/steep/ast/method_type.rb
-- lib/steep/ast/namespace.rb
 - lib/steep/ast/type_params.rb
 - lib/steep/ast/types.rb
 - lib/steep/ast/types/any.rb
@@ -156,6 +154,7 @@ files:
 - 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
@@ -184,7 +183,7 @@ files:
 - lib/steep/interface/method.rb
 - lib/steep/interface/method_type.rb
 - lib/steep/interface/substitution.rb
-- lib/steep/names.rb
+- lib/steep/module_helper.rb
 - lib/steep/project.rb
 - lib/steep/project/completion_provider.rb
 - lib/steep/project/dsl.rb
@@ -218,6 +217,7 @@ files:
 - lib/steep/type_inference/context_array.rb
 - lib/steep/type_inference/local_variable_type_env.rb
 - lib/steep/type_inference/logic.rb
+- lib/steep/type_inference/logic_type_interpreter.rb
 - lib/steep/type_inference/send_args.rb
 - lib/steep/type_inference/type_env.rb
 - lib/steep/typing.rb
@@ -374,7 +374,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.0.3
+rubygems_version: 3.1.2
 signing_key: 
 specification_version: 4
 summary: Gradual Typing for Ruby

data/lib/steep/ast/method_type.rb

@@ -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

@@ -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

@@ -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