steep 0.39.0 → 0.40.0

data/smoke/yield/test.yaml

@@ -0,0 +1,49 @@
+---
+test:
+  a.rb:
+    diagnostics:
+    - |
+      a.rb:6:4: [error] Cannot assign a value of type `::Integer` to a variable of type `::String`
+      │   ::Integer <: ::String
+      │     ::Numeric <: ::String
+      │       ::Object <: ::String
+      │         ::BasicObject <: ::String
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └     x = yield(3)
+            ~~~~~~~~~~~~
+    - |
+      a.rb:8:10: [error] Cannot assign a value of type `::String` to an expression of type `::Integer`
+      │   ::String <: ::Integer
+      │     ::Object <: ::Integer
+      │       ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └     yield(x)
+                  ~
+    - |
+      a.rb:13:4: [error] No block given for `yield`
+      │ Diagnostic ID: Ruby::UnexpectedYield
+      │
+      └     yield 4
+            ~~~~~~~
+    - |
+      a.rb:13:4: [error] Cannot detect the type of the expression
+      │ Diagnostic ID: Ruby::FallbackAny
+      │
+      └     yield 4
+            ~~~~~~~
+  b.rb:
+    diagnostics:
+    - |
+      b.rb:4:10: [error] Cannot assign a value of type `::String` to an expression of type `::Integer`
+      │   ::String <: ::Integer
+      │     ::Object <: ::Integer
+      │       ::BasicObject <: ::Integer
+      │
+      │ Diagnostic ID: Ruby::IncompatibleAssignment
+      │
+      └     yield ""
+                  ~~

data/steep.gemspec

@@ -28,11 +28,11 @@ Gem::Specification.new do |spec|
 
   spec.required_ruby_version = '>= 2.6.0'
 
-  spec.add_runtime_dependency "parser", "~> 2.7.0"
-  spec.add_runtime_dependency "ast_utils", "~> 0.3.0"
+  spec.add_runtime_dependency "parser", ">= 2.7"
+  spec.add_runtime_dependency "ast_utils", ">= 0.4.0"
   spec.add_runtime_dependency "activesupport", ">= 5.1"
   spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
   spec.add_runtime_dependency "listen", "~> 3.0"
   spec.add_runtime_dependency "language_server-protocol", "~> 3.15.0.1"
-  spec.add_runtime_dependency "rbs", "~> 1.0.0"
+  spec.add_runtime_dependency "rbs", "~> 1.0.3"
 end

metadata

@@ -1,43 +1,43 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.39.0
+  version: 0.40.0
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-12-25 00:00:00.000000000 Z
+date: 2021-01-30 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: parser
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 2.7.0
+        version: '2.7'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 2.7.0
+        version: '2.7'
 - !ruby/object:Gem::Dependency
   name: ast_utils
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.0
+        version: 0.4.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: 0.3.0
+        version: 0.4.0
 - !ruby/object:Gem::Dependency
   name: activesupport
   requirement: !ruby/object:Gem::Requirement
@@ -106,14 +106,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.0.0
+        version: 1.0.3
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.0.0
+        version: 1.0.3
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
@@ -132,8 +132,9 @@ files:
 - Rakefile
 - Steepfile
 - bin/console
+- bin/output_rebaseline.rb
+- bin/output_test.rb
 - bin/setup
-- bin/smoke_runner.rb
 - bin/steep-prof
 - exe/steep
 - lib/steep.rb
@@ -164,12 +165,16 @@ files:
 - lib/steep/ast/types/var.rb
 - lib/steep/ast/types/void.rb
 - lib/steep/cli.rb
+- lib/steep/diagnostic/helper.rb
+- lib/steep/diagnostic/lsp_formatter.rb
+- lib/steep/diagnostic/ruby.rb
+- lib/steep/diagnostic/signature.rb
 - lib/steep/drivers/annotations.rb
 - lib/steep/drivers/check.rb
+- lib/steep/drivers/diagnostic_printer.rb
 - lib/steep/drivers/init.rb
 - lib/steep/drivers/langserver.rb
 - lib/steep/drivers/print_project.rb
-- lib/steep/drivers/signature_error_printer.rb
 - lib/steep/drivers/stats.rb
 - lib/steep/drivers/trace_printer.rb
 - lib/steep/drivers/utils/driver_helper.rb
@@ -177,7 +182,6 @@ files:
 - lib/steep/drivers/vendor.rb
 - lib/steep/drivers/watch.rb
 - lib/steep/drivers/worker.rb
-- lib/steep/errors.rb
 - lib/steep/index/rbs_index.rb
 - lib/steep/index/signature_symbol_provider.rb
 - lib/steep/index/source_index.rb
@@ -197,7 +201,9 @@ files:
 - lib/steep/project/options.rb
 - lib/steep/project/signature_file.rb
 - lib/steep/project/source_file.rb
+- lib/steep/project/stats_calculator.rb
 - lib/steep/project/target.rb
+- lib/steep/range_extension.rb
 - lib/steep/server/base_worker.rb
 - lib/steep/server/code_worker.rb
 - lib/steep/server/interaction_worker.rb
@@ -205,7 +211,6 @@ files:
 - lib/steep/server/signature_worker.rb
 - lib/steep/server/utils.rb
 - lib/steep/server/worker_process.rb
-- lib/steep/signature/errors.rb
 - lib/steep/signature/validator.rb
 - lib/steep/source.rb
 - lib/steep/subtyping/check.rb
@@ -215,7 +220,6 @@ files:
 - lib/steep/subtyping/trace.rb
 - lib/steep/subtyping/variable_occurrence.rb
 - lib/steep/subtyping/variable_variance.rb
-- lib/steep/type_assignability.rb
 - lib/steep/type_construction.rb
 - lib/steep/type_inference/block_params.rb
 - lib/steep/type_inference/constant_env.rb
@@ -239,12 +243,15 @@ files:
 - smoke/alias/a.rbs
 - smoke/alias/b.rb
 - smoke/alias/c.rb
+- smoke/alias/test.yaml
 - smoke/and/Steepfile
 - smoke/and/a.rb
+- smoke/and/test.yaml
 - smoke/array/Steepfile
 - smoke/array/a.rb
 - smoke/array/b.rb
 - smoke/array/c.rb
+- smoke/array/test.yaml
 - smoke/block/Steepfile
 - smoke/block/a.rb
 - smoke/block/a.rbs
@@ -252,8 +259,14 @@ files:
 - smoke/block/c.rb
 - smoke/block/c.rbs
 - smoke/block/d.rb
+- smoke/block/test.yaml
+- smoke/broken/Steepfile
+- smoke/broken/broken.rb
+- smoke/broken/broken.rbs
+- smoke/broken/test.yaml
 - smoke/case/Steepfile
 - smoke/case/a.rb
+- smoke/case/test.yaml
 - smoke/class/Steepfile
 - smoke/class/a.rb
 - smoke/class/a.rbs
@@ -265,15 +278,67 @@ files:
 - smoke/class/h.rbs
 - smoke/class/i.rb
 - smoke/class/i.rbs
+- smoke/class/test.yaml
 - smoke/const/Steepfile
 - smoke/const/a.rb
+- smoke/const/b.rb
+- smoke/const/b.rbs
+- smoke/const/test.yaml
+- smoke/diagnostics-rbs-duplicated/Steepfile
+- smoke/diagnostics-rbs-duplicated/a.rbs
+- smoke/diagnostics-rbs-duplicated/test.yaml
+- smoke/diagnostics-rbs/Steepfile
+- smoke/diagnostics-rbs/duplicated-method-definition.rbs
+- smoke/diagnostics-rbs/generic-parameter-mismatch.rbs
+- smoke/diagnostics-rbs/invalid-method-overload.rbs
+- smoke/diagnostics-rbs/invalid-type-application.rbs
+- smoke/diagnostics-rbs/invalid_variance_annotation.rbs
+- smoke/diagnostics-rbs/recursive-alias.rbs
+- smoke/diagnostics-rbs/recursive-class.rbs
+- smoke/diagnostics-rbs/superclass-mismatch.rbs
+- smoke/diagnostics-rbs/test.yaml
+- smoke/diagnostics-rbs/unknown-method-alias.rbs
+- smoke/diagnostics-rbs/unknown-type-name.rbs
+- smoke/diagnostics/Steepfile
+- smoke/diagnostics/a.rbs
+- smoke/diagnostics/argument_type_mismatch.rb
+- smoke/diagnostics/block_body_type_mismatch.rb
+- smoke/diagnostics/block_type_mismatch.rb
+- smoke/diagnostics/break_type_mismatch.rb
+- smoke/diagnostics/else_on_exhaustive_case.rb
+- smoke/diagnostics/incompatible_annotation.rb
+- smoke/diagnostics/incompatible_argument.rb
+- smoke/diagnostics/incompatible_assignment.rb
+- smoke/diagnostics/method_arity_mismatch.rb
+- smoke/diagnostics/method_body_type_mismatch.rb
+- smoke/diagnostics/method_definition_missing.rb
+- smoke/diagnostics/method_return_type_annotation_mismatch.rb
+- smoke/diagnostics/missing_keyword.rb
+- smoke/diagnostics/no_method.rb
+- smoke/diagnostics/required_block_missing.rb
+- smoke/diagnostics/return_type_mismatch.rb
+- smoke/diagnostics/test.yaml
+- smoke/diagnostics/unexpected_block_given.rb
+- smoke/diagnostics/unexpected_dynamic_method.rb
+- smoke/diagnostics/unexpected_jump.rb
+- smoke/diagnostics/unexpected_jump_value.rb
+- smoke/diagnostics/unexpected_keyword.rb
+- smoke/diagnostics/unexpected_splat.rb
+- smoke/diagnostics/unexpected_yield.rb
+- smoke/diagnostics/unknown_constant_assigned.rb
+- smoke/diagnostics/unresolved_overloading.rb
+- smoke/diagnostics/unsatisfiable_constraint.rb
+- smoke/diagnostics/unsupported_syntax.rb
 - smoke/dstr/Steepfile
 - smoke/dstr/a.rb
+- smoke/dstr/test.yaml
 - smoke/ensure/Steepfile
 - smoke/ensure/a.rb
+- smoke/ensure/test.yaml
 - smoke/enumerator/Steepfile
 - smoke/enumerator/a.rb
 - smoke/enumerator/b.rb
+- smoke/enumerator/test.yaml
 - smoke/extension/Steepfile
 - smoke/extension/a.rb
 - smoke/extension/a.rbs
@@ -282,6 +347,7 @@ files:
 - smoke/extension/d.rb
 - smoke/extension/e.rb
 - smoke/extension/e.rbs
+- smoke/extension/test.yaml
 - smoke/hash/Steepfile
 - smoke/hash/a.rb
 - smoke/hash/a.rbs
@@ -291,32 +357,43 @@ files:
 - smoke/hash/e.rb
 - smoke/hash/e.rbs
 - smoke/hash/f.rb
+- smoke/hash/test.yaml
 - smoke/hello/Steepfile
 - smoke/hello/hello.rb
 - smoke/hello/hello.rbs
+- smoke/hello/test.yaml
 - smoke/if/Steepfile
 - smoke/if/a.rb
+- smoke/if/test.yaml
 - smoke/implements/Steepfile
 - smoke/implements/a.rb
 - smoke/implements/a.rbs
+- smoke/implements/test.yaml
 - smoke/initialize/Steepfile
 - smoke/initialize/a.rb
 - smoke/initialize/a.rbs
+- smoke/initialize/test.yaml
 - smoke/integer/Steepfile
 - smoke/integer/a.rb
+- smoke/integer/test.yaml
 - smoke/interface/Steepfile
 - smoke/interface/a.rb
 - smoke/interface/a.rbs
+- smoke/interface/test.yaml
 - smoke/kwbegin/Steepfile
 - smoke/kwbegin/a.rb
+- smoke/kwbegin/test.yaml
 - smoke/lambda/Steepfile
 - smoke/lambda/a.rb
+- smoke/lambda/test.yaml
 - smoke/literal/Steepfile
 - smoke/literal/a.rb
 - smoke/literal/b.rb
 - smoke/literal/literal_methods.rbs
+- smoke/literal/test.yaml
 - smoke/map/Steepfile
 - smoke/map/a.rb
+- smoke/map/test.yaml
 - smoke/method/Steepfile
 - smoke/method/a.rb
 - smoke/method/a.rbs
@@ -324,6 +401,7 @@ files:
 - smoke/method/c.rb
 - smoke/method/d.rb
 - smoke/method/d.rbs
+- smoke/method/test.yaml
 - smoke/module/Steepfile
 - smoke/module/a.rb
 - smoke/module/a.rbs
@@ -332,9 +410,11 @@ files:
 - smoke/module/d.rb
 - smoke/module/e.rb
 - smoke/module/f.rb
+- smoke/module/test.yaml
 - smoke/regexp/Steepfile
 - smoke/regexp/a.rb
 - smoke/regexp/b.rb
+- smoke/regexp/test.yaml
 - smoke/regression/Steepfile
 - smoke/regression/array.rb
 - smoke/regression/fun.rb
@@ -344,28 +424,39 @@ files:
 - smoke/regression/poly_new.rbs
 - smoke/regression/range.rb
 - smoke/regression/set_divide.rb
+- smoke/regression/test.yaml
 - smoke/rescue/Steepfile
 - smoke/rescue/a.rb
+- smoke/rescue/test.yaml
 - smoke/self/Steepfile
 - smoke/self/a.rb
 - smoke/self/a.rbs
+- smoke/self/test.yaml
 - smoke/skip/Steepfile
 - smoke/skip/skip.rb
+- smoke/skip/test.yaml
 - smoke/stdout/Steepfile
 - smoke/stdout/a.rb
 - smoke/stdout/a.rbs
+- smoke/stdout/test.yaml
 - smoke/super/Steepfile
 - smoke/super/a.rb
 - smoke/super/a.rbs
+- smoke/super/test.yaml
 - smoke/toplevel/Steepfile
 - smoke/toplevel/a.rb
 - smoke/toplevel/a.rbs
+- smoke/toplevel/test.yaml
 - smoke/tsort/Steepfile
 - smoke/tsort/a.rb
+- smoke/tsort/test.yaml
 - smoke/type_case/Steepfile
 - smoke/type_case/a.rb
+- smoke/type_case/test.yaml
 - smoke/yield/Steepfile
 - smoke/yield/a.rb
+- smoke/yield/b.rb
+- smoke/yield/test.yaml
 - steep.gemspec
 homepage: https://github.com/soutaro/steep
 licenses:

data/bin/smoke_runner.rb

@@ -1,139 +0,0 @@
-#!/usr/bin/env ruby
-
-require "pathname"
-
-$LOAD_PATH << Pathname(__dir__) + "../lib"
-
-require "steep"
-require "steep/cli"
-require "rainbow"
-require "optparse"
-
-verbose = false
-
-OptionParser.new do |opts|
-  opts.on("-v", "--verbose") do verbose = true end
-end.parse!(ARGV)
-
-Expectation = Struct.new(:line, :message, :path, :starts) do
-  attr_accessor :prefix_test
-end
-
-failed = false
-
-ARGV.each do |arg|
-  dir = Pathname(arg)
-  puts "🏇 Running smoke test in #{dir}..."
-
-  rb_files = []
-  expectations = []
-  allowed_paths = []
-  
-  dir.children.each do |file|
-    if file.extname == ".rb"
-      buffer = ::Parser::Source::Buffer.new(file.to_s)
-      buffer.source = file.read
-      parser = ::Parser::Ruby27.new
-
-      _, comments, _ = parser.tokenize(buffer)
-      comments.each do |comment|
-        src = comment.text.gsub(/\A#\s*/, '')
-
-        if src =~ /!expects\*(@(\+\d+))?/
-          offset = $2&.to_i || 1
-          message = src.gsub!(/\A!expects\*(@\+\d+)? +/, '')
-          line = comment.location.line
-
-          expectations << Expectation.new(line+offset, message, file.relative_path_from(dir)).tap {|e| e.prefix_test = true }
-        end
-
-        if src =~ /!expects(@(\+\d+))?/
-          offset = $2&.to_i || 1
-          message = src.gsub!(/\A!expects(@\+\d+)? +/, '')
-          line = comment.location.line
-
-          expectations << Expectation.new(line+offset, message, file.relative_path_from(dir))
-        end
-
-        if src =~ /ALLOW FAILURE/
-          allowed_paths << file.relative_path_from(dir)
-        end
-      end
-
-      rb_files << file
-    end
-  end
-
-  stderr = StringIO.new
-  stdout = StringIO.new
-
-  begin
-    Rainbow.enabled = false
-    Dir.chdir(arg) do
-      Steep::Drivers::Check.new(stdout: stdout, stderr: stderr).run
-    end
-  rescue => exn
-    puts "ERROR: #{exn.inspect}"
-    exn.backtrace.each do |loc|
-      puts "  #{loc}"
-    end
-
-    failed = true
-  ensure
-    Rainbow.enabled = true
-  end
-
-  if verbose
-    stdout.string.each_line do |line|
-      puts "stdout> #{line.chomp}"
-    end
-
-    stderr.string.each_line do |line|
-      puts "stderr> #{line.chomp}"
-    end
-  end
-
-  lines = stdout.string.each_line.to_a.map(&:chomp).reject {|line| line =~ /\bFallbackAny\b/ }
-
-  expectations.each do |expectation|
-    deleted = lines.reject! do |string|
-      if expectation.prefix_test
-        string =~ /\A#{Regexp.escape(expectation.path.to_s)}:#{expectation.line}:\d+: #{Regexp.quote expectation.message}/
-      else
-        string =~ /\A#{Regexp.escape(expectation.path.to_s)}:#{expectation.line}:\d+: #{Regexp.quote expectation.message} \(/
-      end
-    end
-
-    unless deleted
-      allowed = allowed_paths.any? {|path| path == expectation.path }
-      message = Rainbow("  💀 Expected error not found: #{expectation.path}:#{expectation.line}:#{expectation.message}")
-      if allowed
-        puts message.yellow
-      else
-        puts message.red
-        failed = true
-      end
-    end
-  end
-
-  unless lines.empty?
-    lines.each do |line|
-      if line =~ /\A([^:]+):\d+:\d+:/
-        message = Rainbow("  🤦‍♀️ Unexpected error found: #{line}")
-
-        if allowed_paths.include?(Pathname($1))
-          puts message.yellow
-        else
-          puts message.red
-          failed = true
-        end
-      end
-    end
-  end
-end
-
-if failed
-  exit(1)
-else
-  puts Rainbow("All smoke test pass 😆").blue
-end