steep 0.13.0 → 0.16.2

data/smoke/if/a.rb

@@ -2,7 +2,7 @@
 
 x = y = z = (_ = nil)
 
-# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Symbol
+# !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::Symbol | nil)
 a = if x
       :foo
     end

data/smoke/implements/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/initialize/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/integer/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/interface/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/kwbegin/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/lambda/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/literal/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/map/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/method/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/module/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/regexp/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/regexp/b.rb

@@ -12,11 +12,11 @@
   match_ref_3.foo
 
   match_ref_4 = match[0, 1]
-  # !expects NoMethodError: type=::Array[::String], method=foo
+  # !expects NoMethodError: type=::Array[(::String | nil)], method=foo
   match_ref_4.foo
 
   match_ref_5 = match[0..1]
-  # !expects NoMethodError: type=::Array[::String], method=foo
+  # !expects NoMethodError: type=::Array[(::String | nil)], method=foo
   match_ref_5.foo
 
   begin_1 = match.begin(0)
@@ -32,7 +32,7 @@
   begin_3.foo
 
   captures_1 = match.captures
-  # !expects NoMethodError: type=::Array[::String], method=foo
+  # !expects NoMethodError: type=::Array[(::String | nil)], method=foo
   captures_1.foo
 
   end_1 = match.end(0)
@@ -92,7 +92,7 @@
   string_1.foo
 
   to_a_1 = match.to_a
-  # !expects NoMethodError: type=::Array[::String], method=foo
+  # !expects NoMethodError: type=::Array[(::String | nil)], method=foo
   to_a_1.foo
 
   values_at_1 = match.values_at

data/smoke/regression/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
   library "set"

data/smoke/rescue/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/rescue/a.rb

@@ -34,7 +34,7 @@ d = begin
 
 # @type var e: Integer
 
-# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::Integer] | ::Integer | ::String | ::Symbol)
+# !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::Integer] | ::Integer | ::Symbol)
 e = begin
       'foo'
     rescue RuntimeError

data/smoke/self/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/skip/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/stdout/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/super/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/type_case/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/smoke/yield/Steepfile

@@ -1,4 +1,5 @@
 target :test do
+  typing_options :strict
   check "*.rb"
   signature "*.rbs"
 end

data/steep.gemspec

@@ -14,14 +14,13 @@ Gem::Specification.new do |spec|
   spec.homepage      = "https://github.com/soutaro/steep"
   spec.license       = 'MIT'
 
+  spec.metadata["homepage_uri"] = spec.homepage
+  spec.metadata["source_code_uri"] = "https://github.com/soutaro/steep"
+  spec.metadata["changelog_uri"] = "https://github.com/soutaro/steep/blob/master/CHANGELOG.md"
+
   spec.files         = `git ls-files -z`.split("\x0").reject {|f|
     f.match(%r{^(test|spec|features)/})
-  } + Dir.chdir("vendor/ruby-signature") {
-    `git ls-files -z`.split("\x0")
-      .reject {|f| f.match(%r{^(test|spec|features)/}) }
-      .map {|f| File.join("vendor/ruby-signature", f) }
   }
-  spec.files         << "vendor/ruby-signature/lib/ruby/signature/parser.rb"
 
   spec.bindir        = "exe"
   spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
@@ -33,7 +32,7 @@ Gem::Specification.new do |spec|
   spec.add_development_dependency "rake", "~> 13.0"
   spec.add_development_dependency "minitest", "~> 5.0"
   spec.add_development_dependency "racc", "~> 1.4"
-  spec.add_development_dependency "minitest-reporters", "~> 1.3.6"
+  spec.add_development_dependency "minitest-reporters", "~> 1.4.2"
   spec.add_development_dependency "minitest-hooks", "~> 1.5.0"
 
   spec.add_runtime_dependency "parser", "~> 2.7.0"
@@ -41,6 +40,7 @@ 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 "pry", "~> 0.12.2"
-  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.1"
+  spec.add_runtime_dependency "pry", ">= 0.12.2"
+  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.2"
+  spec.add_runtime_dependency "rbs", "~> 0.3.1"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: steep
 version: !ruby/object:Gem::Version
-  version: 0.13.0
+  version: 0.16.2
 platform: ruby
 authors:
 - Soutaro Matsumoto
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-02-16 00:00:00.000000000 Z
+date: 2020-05-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -72,14 +72,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.3.6
+        version: 1.4.2
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 1.3.6
+        version: 1.4.2
 - !ruby/object:Gem::Dependency
   name: minitest-hooks
   requirement: !ruby/object:Gem::Requirement
@@ -174,14 +174,14 @@ dependencies:
   name: pry
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
         version: 0.12.2
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
         version: 0.12.2
 - !ruby/object:Gem::Dependency
@@ -190,20 +190,32 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 3.14.0.1
+        version: 3.14.0.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 3.14.0.2
+- !ruby/object:Gem::Dependency
+  name: rbs
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.3.1
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 3.14.0.1
+        version: 0.3.1
 description: Gradual Typing for Ruby
 email:
 - matsumoto@soutaro.com
 executables:
-- rbs
-- ruby-signature
 - steep
 extensions: []
 extra_rdoc_files: []
@@ -220,8 +232,6 @@ files:
 - bin/console
 - bin/setup
 - bin/smoke_runner.rb
-- exe/rbs
-- exe/ruby-signature
 - exe/steep
 - lib/steep.rb
 - lib/steep/annotation_parser.rb
@@ -265,6 +275,7 @@ files:
 - lib/steep/drivers/validate.rb
 - lib/steep/drivers/vendor.rb
 - lib/steep/drivers/watch.rb
+- lib/steep/drivers/worker.rb
 - lib/steep/errors.rb
 - lib/steep/interface/interface.rb
 - lib/steep/interface/method.rb
@@ -272,12 +283,20 @@ files:
 - lib/steep/interface/substitution.rb
 - lib/steep/names.rb
 - lib/steep/project.rb
+- lib/steep/project/completion_provider.rb
 - lib/steep/project/dsl.rb
 - lib/steep/project/file.rb
 - lib/steep/project/file_loader.rb
 - lib/steep/project/hover_content.rb
 - lib/steep/project/options.rb
 - lib/steep/project/target.rb
+- lib/steep/server/base_worker.rb
+- lib/steep/server/code_worker.rb
+- lib/steep/server/interaction_worker.rb
+- lib/steep/server/master.rb
+- 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
@@ -293,6 +312,9 @@ files:
 - lib/steep/type_inference/block_params.rb
 - lib/steep/type_inference/constant_env.rb
 - lib/steep/type_inference/context.rb
+- 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/send_args.rb
 - lib/steep/type_inference/type_env.rb
 - lib/steep/typing.rb
@@ -427,135 +449,13 @@ files:
 - smoke/yield/Steepfile
 - smoke/yield/a.rb
 - steep.gemspec
-- vendor/ruby-signature/.github/workflows/ruby.yml
-- vendor/ruby-signature/.gitignore
-- vendor/ruby-signature/.rubocop.yml
-- vendor/ruby-signature/BSDL
-- vendor/ruby-signature/COPYING
-- vendor/ruby-signature/Gemfile
-- vendor/ruby-signature/README.md
-- vendor/ruby-signature/Rakefile
-- vendor/ruby-signature/bin/annotate-with-rdoc
-- vendor/ruby-signature/bin/console
-- vendor/ruby-signature/bin/query-rdoc
-- vendor/ruby-signature/bin/setup
-- vendor/ruby-signature/bin/sort
-- vendor/ruby-signature/bin/test_runner.rb
-- vendor/ruby-signature/docs/CONTRIBUTING.md
-- vendor/ruby-signature/docs/sigs.md
-- vendor/ruby-signature/docs/stdlib.md
-- vendor/ruby-signature/docs/syntax.md
-- vendor/ruby-signature/exe/rbs
-- vendor/ruby-signature/exe/ruby-signature
-- vendor/ruby-signature/lib/ruby/signature.rb
-- vendor/ruby-signature/lib/ruby/signature/ast/annotation.rb
-- vendor/ruby-signature/lib/ruby/signature/ast/comment.rb
-- vendor/ruby-signature/lib/ruby/signature/ast/declarations.rb
-- vendor/ruby-signature/lib/ruby/signature/ast/members.rb
-- vendor/ruby-signature/lib/ruby/signature/buffer.rb
-- vendor/ruby-signature/lib/ruby/signature/builtin_names.rb
-- vendor/ruby-signature/lib/ruby/signature/cli.rb
-- vendor/ruby-signature/lib/ruby/signature/constant.rb
-- vendor/ruby-signature/lib/ruby/signature/constant_table.rb
-- vendor/ruby-signature/lib/ruby/signature/definition.rb
-- vendor/ruby-signature/lib/ruby/signature/definition_builder.rb
-- vendor/ruby-signature/lib/ruby/signature/environment.rb
-- vendor/ruby-signature/lib/ruby/signature/environment_loader.rb
-- vendor/ruby-signature/lib/ruby/signature/environment_walker.rb
-- vendor/ruby-signature/lib/ruby/signature/errors.rb
-- vendor/ruby-signature/lib/ruby/signature/location.rb
-- vendor/ruby-signature/lib/ruby/signature/method_type.rb
-- vendor/ruby-signature/lib/ruby/signature/namespace.rb
-- vendor/ruby-signature/lib/ruby/signature/parser.rb
-- vendor/ruby-signature/lib/ruby/signature/parser.y
-- vendor/ruby-signature/lib/ruby/signature/prototype/rb.rb
-- vendor/ruby-signature/lib/ruby/signature/prototype/rbi.rb
-- vendor/ruby-signature/lib/ruby/signature/prototype/runtime.rb
-- vendor/ruby-signature/lib/ruby/signature/substitution.rb
-- vendor/ruby-signature/lib/ruby/signature/test.rb
-- vendor/ruby-signature/lib/ruby/signature/test/errors.rb
-- vendor/ruby-signature/lib/ruby/signature/test/hook.rb
-- vendor/ruby-signature/lib/ruby/signature/test/setup.rb
-- vendor/ruby-signature/lib/ruby/signature/test/spy.rb
-- vendor/ruby-signature/lib/ruby/signature/test/test_helper.rb
-- vendor/ruby-signature/lib/ruby/signature/test/type_check.rb
-- vendor/ruby-signature/lib/ruby/signature/type_name.rb
-- vendor/ruby-signature/lib/ruby/signature/types.rb
-- vendor/ruby-signature/lib/ruby/signature/variance_calculator.rb
-- vendor/ruby-signature/lib/ruby/signature/vendorer.rb
-- vendor/ruby-signature/lib/ruby/signature/version.rb
-- vendor/ruby-signature/lib/ruby/signature/writer.rb
-- vendor/ruby-signature/ruby-signature.gemspec
-- vendor/ruby-signature/stdlib/abbrev/abbrev.rbs
-- vendor/ruby-signature/stdlib/base64/base64.rbs
-- vendor/ruby-signature/stdlib/builtin/array.rbs
-- vendor/ruby-signature/stdlib/builtin/basic_object.rbs
-- vendor/ruby-signature/stdlib/builtin/binding.rbs
-- vendor/ruby-signature/stdlib/builtin/builtin.rbs
-- vendor/ruby-signature/stdlib/builtin/class.rbs
-- vendor/ruby-signature/stdlib/builtin/comparable.rbs
-- vendor/ruby-signature/stdlib/builtin/complex.rbs
-- vendor/ruby-signature/stdlib/builtin/constants.rbs
-- vendor/ruby-signature/stdlib/builtin/data.rbs
-- vendor/ruby-signature/stdlib/builtin/deprecated.rbs
-- vendor/ruby-signature/stdlib/builtin/dir.rbs
-- vendor/ruby-signature/stdlib/builtin/encoding.rbs
-- vendor/ruby-signature/stdlib/builtin/enumerable.rbs
-- vendor/ruby-signature/stdlib/builtin/enumerator.rbs
-- vendor/ruby-signature/stdlib/builtin/errno.rbs
-- vendor/ruby-signature/stdlib/builtin/errors.rbs
-- vendor/ruby-signature/stdlib/builtin/exception.rbs
-- vendor/ruby-signature/stdlib/builtin/false_class.rbs
-- vendor/ruby-signature/stdlib/builtin/fiber.rbs
-- vendor/ruby-signature/stdlib/builtin/fiber_error.rbs
-- vendor/ruby-signature/stdlib/builtin/file.rbs
-- vendor/ruby-signature/stdlib/builtin/file_test.rbs
-- vendor/ruby-signature/stdlib/builtin/float.rbs
-- vendor/ruby-signature/stdlib/builtin/gc.rbs
-- vendor/ruby-signature/stdlib/builtin/hash.rbs
-- vendor/ruby-signature/stdlib/builtin/integer.rbs
-- vendor/ruby-signature/stdlib/builtin/io.rbs
-- vendor/ruby-signature/stdlib/builtin/kernel.rbs
-- vendor/ruby-signature/stdlib/builtin/marshal.rbs
-- vendor/ruby-signature/stdlib/builtin/match_data.rbs
-- vendor/ruby-signature/stdlib/builtin/math.rbs
-- vendor/ruby-signature/stdlib/builtin/method.rbs
-- vendor/ruby-signature/stdlib/builtin/module.rbs
-- vendor/ruby-signature/stdlib/builtin/nil_class.rbs
-- vendor/ruby-signature/stdlib/builtin/numeric.rbs
-- vendor/ruby-signature/stdlib/builtin/object.rbs
-- vendor/ruby-signature/stdlib/builtin/proc.rbs
-- vendor/ruby-signature/stdlib/builtin/process.rbs
-- vendor/ruby-signature/stdlib/builtin/random.rbs
-- vendor/ruby-signature/stdlib/builtin/range.rbs
-- vendor/ruby-signature/stdlib/builtin/rational.rbs
-- vendor/ruby-signature/stdlib/builtin/rb_config.rbs
-- vendor/ruby-signature/stdlib/builtin/regexp.rbs
-- vendor/ruby-signature/stdlib/builtin/ruby_vm.rbs
-- vendor/ruby-signature/stdlib/builtin/signal.rbs
-- vendor/ruby-signature/stdlib/builtin/string.rbs
-- vendor/ruby-signature/stdlib/builtin/string_io.rbs
-- vendor/ruby-signature/stdlib/builtin/struct.rbs
-- vendor/ruby-signature/stdlib/builtin/symbol.rbs
-- vendor/ruby-signature/stdlib/builtin/thread.rbs
-- vendor/ruby-signature/stdlib/builtin/thread_group.rbs
-- vendor/ruby-signature/stdlib/builtin/time.rbs
-- vendor/ruby-signature/stdlib/builtin/trace_point.rbs
-- vendor/ruby-signature/stdlib/builtin/true_class.rbs
-- vendor/ruby-signature/stdlib/builtin/unbound_method.rbs
-- vendor/ruby-signature/stdlib/builtin/warning.rbs
-- vendor/ruby-signature/stdlib/erb/erb.rbs
-- vendor/ruby-signature/stdlib/find/find.rbs
-- vendor/ruby-signature/stdlib/pathname/pathname.rbs
-- vendor/ruby-signature/stdlib/prime/integer-extension.rbs
-- vendor/ruby-signature/stdlib/prime/prime.rbs
-- vendor/ruby-signature/stdlib/securerandom/securerandom.rbs
-- vendor/ruby-signature/stdlib/set/set.rbs
-- vendor/ruby-signature/stdlib/tmpdir/tmpdir.rbs
 homepage: https://github.com/soutaro/steep
 licenses:
 - MIT
-metadata: {}
+metadata:
+  homepage_uri: https://github.com/soutaro/steep
+  source_code_uri: https://github.com/soutaro/steep
+  changelog_uri: https://github.com/soutaro/steep/blob/master/CHANGELOG.md
 post_install_message: 
 rdoc_options: []
 require_paths: