steep 0.18.0 → 0.23.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 (29) hide show
  1. checksums.yaml +4 -4
  2. data/.github/workflows/ruby.yml +5 -1
  3. data/CHANGELOG.md +28 -1
  4. data/Gemfile +7 -0
  5. data/bin/steep-prof +16 -0
  6. data/lib/steep/ast/types/factory.rb +16 -13
  7. data/lib/steep/ast/types/literal.rb +4 -0
  8. data/lib/steep/project/completion_provider.rb +24 -8
  9. data/lib/steep/project/dsl.rb +7 -1
  10. data/lib/steep/project/file.rb +7 -0
  11. data/lib/steep/project/hover_content.rb +9 -3
  12. data/lib/steep/project/options.rb +7 -0
  13. data/lib/steep/project/target.rb +43 -23
  14. data/lib/steep/server/interaction_worker.rb +5 -5
  15. data/lib/steep/server/signature_worker.rb +4 -0
  16. data/lib/steep/signature/errors.rb +28 -0
  17. data/lib/steep/signature/validator.rb +57 -27
  18. data/lib/steep/subtyping/check.rb +214 -43
  19. data/lib/steep/type_construction.rb +184 -75
  20. data/lib/steep/type_inference/type_env.rb +2 -2
  21. data/lib/steep/typing.rb +6 -0
  22. data/lib/steep/version.rb +1 -1
  23. data/smoke/class/a.rbs +1 -2
  24. data/smoke/class/f.rb +3 -1
  25. data/smoke/extension/a.rbs +3 -2
  26. data/smoke/extension/e.rbs +2 -3
  27. data/smoke/interface/a.rbs +6 -6
  28. data/steep.gemspec +1 -8
  29. metadata +8 -97
data/smoke/interface/a.rbs CHANGED
@@ -1,12 +1,12 @@
1
1
  class A
2
2
  def foo: -> _Foo
3
3
  def hello: -> void
4
- end
5
4
 
6
- class A::Object
7
- def object?: -> bool
8
- end
5
+ class Object
6
+ def object?: -> bool
7
+ end
9
8
 
10
- interface A::_Foo
11
- def foo: -> Object
9
+ interface _Foo
10
+ def foo: -> Object
11
+ end
12
12
  end
data/steep.gemspec CHANGED
@@ -28,18 +28,11 @@ Gem::Specification.new do |spec|
28
28
 
29
29
  spec.required_ruby_version = '>= 2.6.0'
30
30
 
31
- spec.add_development_dependency "bundler", ">= 1.13"
32
- spec.add_development_dependency "rake", "~> 13.0"
33
- spec.add_development_dependency "minitest", "~> 5.0"
34
- spec.add_development_dependency "racc", "~> 1.4"
35
- spec.add_development_dependency "minitest-reporters", "~> 1.4.2"
36
- spec.add_development_dependency "minitest-hooks", "~> 1.5.0"
37
-
38
31
  spec.add_runtime_dependency "parser", "~> 2.7.0"
39
32
  spec.add_runtime_dependency "ast_utils", "~> 0.3.0"
40
33
  spec.add_runtime_dependency "activesupport", ">= 5.1"
41
34
  spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
42
35
  spec.add_runtime_dependency "listen", "~> 3.1"
43
36
  spec.add_runtime_dependency "language_server-protocol", "~> 3.14.0.2"
44
- spec.add_runtime_dependency "rbs", ">= 0.3.1", '< 0.5.0'
37
+ spec.add_runtime_dependency "rbs", "~> 0.9.0"
45
38
  end
metadata CHANGED
@@ -1,99 +1,15 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: steep
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.18.0
4
+ version: 0.23.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-07-06 00:00:00.000000000 Z
11
+ date: 2020-08-06 00:00:00.000000000 Z
12
12
  dependencies:
13
- - !ruby/object:Gem::Dependency
14
- name: bundler
15
- requirement: !ruby/object:Gem::Requirement
16
- requirements:
17
- - - ">="
18
- - !ruby/object:Gem::Version
19
- version: '1.13'
20
- type: :development
21
- prerelease: false
22
- version_requirements: !ruby/object:Gem::Requirement
23
- requirements:
24
- - - ">="
25
- - !ruby/object:Gem::Version
26
- version: '1.13'
27
- - !ruby/object:Gem::Dependency
28
- name: rake
29
- requirement: !ruby/object:Gem::Requirement
30
- requirements:
31
- - - "~>"
32
- - !ruby/object:Gem::Version
33
- version: '13.0'
34
- type: :development
35
- prerelease: false
36
- version_requirements: !ruby/object:Gem::Requirement
37
- requirements:
38
- - - "~>"
39
- - !ruby/object:Gem::Version
40
- version: '13.0'
41
- - !ruby/object:Gem::Dependency
42
- name: minitest
43
- requirement: !ruby/object:Gem::Requirement
44
- requirements:
45
- - - "~>"
46
- - !ruby/object:Gem::Version
47
- version: '5.0'
48
- type: :development
49
- prerelease: false
50
- version_requirements: !ruby/object:Gem::Requirement
51
- requirements:
52
- - - "~>"
53
- - !ruby/object:Gem::Version
54
- version: '5.0'
55
- - !ruby/object:Gem::Dependency
56
- name: racc
57
- requirement: !ruby/object:Gem::Requirement
58
- requirements:
59
- - - "~>"
60
- - !ruby/object:Gem::Version
61
- version: '1.4'
62
- type: :development
63
- prerelease: false
64
- version_requirements: !ruby/object:Gem::Requirement
65
- requirements:
66
- - - "~>"
67
- - !ruby/object:Gem::Version
68
- version: '1.4'
69
- - !ruby/object:Gem::Dependency
70
- name: minitest-reporters
71
- requirement: !ruby/object:Gem::Requirement
72
- requirements:
73
- - - "~>"
74
- - !ruby/object:Gem::Version
75
- version: 1.4.2
76
- type: :development
77
- prerelease: false
78
- version_requirements: !ruby/object:Gem::Requirement
79
- requirements:
80
- - - "~>"
81
- - !ruby/object:Gem::Version
82
- version: 1.4.2
83
- - !ruby/object:Gem::Dependency
84
- name: minitest-hooks
85
- requirement: !ruby/object:Gem::Requirement
86
- requirements:
87
- - - "~>"
88
- - !ruby/object:Gem::Version
89
- version: 1.5.0
90
- type: :development
91
- prerelease: false
92
- version_requirements: !ruby/object:Gem::Requirement
93
- requirements:
94
- - - "~>"
95
- - !ruby/object:Gem::Version
96
- version: 1.5.0
97
13
  - !ruby/object:Gem::Dependency
98
14
  name: parser
99
15
  requirement: !ruby/object:Gem::Requirement
@@ -188,22 +104,16 @@ dependencies:
188
104
  name: rbs
189
105
  requirement: !ruby/object:Gem::Requirement
190
106
  requirements:
191
- - - ">="
192
- - !ruby/object:Gem::Version
193
- version: 0.3.1
194
- - - "<"
107
+ - - "~>"
195
108
  - !ruby/object:Gem::Version
196
- version: 0.5.0
109
+ version: 0.9.0
197
110
  type: :runtime
198
111
  prerelease: false
199
112
  version_requirements: !ruby/object:Gem::Requirement
200
113
  requirements:
201
- - - ">="
202
- - !ruby/object:Gem::Version
203
- version: 0.3.1
204
- - - "<"
114
+ - - "~>"
205
115
  - !ruby/object:Gem::Version
206
- version: 0.5.0
116
+ version: 0.9.0
207
117
  description: Gradual Typing for Ruby
208
118
  email:
209
119
  - matsumoto@soutaro.com
@@ -224,6 +134,7 @@ files:
224
134
  - bin/console
225
135
  - bin/setup
226
136
  - bin/smoke_runner.rb
137
+ - bin/steep-prof
227
138
  - exe/steep
228
139
  - lib/steep.rb
229
140
  - lib/steep/annotation_parser.rb
@@ -463,7 +374,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
463
374
  - !ruby/object:Gem::Version
464
375
  version: '0'
465
376
  requirements: []
466
- rubygems_version: 3.1.2
377
+ rubygems_version: 3.0.3
467
378
  signing_key:
468
379
  specification_version: 4
469
380
  summary: Gradual Typing for Ruby