steep 1.4.0.dev.2 → 1.4.0.dev.4

data/sig/shims/language-server_protocol.rbs

@@ -16,5 +16,282 @@ module LanguageServer
         end
       end
     end
+
+    module Constant
+      module DiagnosticSeverity
+        ERROR: String
+
+        WARNING: String
+
+        INFORMATION: String
+
+        HINT: String
+      end
+
+      module CompletionItemKind
+        type t = Integer
+
+        TEXT: Integer
+        METHOD: Integer
+        FUNCTION: Integer
+        CONSTRUCTOR: Integer
+        FIELD: Integer
+        VARIABLE: Integer
+        CLASS: Integer
+        INTERFACE: Integer
+        MODULE: Integer
+        PROPERTY: Integer
+        UNIT: Integer
+        VALUE: Integer
+        ENUM: Integer
+        KEYWORD: Integer
+        SNIPPET: Integer
+        COLOR: Integer
+        FILE: Integer
+        REFERENCE: Integer
+        FOLDER: Integer
+        ENUMMEMBER: Integer
+        CONSTANT: Integer
+        STRUCT: Integer
+        EVENT: Integer
+        OPERATOR: Integer
+        TYPEPARAMETER: Integer
+      end
+
+      module CompletionItemTag
+        type t = Integer
+
+        Deprecated: Integer
+      end
+
+      module InsertTextFormat
+        type t = Integer
+
+        PLAIN_TEXT: Integer
+
+        SNIPPET: Integer
+      end
+
+      module InsertTextMode
+        type t = Integer
+
+        AS_IS: Integer
+
+        ADJUST_INDENTATION: Integer
+      end
+
+      module MarkupKind
+        type t = "plaintext" | "markdown"
+
+        PLAINTEXT: "plaintext"
+
+        MARKDOWN: "markdown"
+      end
+    end
+
+    module Interface
+      interface _Base
+        def attributes: () -> Hash[Symbol, untyped]
+
+        alias to_hash attributes
+
+        def to_json: () -> String
+      end
+
+      class Position
+        include _Base
+
+        # 0-origin line number
+        attr_reader line: Integer
+
+        # 0-origin character position (== cursor position)
+        attr_reader character: Integer
+
+        def initialize: (line: Integer, character: Integer) -> void
+                      | (Hash[Symbol, untyped]) -> void
+      end
+
+      class Range
+        include _Base
+
+        attr_reader start: Position
+
+        attr_reader end: Position
+
+        def initialize: (start: Position, end: Position) -> void
+                      | (Hash[Symbol, untyped]) -> void
+      end
+
+      class MarkupContent
+        include _Base
+
+        attr_reader kind: Constant::MarkupKind::t
+
+        attr_reader value: String
+
+        def initialize: (kind: Constant::MarkupKind::t, value: String) -> void
+      end
+
+      class TextEdit
+        include _Base
+
+        attr_reader range: Range
+
+        attr_reader new_text: String
+
+        def initialize: (range: Range, new_text: String) -> void
+      end
+
+      class InsertReplaceEdit
+        include _Base
+
+        attr_reader new_text: String
+
+        attr_reader insert: Range
+
+        attr_reader replace: Range
+
+        def initialize: (new_text: String, insert: Range, replace: Range) -> void
+      end
+
+      class Command
+        include _Base
+
+        attr_reader title: String
+
+        attr_reader command: String
+
+        attr_reader arguments: Array[untyped]?
+
+        def initialize: (title: String, command: String, ?arguments: Array[untyped]?) -> void
+      end
+
+      class Hover
+        include _Base
+
+        attr_reader contents: MarkupContent
+
+        attr_reader range: Range
+
+        def initialize: (contents: MarkupContent, range: Range) -> void
+      end
+
+      class CompletionList
+        include _Base
+
+        attr_reader is_incomplete: bool
+
+        attr_reader items: Array[CompletionItem]
+
+        def initialize: (items: Array[CompletionItem], is_incomplete: bool) -> void
+      end
+
+      class CompletionItem
+        include _Base
+
+        attr_reader label: String
+
+        attr_reader label_details: CompletionItemLabelDetails?
+
+        attr_reader kind: Constant::CompletionItemKind::t?
+
+        attr_reader tags: Array[Constant::CompletionItemTag::t]?
+
+        attr_reader detail: String?
+
+        attr_reader documentation: MarkupContent?
+
+        attr_reader preselect: bool?
+
+        attr_reader sort_text: String?
+
+        attr_reader filter_text: String?
+
+        attr_reader insert_text: String?
+
+        attr_reader insert_text_format: Constant::InsertTextFormat::t?
+
+        attr_reader insert_text_mode: Constant::InsertTextMode::t?
+
+        attr_reader text_edit: TextEdit | InsertReplaceEdit | nil
+
+        attr_reader text_edit_text: String?
+
+        attr_reader additional_text_edits: Array[TextEdit]?
+
+        attr_reader commit_characters: Array[String]?
+
+        attr_reader command: Command?
+
+        attr_reader data: untyped?
+
+        def initialize:(
+          label: String,
+          ?label_details: CompletionItemLabelDetails?,
+          ?kind: Constant::CompletionItemKind::t?,
+          ?tags: Array[Constant::CompletionItemTag::t]?,
+          ?detail: String?,
+          ?documentation: MarkupContent?,
+          ?preselect: bool?,
+          ?sort_text: String?,
+          ?filter_text: String?,
+          ?insert_text: String?,
+          ?insert_text_format: Constant::InsertTextFormat::t?,
+          ?insert_text_mode: Constant::InsertTextMode::t?,
+          ?text_edit: TextEdit | InsertReplaceEdit | nil,
+          ?text_edit_text: String?,
+          ?additional_text_edits: Array[TextEdit]?,
+          ?commit_characters: Array[String]?,
+          ?command: Command?,
+          ?data: untyped?
+        ) -> void
+      end
+
+      class CompletionItemLabelDetails
+        include _Base
+
+        attr_reader detail: String?
+
+        attr_reader description: String?
+
+        def initialize: (?detail: String?, ?description: String?) -> void
+      end
+
+      class SignatureInformation
+        include _Base
+
+        attr_reader label: String
+
+        attr_reader documentation: MarkupContent?
+
+        attr_reader parameters: Array[ParameterInformation]?
+
+        attr_reader active_parameter: Integer?
+
+        def initialize: (label: String, ?documentation: MarkupContent?, ?parameters: Array[ParameterInformation]?, ?active_parameter: Integer?) -> void
+      end
+
+      class ParameterInformation
+        include _Base
+
+        attr_reader label: String | [Integer, Integer]
+
+        attr_reader documentation: MarkupContent?
+
+        def initialize: (label: String | [Integer, Integer], ?documentation: MarkupContent) -> void
+      end
+
+      class SignatureHelp
+        include _Base
+
+        attr_reader signatures: Array[SignatureInformation]
+
+        attr_reader active_signature: Integer?
+
+        attr_reader active_parameter: Integer?
+
+        def initialize: (signatures: Array[SignatureInformation], ?active_signature: Integer?, ?active_parameter: Integer?) -> void
+      end
+    end
   end
 end

data/sig/shims/parser/nodes.rbs

@@ -0,0 +1,37 @@
+module Parser
+  module AST
+    interface _BlockNode
+      def type: () -> :block
+
+      %a{pure} def loc: () -> (Source::Map & _BlockLocation)
+    end
+
+    interface _BlockLocation
+      %a{pure} def end: () -> Source::Range
+    end
+
+    interface _DefNode
+      def type: () -> :def
+
+      def children: () -> [Symbol, Node, Node?]
+
+      %a{pure} def loc: () -> (Source::Map & _DefLocation)
+    end
+
+    interface _DefLocation
+      %a{pure} def end: () -> Source::Range?
+    end
+
+    interface _CaseNode
+      def type: () -> :case
+
+      %a{pure} def loc: () -> (Source::Map & _CaseLocation)
+    end
+
+    interface _CaseLocation
+      %a{pure} def else: () -> Source::Range?
+
+      %a{pure} def end: () -> Source::Range
+    end
+  end
+end

data/sig/shims/parser.rbs

@@ -36,10 +36,14 @@ module Parser
       attr_accessor self.emit_lambda: bool
       attr_accessor self.emit_procarg0: bool
       attr_accessor self.emit_kwargs: bool
+      attr_accessor self.emit_forward_arg: bool
 
       def string_value: (untyped) -> untyped
 
       def value: (untyped) -> untyped
     end
   end
+
+  class SyntaxError < StandardError
+  end
 end

data/sig/shims/string.rbs

@@ -0,0 +1,4 @@
+class String
+  def start_with?: (Regexp) -> bool
+                 | ...
+end

data/sig/steep/ast/types/factory.rbs

@@ -1,3 +1,5 @@
+use RBS::TypeName, RBS::Resolver::TypeNameResolver
+
 module Steep
   module AST
     module Types
@@ -10,13 +12,13 @@ module Steep
 
         attr_reader type_interface_cache: untyped
 
-        @type_name_resolver: RBS::Resolver::TypeNameResolver?
+        @type_name_resolver: TypeNameResolver?
 
         def inspect: () -> String
 
         def initialize: (builder: RBS::DefinitionBuilder) -> void
 
-        def type_name_resolver: () -> RBS::Resolver::TypeNameResolver
+        def type_name_resolver: () -> TypeNameResolver
 
         def type: (RBS::Types::t `type`) -> t
 
@@ -40,7 +42,7 @@ module Steep
 
         def method_type_1: (Interface::MethodType method_type) -> RBS::MethodType
 
-        def unfold: (RBS::TypeName type_name, Array[t] args) -> t
+        def unfold: (TypeName type_name, Array[t] args) -> t
 
         # Unfold type alias one step, or returns itself
         #
@@ -51,7 +53,7 @@ module Steep
         # * Unions and intersections are expanded
         # * Returns `nil` if it is recursive
         #
-        def deep_expand_alias: (t `type`, ?recursive: Set[RBS::TypeName]) -> t?
+        def deep_expand_alias: (t `type`, ?recursive: Set[TypeName]) -> t?
 
         # Convert union types to array of types
         #
@@ -59,17 +61,17 @@ module Steep
 
         def unwrap_optional: (Types::t `type`) -> [Types::t, Types::t]
 
-        def module_name?: (RBS::TypeName type_name) -> bool
+        def module_name?: (TypeName type_name) -> bool
 
-        def class_name?: (RBS::TypeName type_name) -> bool
+        def class_name?: (TypeName type_name) -> bool
 
         def env: () -> RBS::Environment
 
         def absolute_type: (t `type`, context: RBS::Resolver::context) -> t
 
-        def absolute_type_name: (RBS::TypeName type_name, context: RBS::Resolver::context) -> RBS::TypeName?
+        def absolute_type_name: (TypeName type_name, context: RBS::Resolver::context) -> TypeName?
 
-        def instance_type: (RBS::TypeName type_name, ?args: Array[t]?, ?location: untyped?) -> t
+        def instance_type: (TypeName type_name, ?args: Array[t]?, ?location: untyped?) -> t
 
         def try_singleton_type: (t) -> t?
 

data/sig/steep/diagnostic/lsp_formatter.rbs

@@ -1,7 +1,7 @@
 module Steep
   module Diagnostic
     class LSPFormatter
-      LSP: singleton(LanguageServer::Protocol)
+      module LSP = LanguageServer::Protocol
 
       type config = Hash[singleton(Diagnostic::Ruby::Base) | singleton(Diagnostic::Signature::Base), severity?]
 

data/sig/steep/diagnostic/ruby.rbs

@@ -24,9 +24,15 @@ module Steep
       end
 
       module ResultPrinter : _DiagnosticWithResult
-        def relation_message: (untyped relation) -> untyped
+        def relation_message: (Subtyping::Relation[untyped] relation) -> String?
 
-        def detail_lines: () -> untyped
+        def detail_lines: () -> String?
+      end
+
+      module ResultPrinter2 : _DiagnosticWithResult
+        def result_line: (Subtyping::Result::t result) -> String?
+
+        def detail_lines: () -> String?
       end
 
       class IncompatibleAssignment < Base
@@ -524,6 +530,36 @@ module Steep
         def header_line: () -> String
       end
 
+      # Argument forwarding `...` cannot be done safely, because of
+      #
+      # 1. The arguments are incompatible, or
+      # 2. The blocks are incompatible
+      #
+      class IncompatibleArgumentForwarding < Base
+        attr_reader method_name: Symbol
+
+        attr_reader params_pair: [Interface::Function::Params, Interface::Function::Params]?
+
+        attr_reader block_pair: [Interface::Block?, Interface::Block?]?
+
+        attr_reader result: Subtyping::Result::Base
+
+        include ResultPrinter2
+
+        # One of `params_pair:` or `block_pair:` is specified where the first object is of the source method (`#foo`) and the second value is of the target method (`#bar`)
+        #
+        # ```ruby
+        # def foo(...)
+        #   bar(...)
+        # end
+        # ```
+        #
+        def initialize: (node: Parser::AST::Node, method_name: Symbol, params_pair: [Interface::Function::Params, Interface::Function::Params], result: Subtyping::Result::Base) -> void
+                      | (node: Parser::AST::Node, method_name: Symbol, block_pair: [Interface::Block?, Interface::Block?], result: Subtyping::Result::Base) -> void
+
+        def header_line: () -> String
+      end
+
       ALL: Array[singleton(Base)]
 
       type template = Hash[singleton(Base), LSPFormatter::severity]

data/sig/steep/drivers/check.rbs

@@ -1,7 +1,7 @@
 module Steep
   module Drivers
     class Check
-      LSP: untyped
+      module LSP = LanguageServer::Protocol
 
       attr_reader stdout: untyped
 

data/sig/steep/drivers/checkfile.rbs

@@ -1,7 +1,7 @@
 module Steep
   module Drivers
     class Checkfile
-      LSP: singleton(LanguageServer::Protocol)
+      module LSP = LanguageServer::Protocol
 
       attr_reader stdout: IO
 

data/sig/steep/drivers/diagnostic_printer.rbs

@@ -1,7 +1,7 @@
 module Steep
   module Drivers
     class DiagnosticPrinter
-      LSP: untyped
+      module LSP = LanguageServer::Protocol
 
       attr_reader stdout: untyped
 

data/sig/steep/drivers/watch.rbs

@@ -15,7 +15,7 @@ module Steep
 
       include Utils::DriverHelper
 
-      LSP: singleton(LanguageServer::Protocol)
+      module LSP = LanguageServer::Protocol
 
       def initialize: (stdout: IO, stderr: IO) -> void
 

data/sig/steep/index/signature_symbol_provider.rbs

@@ -1,7 +1,7 @@
 module Steep
   module Index
     class SignatureSymbolProvider
-      LSP: untyped
+      module LSP = LanguageServer::Protocol
 
       SymbolInformation: untyped
 

data/sig/steep/interface/block.rbs

@@ -32,6 +32,8 @@ module Steep
       def map_type: () { (AST::Types::t) -> AST::Types::t } -> Block
 
       def +: (Block other) -> Block
+
+      def to_proc_type: () -> AST::Types::t
     end
   end
 end

data/sig/steep/interface/builder.rbs

@@ -1,3 +1,5 @@
+use RBS::TypeName
+
 module Steep
   module Interface
     class Builder
@@ -85,11 +87,11 @@ module Steep
       attr_reader cache: Hash[cache_key, Shape?]
 
       # No type application (if generic), no self-instance-module resolution
-      attr_reader raw_instance_object_shape_cache: Hash[[RBS::TypeName, bool], Shape]
+      attr_reader raw_instance_object_shape_cache: Hash[[TypeName, bool], Shape]
 
-      attr_reader raw_singleton_object_shape_cache: Hash[[RBS::TypeName, bool], Shape]
+      attr_reader raw_singleton_object_shape_cache: Hash[[TypeName, bool], Shape]
 
-      attr_reader raw_interface_object_shape_cache: Hash[[RBS::TypeName, bool], Shape]
+      attr_reader raw_interface_object_shape_cache: Hash[[TypeName, bool], Shape]
 
       def initialize: (AST::Types::Factory) -> void
 

data/sig/steep/interface/method_type.rbs

@@ -1,3 +1,5 @@
+use Steep::TypeInference::MethodCall::MethodDecl
+
 module Steep
   module Interface
     class MethodType
@@ -7,11 +9,11 @@ module Steep
 
       attr_reader block: Block?
 
-      attr_reader method_decls: Set[TypeInference::MethodCall::MethodDecl]
+      attr_reader method_decls: Set[MethodDecl]
 
       @fvs: Set[Symbol]
 
-      def initialize: (type_params: Array[TypeParam], type: Function, block: Block?, method_decls: Set[TypeInference::MethodCall::MethodDecl]) -> void
+      def initialize: (type_params: Array[TypeParam], type: Function, block: Block?, method_decls: Set[MethodDecl]) -> void
 
       def ==: (untyped other) -> bool
 
@@ -28,7 +30,7 @@ module Steep
 
       def instantiate: (Substitution s) -> MethodType
 
-      def with: (?type_params: Array[TypeParam], ?type: Function, ?block: Block?, ?method_decls: Set[TypeInference::MethodCall::MethodDecl]) -> MethodType
+      def with: (?type_params: Array[TypeParam], ?type: Function, ?block: Block?, ?method_decls: Set[MethodDecl]) -> MethodType
 
       def to_s: () -> ::String
 

data/sig/steep/method_name.rbs

@@ -6,6 +6,8 @@ module Steep
     attr_reader method_name: Symbol
 
     def initialize: (type_name: RBS::TypeName, method_name: Symbol) -> void
+
+    def relative: () -> InstanceMethodName
   end
 
   class SingletonMethodName
@@ -13,6 +15,8 @@ module Steep
     attr_reader method_name: Symbol
 
     def initialize: (type_name: RBS::TypeName, method_name: Symbol) -> void
+
+    def relative: () -> SingletonMethodName
   end
 
   class ::Object
@@ -20,7 +24,7 @@ module Steep
     #
     # * `ClassName#method_name` syntax returns an `InstanceMethodName` object
     # * `ClassName.method_name` syntax returns a `SingletonMethodName` object
-    # 
+    #
     def MethodName: (String string) -> (InstanceMethodName | SingletonMethodName)
   end
 end

data/sig/steep/module_helper.rbs

@@ -1,7 +1,16 @@
 module Steep
   module ModuleHelper
+    # Translate a *const* node to a type name if possible
+    #
+    # ```ruby
+    # Foo::Bar     # => `Foo::Bar`
+    # foo::Bar     # => nil
+    # ```
+    #
     def module_name_from_node: (Parser::AST::Node? parent_node, Symbol constant_name) -> RBS::TypeName?
 
+    # Translate a *const* node to a namespace if possible
+    # 
     def namespace_from_node: (Parser::AST::Node? node) -> RBS::Namespace?
   end
 end

data/sig/steep/path_helper.rbs

@@ -6,8 +6,10 @@ module Steep
     #
     def self?.to_pathname: (String uri, ?dosish: bool) -> Pathname?
 
+    def self?.to_pathname!: (String uri, ?dosish: bool) -> Pathname
+
     # Receives a Pathname and returns a *file* URI
-    # 
+    #
     def self?.to_uri: (Pathname path, ?dosish: bool) -> URI::File
   end
 end

data/sig/steep/server/base_worker.rbs

@@ -9,7 +9,7 @@ module Steep
         def close: () -> void
       end
 
-      LSP: untyped
+      module LSP = LanguageServer::Protocol
 
       @skip_jobs_after_shutdown: bool