steep 0.27.0 → 0.28.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (30) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +15 -0
  3. data/bin/smoke_runner.rb +3 -4
  4. data/lib/steep.rb +1 -1
  5. data/lib/steep/ast/builtin.rb +2 -20
  6. data/lib/steep/ast/types/factory.rb +60 -51
  7. data/lib/steep/ast/types/intersection.rb +12 -9
  8. data/lib/steep/ast/types/name.rb +2 -58
  9. data/lib/steep/ast/types/union.rb +5 -6
  10. data/lib/steep/errors.rb +14 -0
  11. data/lib/steep/interface/interface.rb +5 -62
  12. data/lib/steep/interface/method_type.rb +335 -74
  13. data/lib/steep/interface/substitution.rb +16 -4
  14. data/lib/steep/project/completion_provider.rb +1 -1
  15. data/lib/steep/project/hover_content.rb +1 -1
  16. data/lib/steep/server/base_worker.rb +1 -0
  17. data/lib/steep/server/code_worker.rb +2 -0
  18. data/lib/steep/server/master.rb +10 -3
  19. data/lib/steep/source.rb +2 -2
  20. data/lib/steep/subtyping/check.rb +29 -40
  21. data/lib/steep/type_construction.rb +192 -188
  22. data/lib/steep/type_inference/block_params.rb +5 -0
  23. data/lib/steep/version.rb +1 -1
  24. data/smoke/alias/a.rb +1 -1
  25. data/smoke/case/a.rb +1 -1
  26. data/smoke/if/a.rb +1 -1
  27. data/smoke/module/a.rb +1 -1
  28. data/smoke/rescue/a.rb +4 -13
  29. data/steep.gemspec +1 -1
  30. metadata +5 -5
data/lib/steep/type_inference/block_params.rb CHANGED
@@ -56,6 +56,11 @@ module Steep
56
56
 
57
57
  node.children.each do |arg|
58
58
  var = arg.children.first
59
+
60
+ if var.is_a?(::AST::Node)
61
+ return
62
+ end
63
+
59
64
  type = annotations.var_type(lvar: var.name)
60
65
 
61
66
  case arg.type
data/lib/steep/version.rb CHANGED
@@ -1,3 +1,3 @@
1
1
  module Steep
2
- VERSION = "0.27.0"
2
+ VERSION = "0.28.0"
3
3
  end
data/smoke/alias/a.rb CHANGED
@@ -1,7 +1,7 @@
1
1
  # @type var x: foo
2
2
  x = ""
3
3
 
4
- # !expects ArgumentTypeMismatch: receiver=(::Integer | ::String), expected=::string, actual=::Integer
4
+ # !expects* UnresolvedOverloading: receiver=(::String | ::Integer), method_name=+,
5
5
  x + 123
6
6
 
7
7
  # @type var y: bar
data/smoke/case/a.rb CHANGED
@@ -1,6 +1,6 @@
1
1
  # @type var a: Integer
2
2
 
3
- # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::String] | ::Integer | ::String | nil)
3
+ # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Integer | ::Array[::String] | nil | ::String)
4
4
  a = case 1
5
5
  when 2
6
6
  1
data/smoke/if/a.rb CHANGED
@@ -13,7 +13,7 @@ else
13
13
  "baz"
14
14
  end
15
15
 
16
- # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::Integer | ::String)
16
+ # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=(::String | ::Integer)
17
17
  a = if z
18
18
  "foofoo"
19
19
  else
data/smoke/module/a.rb CHANGED
@@ -13,7 +13,7 @@ module A
13
13
  # !expects IncompatibleAssignment: lhs_type=::String, rhs_type=::Integer
14
14
  s = n
15
15
 
16
- # !expects NoMethodError: type=(::A & ::Object & ::_Each2[::Integer, ::A]), method=foo
16
+ # !expects NoMethodError: type=(::Object & ::_Each2[::Integer, ::A] & ::A), method=foo
17
17
  foo()
18
18
 
19
19
  n
data/smoke/rescue/a.rb CHANGED
@@ -1,6 +1,6 @@
1
1
  # @type var a: Integer
2
2
 
3
- # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Integer | ::String)
3
+ # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | ::Integer)
4
4
  a = begin
5
5
  'foo'
6
6
  rescue
@@ -9,12 +9,12 @@ a = begin
9
9
 
10
10
  # @type var b: Integer
11
11
 
12
- # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Integer | ::String)
12
+ # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | ::Integer)
13
13
  b = 'foo' rescue 1
14
14
 
15
15
  # @type var c: Integer
16
16
 
17
- # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Integer | ::String | ::Symbol)
17
+ # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::String | ::Symbol | ::Integer)
18
18
  c = begin
19
19
  'foo'
20
20
  rescue RuntimeError
@@ -23,18 +23,9 @@ c = begin
23
23
  1
24
24
  end
25
25
 
26
- # @type var d: Integer
27
-
28
- # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=::String
29
- d = begin
30
- 1
31
- else
32
- 'foo'
33
- end
34
-
35
26
  # @type var e: Integer
36
27
 
37
- # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::Integer] | ::Integer | ::Symbol)
28
+ # !expects IncompatibleAssignment: lhs_type=::Integer, rhs_type=(::Array[::Integer] | ::Symbol | ::Integer)
38
29
  e = begin
39
30
  'foo'
40
31
  rescue RuntimeError
data/steep.gemspec CHANGED
@@ -34,5 +34,5 @@ Gem::Specification.new do |spec|
34
34
  spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
35
35
  spec.add_runtime_dependency "listen", "~> 3.1"
36
36
  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.2"
37
- spec.add_runtime_dependency "rbs", "~> 0.11.0"
37
+ spec.add_runtime_dependency "rbs", "~> 0.12.0"
38
38
  end
metadata CHANGED
@@ -1,14 +1,14 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: steep
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.27.0
4
+ version: 0.28.0
5
5
  platform: ruby
6
6
  authors:
7
7
  - Soutaro Matsumoto
8
8
  autorequire:
9
9
  bindir: exe
10
10
  cert_chain: []
11
- date: 2020-08-31 00:00:00.000000000 Z
11
+ date: 2020-09-16 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: parser
@@ -106,14 +106,14 @@ dependencies:
106
106
  requirements:
107
107
  - - "~>"
108
108
  - !ruby/object:Gem::Version
109
- version: 0.11.0
109
+ version: 0.12.0
110
110
  type: :runtime
111
111
  prerelease: false
112
112
  version_requirements: !ruby/object:Gem::Requirement
113
113
  requirements:
114
114
  - - "~>"
115
115
  - !ruby/object:Gem::Version
116
- version: 0.11.0
116
+ version: 0.12.0
117
117
  description: Gradual Typing for Ruby
118
118
  email:
119
119
  - matsumoto@soutaro.com
@@ -374,7 +374,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
374
374
  - !ruby/object:Gem::Version
375
375
  version: '0'
376
376
  requirements: []
377
- rubygems_version: 3.0.3
377
+ rubygems_version: 3.1.2
378
378
  signing_key:
379
379
  specification_version: 4
380
380
  summary: Gradual Typing for Ruby