steep 1.6.0 → 1.7.0.dev.2

data/smoke/regression/issue_372.rb

@@ -1,8 +0,0 @@
-class Issue372
-  def f(&block)
-  end
-
-  def g(&block)
-    f(&block)
-  end
-end

data/smoke/regression/issue_372.rbs

@@ -1,4 +0,0 @@
-class Issue372
-  def f: () ?{ () -> void } -> void
-  def g: () ?{ () -> void } -> void
-end

data/smoke/regression/lambda.rb

@@ -1,3 +0,0 @@
-module Mod
-  ->(){}
-end

data/smoke/regression/masgn.rb

@@ -1,4 +0,0 @@
-* = [1,2,3]
-*, a = [1,2,3]
-
-p a

data/smoke/regression/poly_new.rb

@@ -1,2 +0,0 @@
-# @type var a: PolyNew[String]
-a = PolyNew.new(a: "")

data/smoke/regression/poly_new.rbs

@@ -1,4 +0,0 @@
-class PolyNew[A]
-  def initialize: (a: A) -> void
-  def foo: () -> A
-end

data/smoke/regression/range.rb

@@ -1,5 +0,0 @@
-# @type var x: Range[String]
-x = "foo".."bar"
-
-# @type var y: Range[String | Integer]
-y = x

data/smoke/regression/set_divide.rb

@@ -1,12 +0,0 @@
-d = Set["1","2","3"]
-d.ffffffff
-
-d.divide do |x, y|
-  x.ggggg
-
-  y.ggggg
-end
-
-d.divide do |x|
-  x.ggggg
-end

data/smoke/regression/test_expectations.yml

@@ -1,120 +0,0 @@
----
-- file: array.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 9
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `Foo`'
-    code: Ruby::UnknownConstant
-- file: empty_yield.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 4
-      end:
-        line: 3
-        character: 9
-    severity: ERROR
-    message: More positional arguments are required
-    code: Ruby::InsufficientPositionalArguments
-- file: hash.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 6
-      end:
-        line: 1
-        character: 9
-    severity: ERROR
-    message: 'Cannot find the declaration of class: `Foo`'
-    code: Ruby::UnknownConstant
-- file: hello world.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 2
-      end:
-        line: 1
-        character: 5
-    severity: ERROR
-    message: Type `::Integer` does not have method `foo`
-    code: Ruby::NoMethod
-- file: issue_332.rb
-  diagnostics:
-  - range:
-      start:
-        line: 7
-        character: 8
-      end:
-        line: 7
-        character: 20
-    severity: ERROR
-    message: |-
-      Cannot find compatible overloading of method `-` of type `(::Object & ::Issue332::_TimeDurationExtensions & ::Issue332::TimeDurationExtensions)`
-      Method types:
-        def -: (::Issue332::Duration) -> ::Time
-             | (::Numeric) -> ::Time
-             | (::Time) -> ::Float
-    code: Ruby::UnresolvedOverloading
-- file: lambda.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 7
-      end:
-        line: 1
-        character: 10
-    severity: ERROR
-    message: 'Cannot find the declaration of module: `Mod`'
-    code: Ruby::UnknownConstant
-- file: set_divide.rb
-  diagnostics:
-  - range:
-      start:
-        line: 2
-        character: 2
-      end:
-        line: 2
-        character: 10
-    severity: ERROR
-    message: Type `::Set[::String]` does not have method `ffffffff`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 5
-        character: 4
-      end:
-        line: 5
-        character: 9
-    severity: ERROR
-    message: Type `::String` does not have method `ggggg`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 7
-        character: 4
-      end:
-        line: 7
-        character: 9
-    severity: ERROR
-    message: Type `::String` does not have method `ggggg`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 11
-        character: 4
-      end:
-        line: 11
-        character: 9
-    severity: ERROR
-    message: Type `::String` does not have method `ggggg`
-    code: Ruby::NoMethod

data/smoke/regression/thread.rb

@@ -1,7 +0,0 @@
-Thread.new do
-  Thread.stop
-end
-
-
-Thread.start do
-end

data/smoke/rescue/Steepfile

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

data/smoke/rescue/a.rb

@@ -1,48 +0,0 @@
-# @type var a: Integer
-
-a = begin
-      'foo'
-    rescue
-      1
-    end
-
-# @type var b: Integer
-
-b = 'foo' rescue 1
-
-# @type var c: Integer
-
-c = begin
-      'foo'
-    rescue RuntimeError
-      :sym
-    rescue StandardError
-      1
-    end
-
-# @type var e: Integer
-
-e = begin
-      'foo'
-    rescue RuntimeError
-      :sym
-    rescue StandardError
-      1
-    else
-      [1]
-    end
-
-# @type method foo: (String) -> String
-
-def foo(a)
-  10
-rescue
-  'foo'
-end
-
-# when empty
-begin
-rescue
-else
-ensure
-end

data/smoke/rescue/test_expectations.yml

@@ -1,79 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 3
-        character: 0
-      end:
-        line: 7
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
-        (::String | ::Integer) <: ::Integer
-          ::String <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 11
-        character: 0
-      end:
-        line: 11
-        character: 18
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::String | ::Integer)` to a variable of type `::Integer`
-        (::String | ::Integer) <: ::Integer
-          ::String <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 15
-        character: 0
-      end:
-        line: 21
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::String | ::Symbol | ::Integer)` to a variable of type `::Integer`
-        (::String | ::Symbol | ::Integer) <: ::Integer
-          ::String <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 25
-        character: 0
-      end:
-        line: 33
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `(::Array[::Integer] | ::Symbol | ::Integer)` to a variable of type `::Integer`
-        (::Array[::Integer] | ::Symbol | ::Integer) <: ::Integer
-          ::Array[::Integer] <: ::Integer
-            ::Object <: ::Integer
-              ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 37
-        character: 4
-      end:
-        line: 37
-        character: 7
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `(::Integer | ::String)` because declared as type `::String`
-        (::Integer | ::String) <: ::String
-          ::Integer <: ::String
-            ::Numeric <: ::String
-              ::Object <: ::String
-                ::BasicObject <: ::String
-    code: Ruby::MethodBodyTypeMismatch

data/smoke/self/Steepfile

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

data/smoke/self/a.rb

@@ -1,21 +0,0 @@
-def foo
-  # @type self: A
-
-  self.bar()
-
-  tap do
-    # @type self: A
-
-    bar
-  end
-end
-
-def bar
-  # @type self: Object
-
-  baz
-
-  tap do
-    baz
-  end
-end

data/smoke/self/a.rbs

@@ -1,4 +0,0 @@
-class A
-  def foo: -> untyped
-  def bar: -> untyped
-end

data/smoke/self/test_expectations.yml

@@ -1,23 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 16
-        character: 2
-      end:
-        line: 16
-        character: 5
-    severity: ERROR
-    message: Type `::Object` does not have method `baz`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 19
-        character: 4
-      end:
-        line: 19
-        character: 7
-    severity: ERROR
-    message: Type `::Object` does not have method `baz`
-    code: Ruby::NoMethod

data/smoke/skip/Steepfile

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

data/smoke/skip/skip.rb

@@ -1,13 +0,0 @@
-__skip__ = begin
-  self.no_such_method
-end
-
-# @type var foo: String
-
-foo = _ = begin
-  self.no_such_method
-end
-
-foo = __any__ = begin
-  self.no_such_method
-end

data/smoke/skip/test_expectations.yml

@@ -1,23 +0,0 @@
----
-- file: skip.rb
-  diagnostics:
-  - range:
-      start:
-        line: 8
-        character: 7
-      end:
-        line: 8
-        character: 21
-    severity: ERROR
-    message: Type `::Object` does not have method `no_such_method`
-    code: Ruby::NoMethod
-  - range:
-      start:
-        line: 12
-        character: 7
-      end:
-        line: 12
-        character: 21
-    severity: ERROR
-    message: Type `::Object` does not have method `no_such_method`
-    code: Ruby::NoMethod

data/smoke/stdout/Steepfile

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

data/smoke/stdout/a.rb

@@ -1,8 +0,0 @@
-class A
-  def write_to(io:)
-    io.puts "Hello World"
-  end
-end
-
-A.new.write_to(io: STDOUT)
-A.new.write_to(io: StringIO.new)

data/smoke/stdout/a.rbs

@@ -1,7 +0,0 @@
-interface _Puts
-  def puts: (*untyped) -> void
-end
-
-class A
-  def write_to: (io: _Puts) -> void
-end

data/smoke/stdout/test_expectations.yml

@@ -1 +0,0 @@
---- []

data/smoke/super/Steepfile

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

data/smoke/super/a.rb

@@ -1,30 +0,0 @@
-class A
-  def foo(x)
-    # @type self: A
-
-    # @type var a: Integer
-    a = super(x)
-    a = super
-
-    # @type var b: Object
-    b = super(x)
-
-    # @type var c: Integer
-    c = foo(x)
-  end
-
-  def bar()
-    # @type self: A
-
-    super()
-    super
-  end
-
-  def baz
-    # @type self: A
-
-    super()
-
-    super
-  end
-end

data/smoke/super/a.rbs

@@ -1,10 +0,0 @@
-class A
-  def foo: (untyped) -> Integer
-  include M
-
-  def baz: () -> untyped
-end
-
-module M
-  def foo: (untyped) -> Object
-end

data/smoke/super/test_expectations.yml

@@ -1,69 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 6
-        character: 4
-      end:
-        line: 6
-        character: 16
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Object` to a variable of type `::Integer`
-        ::Object <: ::Integer
-          ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 7
-        character: 4
-      end:
-        line: 7
-        character: 13
-    severity: ERROR
-    message: |-
-      Cannot assign a value of type `::Object` to a variable of type `::Integer`
-        ::Object <: ::Integer
-          ::BasicObject <: ::Integer
-    code: Ruby::IncompatibleAssignment
-  - range:
-      start:
-        line: 19
-        character: 4
-      end:
-        line: 19
-        character: 11
-    severity: ERROR
-    message: Cannot detect the type of the expression
-    code: Ruby::FallbackAny
-  - range:
-      start:
-        line: 20
-        character: 4
-      end:
-        line: 20
-        character: 9
-    severity: ERROR
-    message: Cannot detect the type of the expression
-    code: Ruby::FallbackAny
-  - range:
-      start:
-        line: 26
-        character: 4
-      end:
-        line: 26
-        character: 11
-    severity: ERROR
-    message: No superclass method `baz` defined
-    code: Ruby::UnexpectedSuper
-  - range:
-      start:
-        line: 28
-        character: 4
-      end:
-        line: 28
-        character: 9
-    severity: ERROR
-    message: No superclass method `baz` defined
-    code: Ruby::UnexpectedSuper

data/smoke/toplevel/Steepfile

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

data/smoke/toplevel/a.rb

@@ -1,3 +0,0 @@
-def fizz_buzz(n)
-  nil
-end

data/smoke/toplevel/a.rbs

@@ -1,3 +0,0 @@
-class Object
-  def fizz_buzz: (Integer) -> String
-end

data/smoke/toplevel/test_expectations.yml

@@ -1,15 +0,0 @@
----
-- file: a.rb
-  diagnostics:
-  - range:
-      start:
-        line: 1
-        character: 4
-      end:
-        line: 1
-        character: 13
-    severity: ERROR
-    message: |-
-      Cannot allow method body have type `nil` because declared as type `::String`
-        nil <: ::String
-    code: Ruby::MethodBodyTypeMismatch

data/smoke/tsort/Steepfile

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

data/smoke/tsort/a.rb

@@ -1,12 +0,0 @@
-require "tsort"
-
-# @type var g: Hash[Integer, Array[Integer]]
-g = {1=>[2, 3], 2=>[4], 3=>[2, 4], 4=>[]}
-
-# @type var each_node: ^() { (Integer) -> void } -> void
-each_node = -> (&b) { g.each_key(&b) }
-# @type var each_child: ^(Integer) { (Integer) -> void } -> void
-each_child = -> (n, &b) { g[n].each(&b) }
-
-# @type var xs: Array[Integer]
-xs = TSort.tsort(each_node, each_child)

data/smoke/tsort/test_expectations.yml

@@ -1 +0,0 @@
---- []

data/smoke/type_case/Steepfile

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

data/smoke/type_case/a.rb

@@ -1,24 +0,0 @@
-# @type var x: Integer | String | Symbol
-
-x = (_ = nil)
-
-case x
-when Integer, String
-  x.foobar()
-end
-
-case x == (_ = 1)
-when Integer
-  x.foobar
-end
-
-case x
-when 1
-  x.foobar
-end
-
-case x
-when String
-  # @type var x: Integer
-  x + 1
-end