steep 1.6.0 → 1.7.1

data/sig/steep/typing.rbs

@@ -1,75 +0,0 @@
-use Steep::TypeInference::Context, Steep::TypeInference::ContextArray, Steep::TypeInference::MethodCall
-
-module Steep
-  class Typing
-    class UnknownNodeError < StandardError
-      attr_reader op: Symbol
-
-      attr_reader node: Parser::AST::Node
-
-      def initialize: (Symbol op, node: Parser::AST::Node) -> void
-    end
-
-    attr_reader source: Source
-
-    attr_reader errors: Array[Diagnostic::Ruby::Base]
-
-    attr_reader typing: Hash[Parser::AST::Node, AST::Types::t]
-
-    attr_reader parent: Typing?
-
-    attr_reader parent_last_update: Integer?
-
-    attr_reader last_update: Integer
-
-    attr_reader should_update: bool
-
-    attr_reader contexts: ContextArray
-
-    attr_reader root_context: Context
-
-    attr_reader method_calls: Hash[Parser::AST::Node, MethodCall::t]
-
-    attr_reader source_index: Index::SourceIndex
-
-    def initialize: (source: Source, root_context: Context, ?parent: Typing?, ?parent_last_update: Integer?, ?contexts: ContextArray?, ?source_index: Index::SourceIndex?) -> void
-
-    def add_error: (Diagnostic::Ruby::Base error) -> void
-
-    def add_typing: (Parser::AST::Node node, AST::Types::t `type`, top) -> void
-
-    def add_call: (Parser::AST::Node node, MethodCall::t call) -> void
-
-    def add_context: (Range[Integer] range, context: Context) -> void
-
-    def has_type?: (Parser::AST::Node node) -> bool
-
-    def type_of: (node: Parser::AST::Node) -> AST::Types::t
-
-    def call_of: (node: Parser::AST::Node) -> TypeInference::MethodCall::t
-
-    def add_context_for_node: (Parser::AST::Node node, context: Context) -> void
-
-    def block_range: (Parser::AST::Node node) -> Range[Integer]
-
-    def add_context_for_body: (Parser::AST::Node node, context: Context) -> void
-
-    def context_at: (line: Integer, column: Integer) -> Context
-
-    def dump: (untyped io) -> untyped
-
-    def self.summary: (untyped node) -> ::String
-
-    def new_child: [A] (Range[Integer] range) { (Typing) -> A } -> A
-                 | (Range[Integer]) -> Typing
-
-    def each_typing: () { ([Parser::AST::Node, AST::Types::t]) -> void } -> void
-
-    # Push the current changes to the `#parent` typing
-    #
-    # * Raises an error if `#parent` is `nil`
-    # * Raises an error if `#parent` is changed since `#new_child` call that instantiated `self`
-    #
-    def save!: () -> void
-  end
-end

data/sig/steep.rbs

@@ -1,36 +0,0 @@
-module Steep
-  VERSION: String
-
-  def self.logger: () -> (Logger & ActiveSupport::TaggedLogging)
-
-  def self.new_logger: (IO output, Integer? prev_level) -> (Logger & ActiveSupport::TaggedLogging)
-
-  attr_accessor self.log_output: IO
-
-  def self.measure: [A] (String message, ?level: ::Symbol) { () -> A } -> A
-
-  def self.log_error: (Exception exn, ?message: ::String) -> void
-
-  self.@logger: (Logger & ActiveSupport::TaggedLogging)?
-
-  class Sampler
-    type sample = [String, Float]
-    @samples: Array[sample]
-
-    def initialize: () -> void
-
-    def sample: [A] (String message) { () -> A } -> A
-
-    def count: () -> Integer
-
-    def total: () -> Float
-
-    def slowests: (Integer num) -> Array[sample]
-
-    def average: () -> Float
-
-    def percentile: (Integer p) -> Float
-  end
-
-  def self.measure2: [A] (String message, ?level: ::Symbol) { (Sampler) -> A } -> A
-end

data/smoke/alias/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/alias/a.rb

@@ -1,16 +0,0 @@
-# @type var x: foo
-x = ""
-
-x + 123
-
-# @type var y: bar
-y = x
-y = []
-
-# @type var z: Symbol
-case x
-when String
-  z = x
-when Integer
-  z = x
-end

data/smoke/alias/a.rbs

@@ -1,10 +0,0 @@
-type foo = String | Integer
-type bar = Array[Integer] | foo
-type baz = [String, Symbol]
-
-type name = :foo | :bar
-
-class AliasMethodArg
-  def foo: (name) -> Integer
-         | (Symbol) -> String
-end

data/smoke/alias/b.rb

@@ -1,6 +0,0 @@
-# @type var a: baz
-
-a = ["", :foo]
-
-# @type var x: Integer
-x = a[0]

data/smoke/alias/c.rb

@@ -1,8 +0,0 @@
-# @type var x: String
-
-x = AliasMethodArg.new.foo(:foo)
-
-# @type var name: name
-name = :bar
-
-x = AliasMethodArg.new.foo(name)

data/smoke/alias/test_expectations.yml

@@ -1,96 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 4
-        character: 0
-      end:
-        line: 4
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `+` of type `(::String | ::Integer)`
-      Method types:
-        def +: ((::string & ::Integer)) -> (::String | ::Integer)
-             | ((::string & ::Float)) -> (::String | ::Float)
-             | ((::string & ::Rational)) -> (::String | ::Rational)
-             | ((::string & ::Complex)) -> (::String | ::Complex)
-    code: Ruby::UnresolvedOverloading
-  - range:
-      start:
-        line: 13
-        character: 2
-      end:
-        line: 13
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Symbol`
-        ::String <: ::Symbol
-          ::Object <: ::Symbol
-            ::BasicObject <: ::Symbol
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 15
-        character: 2
-      end:
-        line: 15
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::Symbol`
-        ::Integer <: ::Symbol
-          ::Numeric <: ::Symbol
-            ::Object <: ::Symbol
-              ::BasicObject <: ::Symbol
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 3
-        character: 32
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 32
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment

data/smoke/and/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/and/a.rb

@@ -1,8 +0,0 @@
-# @type var b: String
-# @type var c: ::Integer
-
-a = ["foo"].sample
-
-b = a && a.to_str
-
-c = a && a.to_str

data/smoke/and/test_expectations.yml

@@ -1,29 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(nil | ::String)` to a variable of type `::String`
-        (nil | ::String) <: ::String
-          nil <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(nil | ::String)` to a variable of type `::Integer`
-        (nil | ::String) <: ::Integer
-          nil <: ::Integer
-    code: Ruby::IncompatibleAssignment

data/smoke/array/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/array/a.rb

@@ -1,18 +0,0 @@
-# @type var a: Array[Integer]
-
-a = []
-a[1] = 3
-
-a[2] = "foo"
-
-# @type var i: Integer
-i = a[0]
-
-# @type var s: String
-s = a[1]
-
-
-b = ["a", "b", "c"]
-
-s = b[0]
-i = b[1]

data/smoke/array/b.rb

@@ -1,12 +0,0 @@
-x = ""
-y = 1
-
-x = y
-y = x
-
-# @type var a: Array[Integer]
-# @type var b: Array[String]
-
-a = []
-b = a
-a = b

data/smoke/array/c.rb

@@ -1,6 +0,0 @@
-# @type var x: Array[String?]
-
-x = ["foo"]
-x = [nil]
-
-x = [1]

data/smoke/array/test_expectations.yml

@@ -1,103 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 12
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `[]=` of type `::Array[::Integer]`
-      Method types:
-        def []=: (::int, ::Integer) -> ::Integer
-               | (::int, ::int, ::Integer) -> ::Integer
-               | (::int, ::int, ::Array[::Integer]) -> ::Array[::Integer]
-               | (::int, ::int, nil) -> nil
-               | (::Range[(::Integer | nil)], ::Integer) -> ::Integer
-               | (::Range[(::Integer | nil)], ::Array[::Integer]) -> ::Array[::Integer]
-               | (::Range[(::Integer | nil)], nil) -> nil
-    code: Ruby::UnresolvedOverloading
-  - range:
-      start:
-        line: 12
-        character: 0
-      end:
-        line: 12
-        character: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 18
-        character: 0
-      end:
-        line: 18
-        character: 8
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 11
-        character: 0
-      end:
-        line: 11
-        character: 5
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Array[::String]`
-        ::Array[::Integer] <: ::Array[::String]
-          ::Integer <: ::String
-            ::Numeric <: ::String
-              ::Object <: ::String
-                ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 12
-        character: 0
-      end:
-        line: 12
-        character: 5
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Integer]`
-        ::Array[::String] <: ::Array[::Integer]
-          ::String <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: c.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::Integer]` to a variable of type `::Array[(::String | nil)]`
-        ::Array[::Integer] <: ::Array[(::String | nil)]
-          ::Integer <: (::String | nil)
-            ::Integer <: ::String
-              ::Numeric <: ::String
-                ::Object <: ::String
-                  ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment

data/smoke/block/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end

data/smoke/block/a.rb

@@ -1,10 +0,0 @@
-# @type var a: A
-
-a = A.new
-
-# @type var i: Integer
-# @type var s: String
-
-s = a.foo
-
-i = a.foo { nil }

data/smoke/block/a.rbs

@@ -1,6 +0,0 @@
-class A
-  def foo: { (String) -> untyped } -> String
-         | -> Integer
-
-  def bar: { (String) -> Integer } -> Symbol
-end

data/smoke/block/b.rb

@@ -1,13 +0,0 @@
-# @type var a: A
-a = (_ = nil)
-
-a.bar do |x|
-  break 3
-end
-
-# @type var s: ::String
-
-s = a.bar do |x|
-  # @type break: ::Integer
-  break 3
-end

data/smoke/block/c.rb

@@ -1,9 +0,0 @@
-class OptionalBlock
-  def optional_block
-    yield
-    30
-  end
-end
-
-OptionalBlock.new.optional_block()
-OptionalBlock.new.optional_block() { :foo }

data/smoke/block/c.rbs

@@ -1,3 +0,0 @@
-class OptionalBlock
-  def optional_block: ?{ () -> void } -> Integer
-end

data/smoke/block/d.rb

@@ -1,11 +0,0 @@
-# @type var a: ^(Integer) -> String
-a = -> (x) { x.to_s }
-
-# @type var b: Array[Float]
-
-b = [1,2,3].map(&a)
-
-b = [1,2,3].map(&:to_s)
-
-[1,2,3].map(&:no_such_method)
-[1,2,3].map(&:divmod)

data/smoke/block/e.rb

@@ -1,12 +0,0 @@
-123.instance_eval do
-  self - 1
-end
-
-b = BlockWithSelf.new.instance_exec do
-  @name = ""
-  @id = 123
-end
-
-[1, ""][0].instance_eval do
-  foo()
-end

data/smoke/block/e.rbs

@@ -1,4 +0,0 @@
-class BlockWithSelf
-  @name: String
-  @id: Integer
-end

data/smoke/block/test_expectations.yml

@@ -1,133 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Integer` to a variable of type `::String`
-        ::Integer <: ::String
-          ::Numeric <: ::String
-            ::Object <: ::String
-              ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 10
-        character: 0
-      end:
-        line: 10
-        character: 17
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::String` to a variable of type `::Integer`
-        ::String <: ::Integer
-          ::Object <: ::Integer
-            ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-- file: b.rb
-  diagnostics:
-  - range:
-      start:
-        line: 5
-        character: 2
-      end:
-        line: 5
-        character: 9
-    severity: ERROR
-    message: |-
-      Cannot break with a value of type `::Integer` because type `::Symbol` is assumed
-        ::Integer <: ::Symbol
-          ::Numeric <: ::Symbol
-            ::Object <: ::Symbol
-              ::BasicObject <: ::Symbol
-    code: Ruby::BreakTypeMismatch
-  - range:
-      start:
-        line: 10
-        character: 0
-      end:
-        line: 13
-        character: 3
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Integer | ::Symbol)` to a variable of type `::String`
-        (::Integer | ::Symbol) <: ::String
-          ::Integer <: ::String
-            ::Numeric <: ::String
-              ::Object <: ::String
-                ::BasicObject <: ::String
-    code: Ruby::IncompatibleAssignment
-- file: d.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 0
-      end:
-        line: 6
-        character: 19
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
-        ::Array[::String] <: ::Array[::Float]
-          ::String <: ::Float
-            ::Object <: ::Float
-              ::BasicObject <: ::Float
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 8
-        character: 0
-      end:
-        line: 8
-        character: 23
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Array[::String]` to a variable of type `::Array[::Float]`
-        ::Array[::String] <: ::Array[::Float]
-          ::String <: ::Float
-            ::Object <: ::Float
-              ::BasicObject <: ::Float
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 10
-        character: 12
-      end:
-        line: 10
-        character: 28
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::Proc` as a block-pass-argument of type `^(::Integer) -> U(3)`
-        ::Proc <: ^(::Integer) -> U(3)
-    code: Ruby::BlockTypeMismatch
-  - range:
-      start:
-        line: 11
-        character: 12
-      end:
-        line: 11
-        character: 20
-    severity: ERROR
-    message: |-
-      Cannot pass a value of type `::Proc` as a block-pass-argument of type `^(::Integer) -> U(4)`
-        ::Proc <: ^(::Integer) -> U(4)
-    code: Ruby::BlockTypeMismatch
-- file: e.rb
-  diagnostics:
-  - range:
-      start:
-        line: 11
-        character: 2
-      end:
-        line: 11
-        character: 5
-    severity: ERROR
-    message: Type `(::Integer | ::String)` does not have method `foo`
-    code: Ruby::NoMethod

data/smoke/case/Steepfile

@@ -1,6 +0,0 @@
-target :test do
-  check "*.rb"
-  signature "*.rbs"
-
-  configure_code_diagnostics(Steep::Diagnostic::Ruby.all_error)
-end