steep 0.40.0 → 0.44.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/CHANGELOG.md +38 -0
- data/Gemfile +1 -0
- data/bin/output_rebaseline.rb +15 -30
- data/bin/output_test.rb +23 -57
- data/lib/steep.rb +89 -15
- data/lib/steep/annotation_parser.rb +10 -2
- data/lib/steep/ast/types/class.rb +4 -0
- data/lib/steep/cli.rb +31 -6
- data/lib/steep/diagnostic/ruby.rb +13 -8
- data/lib/steep/diagnostic/signature.rb +152 -2
- data/lib/steep/drivers/annotations.rb +18 -36
- data/lib/steep/drivers/check.rb +140 -31
- data/lib/steep/drivers/diagnostic_printer.rb +20 -11
- data/lib/steep/drivers/langserver.rb +4 -8
- data/lib/steep/drivers/print_project.rb +10 -9
- data/lib/steep/drivers/stats.rb +135 -119
- data/lib/steep/drivers/utils/driver_helper.rb +35 -0
- data/lib/steep/drivers/utils/jobs_count.rb +9 -0
- data/lib/steep/drivers/validate.rb +29 -18
- data/lib/steep/drivers/watch.rb +55 -49
- data/lib/steep/drivers/worker.rb +11 -8
- data/lib/steep/expectations.rb +159 -0
- data/lib/steep/index/signature_symbol_provider.rb +23 -1
- data/lib/steep/index/source_index.rb +55 -5
- data/lib/steep/interface/block.rb +4 -0
- data/lib/steep/project.rb +0 -30
- data/lib/steep/project/dsl.rb +5 -3
- data/lib/steep/project/pattern.rb +56 -0
- data/lib/steep/project/target.rb +11 -227
- data/lib/steep/server/base_worker.rb +1 -3
- data/lib/steep/server/change_buffer.rb +63 -0
- data/lib/steep/server/interaction_worker.rb +72 -57
- data/lib/steep/server/master.rb +652 -234
- data/lib/steep/server/type_check_worker.rb +304 -0
- data/lib/steep/server/worker_process.rb +16 -11
- data/lib/steep/{project → services}/completion_provider.rb +5 -5
- data/lib/steep/services/content_change.rb +61 -0
- data/lib/steep/services/file_loader.rb +48 -0
- data/lib/steep/services/goto_service.rb +321 -0
- data/lib/steep/{project → services}/hover_content.rb +19 -20
- data/lib/steep/services/path_assignment.rb +27 -0
- data/lib/steep/services/signature_service.rb +403 -0
- data/lib/steep/services/stats_calculator.rb +69 -0
- data/lib/steep/services/type_check_service.rb +413 -0
- data/lib/steep/signature/validator.rb +187 -85
- data/lib/steep/source.rb +21 -18
- data/lib/steep/subtyping/check.rb +246 -45
- data/lib/steep/subtyping/constraints.rb +4 -4
- data/lib/steep/type_construction.rb +428 -193
- data/lib/steep/type_inference/block_params.rb +1 -1
- data/lib/steep/type_inference/context.rb +22 -0
- data/lib/steep/type_inference/local_variable_type_env.rb +26 -12
- data/lib/steep/type_inference/logic.rb +1 -1
- data/lib/steep/type_inference/logic_type_interpreter.rb +4 -4
- data/lib/steep/type_inference/type_env.rb +43 -17
- data/lib/steep/version.rb +1 -1
- data/smoke/alias/test_expectations.yml +96 -0
- data/smoke/and/test_expectations.yml +31 -0
- data/smoke/array/test_expectations.yml +103 -0
- data/smoke/block/test_expectations.yml +125 -0
- data/smoke/case/test_expectations.yml +47 -0
- data/smoke/class/test_expectations.yml +120 -0
- data/smoke/const/test_expectations.yml +129 -0
- data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +13 -0
- data/smoke/diagnostics-rbs/Steepfile +7 -4
- data/smoke/diagnostics-rbs/test_expectations.yml +231 -0
- data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +5 -0
- data/smoke/{broken → diagnostics-ruby-unsat}/Steepfile +0 -0
- data/smoke/diagnostics-ruby-unsat/a.rbs +3 -0
- data/smoke/diagnostics-ruby-unsat/test_expectations.yml +27 -0
- data/smoke/{diagnostics → diagnostics-ruby-unsat}/unsatisfiable_constraint.rb +0 -1
- data/smoke/diagnostics/a.rbs +0 -4
- data/smoke/diagnostics/test_expectations.yml +451 -0
- data/smoke/dstr/test_expectations.yml +13 -0
- data/smoke/ensure/test_expectations.yml +62 -0
- data/smoke/enumerator/test_expectations.yml +135 -0
- data/smoke/extension/f.rb +2 -0
- data/smoke/extension/f.rbs +3 -0
- data/smoke/extension/test_expectations.yml +73 -0
- data/smoke/hash/test_expectations.yml +81 -0
- data/smoke/hello/test_expectations.yml +25 -0
- data/smoke/if/test_expectations.yml +34 -0
- data/smoke/implements/b.rb +13 -0
- data/smoke/implements/b.rbs +12 -0
- data/smoke/implements/test_expectations.yml +23 -0
- data/smoke/initialize/test_expectations.yml +1 -0
- data/smoke/integer/test_expectations.yml +101 -0
- data/smoke/interface/test_expectations.yml +23 -0
- data/smoke/kwbegin/test_expectations.yml +17 -0
- data/smoke/lambda/test_expectations.yml +39 -0
- data/smoke/literal/test_expectations.yml +106 -0
- data/smoke/map/test_expectations.yml +1 -0
- data/smoke/method/test_expectations.yml +90 -0
- data/smoke/module/test_expectations.yml +75 -0
- data/smoke/regexp/test_expectations.yml +615 -0
- data/smoke/regression/issue_328.rb +1 -0
- data/smoke/regression/issue_328.rbs +0 -0
- data/smoke/regression/issue_332.rb +11 -0
- data/smoke/regression/issue_332.rbs +19 -0
- data/smoke/regression/issue_372.rb +8 -0
- data/smoke/regression/issue_372.rbs +4 -0
- data/smoke/regression/masgn.rb +4 -0
- data/smoke/regression/test_expectations.yml +60 -0
- data/smoke/regression/thread.rb +7 -0
- data/smoke/rescue/test_expectations.yml +79 -0
- data/smoke/self/test_expectations.yml +23 -0
- data/smoke/skip/test_expectations.yml +23 -0
- data/smoke/stdout/test_expectations.yml +1 -0
- data/smoke/super/test_expectations.yml +69 -0
- data/smoke/toplevel/test_expectations.yml +15 -0
- data/smoke/tsort/Steepfile +2 -0
- data/smoke/tsort/test_expectations.yml +63 -0
- data/smoke/type_case/test_expectations.yml +48 -0
- data/smoke/unexpected/Steepfile +5 -0
- data/smoke/unexpected/test_expectations.yml +25 -0
- data/smoke/unexpected/unexpected.rb +1 -0
- data/smoke/unexpected/unexpected.rbs +3 -0
- data/smoke/yield/test_expectations.yml +68 -0
- data/steep.gemspec +4 -3
- metadata +127 -80
- data/lib/steep/project/file_loader.rb +0 -68
- data/lib/steep/project/signature_file.rb +0 -39
- data/lib/steep/project/source_file.rb +0 -129
- data/lib/steep/project/stats_calculator.rb +0 -80
- data/lib/steep/server/code_worker.rb +0 -150
- data/lib/steep/server/signature_worker.rb +0 -157
- data/lib/steep/server/utils.rb +0 -69
- data/smoke/alias/test.yaml +0 -73
- data/smoke/and/test.yaml +0 -24
- data/smoke/array/test.yaml +0 -80
- data/smoke/block/test.yaml +0 -96
- data/smoke/broken/broken.rb +0 -0
- data/smoke/broken/broken.rbs +0 -0
- data/smoke/broken/test.yaml +0 -6
- data/smoke/case/test.yaml +0 -36
- data/smoke/class/test.yaml +0 -89
- data/smoke/const/test.yaml +0 -96
- data/smoke/diagnostics-rbs-duplicated/test.yaml +0 -10
- data/smoke/diagnostics-rbs/test.yaml +0 -142
- data/smoke/diagnostics/test.yaml +0 -333
- data/smoke/dstr/test.yaml +0 -10
- data/smoke/ensure/test.yaml +0 -47
- data/smoke/enumerator/test.yaml +0 -100
- data/smoke/extension/test.yaml +0 -50
- data/smoke/hash/test.yaml +0 -62
- data/smoke/hello/test.yaml +0 -18
- data/smoke/if/test.yaml +0 -27
- data/smoke/implements/test.yaml +0 -16
- data/smoke/initialize/test.yaml +0 -4
- data/smoke/integer/test.yaml +0 -66
- data/smoke/interface/test.yaml +0 -16
- data/smoke/kwbegin/test.yaml +0 -14
- data/smoke/lambda/test.yaml +0 -28
- data/smoke/literal/test.yaml +0 -79
- data/smoke/map/test.yaml +0 -4
- data/smoke/method/test.yaml +0 -71
- data/smoke/module/test.yaml +0 -51
- data/smoke/regexp/test.yaml +0 -372
- data/smoke/regression/test.yaml +0 -38
- data/smoke/rescue/test.yaml +0 -60
- data/smoke/self/test.yaml +0 -16
- data/smoke/skip/test.yaml +0 -16
- data/smoke/stdout/test.yaml +0 -4
- data/smoke/super/test.yaml +0 -52
- data/smoke/toplevel/test.yaml +0 -12
- data/smoke/tsort/test.yaml +0 -32
- data/smoke/type_case/test.yaml +0 -33
- data/smoke/yield/test.yaml +0 -49
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
---
|
|
2
|
+
- file: unexpected.rb
|
|
3
|
+
diagnostics:
|
|
4
|
+
- range:
|
|
5
|
+
start:
|
|
6
|
+
line: 1
|
|
7
|
+
character: 0
|
|
8
|
+
end:
|
|
9
|
+
line: 1
|
|
10
|
+
character: 14
|
|
11
|
+
severity: ERROR
|
|
12
|
+
message: 'UnexpectedError: unexpected.rbs:2:17...2:24: Could not find String1'
|
|
13
|
+
code: Ruby::UnexpectedError
|
|
14
|
+
- file: unexpected.rbs
|
|
15
|
+
diagnostics:
|
|
16
|
+
- range:
|
|
17
|
+
start:
|
|
18
|
+
line: 2
|
|
19
|
+
character: 17
|
|
20
|
+
end:
|
|
21
|
+
line: 2
|
|
22
|
+
character: 24
|
|
23
|
+
severity: ERROR
|
|
24
|
+
message: Cannot find type `String1`
|
|
25
|
+
code: RBS::UnknownTypeName
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
Unexpected.new.foo().bar
|
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
---
|
|
2
|
+
- file: a.rb
|
|
3
|
+
diagnostics:
|
|
4
|
+
- range:
|
|
5
|
+
start:
|
|
6
|
+
line: 6
|
|
7
|
+
character: 4
|
|
8
|
+
end:
|
|
9
|
+
line: 6
|
|
10
|
+
character: 16
|
|
11
|
+
severity: ERROR
|
|
12
|
+
message: |-
|
|
13
|
+
Cannot assign a value of type `::Integer` to a variable of type `::String`
|
|
14
|
+
::Integer <: ::String
|
|
15
|
+
::Numeric <: ::String
|
|
16
|
+
::Object <: ::String
|
|
17
|
+
::BasicObject <: ::String
|
|
18
|
+
code: Ruby::IncompatibleAssignment
|
|
19
|
+
- range:
|
|
20
|
+
start:
|
|
21
|
+
line: 8
|
|
22
|
+
character: 10
|
|
23
|
+
end:
|
|
24
|
+
line: 8
|
|
25
|
+
character: 11
|
|
26
|
+
severity: ERROR
|
|
27
|
+
message: |-
|
|
28
|
+
Cannot assign a value of type `::String` to an expression of type `::Integer`
|
|
29
|
+
::String <: ::Integer
|
|
30
|
+
::Object <: ::Integer
|
|
31
|
+
::BasicObject <: ::Integer
|
|
32
|
+
code: Ruby::IncompatibleAssignment
|
|
33
|
+
- range:
|
|
34
|
+
start:
|
|
35
|
+
line: 13
|
|
36
|
+
character: 4
|
|
37
|
+
end:
|
|
38
|
+
line: 13
|
|
39
|
+
character: 11
|
|
40
|
+
severity: ERROR
|
|
41
|
+
message: Cannot detect the type of the expression
|
|
42
|
+
code: Ruby::FallbackAny
|
|
43
|
+
- range:
|
|
44
|
+
start:
|
|
45
|
+
line: 13
|
|
46
|
+
character: 4
|
|
47
|
+
end:
|
|
48
|
+
line: 13
|
|
49
|
+
character: 11
|
|
50
|
+
severity: ERROR
|
|
51
|
+
message: No block given for `yield`
|
|
52
|
+
code: Ruby::UnexpectedYield
|
|
53
|
+
- file: b.rb
|
|
54
|
+
diagnostics:
|
|
55
|
+
- range:
|
|
56
|
+
start:
|
|
57
|
+
line: 4
|
|
58
|
+
character: 10
|
|
59
|
+
end:
|
|
60
|
+
line: 4
|
|
61
|
+
character: 12
|
|
62
|
+
severity: ERROR
|
|
63
|
+
message: |-
|
|
64
|
+
Cannot assign a value of type `::String` to an expression of type `::Integer`
|
|
65
|
+
::String <: ::Integer
|
|
66
|
+
::Object <: ::Integer
|
|
67
|
+
::BasicObject <: ::Integer
|
|
68
|
+
code: Ruby::IncompatibleAssignment
|
data/steep.gemspec
CHANGED
|
@@ -29,10 +29,11 @@ Gem::Specification.new do |spec|
|
|
|
29
29
|
spec.required_ruby_version = '>= 2.6.0'
|
|
30
30
|
|
|
31
31
|
spec.add_runtime_dependency "parser", ">= 2.7"
|
|
32
|
-
spec.add_runtime_dependency "ast_utils", ">= 0.4.0"
|
|
33
32
|
spec.add_runtime_dependency "activesupport", ">= 5.1"
|
|
34
33
|
spec.add_runtime_dependency "rainbow", ">= 2.2.2", "< 4.0"
|
|
35
34
|
spec.add_runtime_dependency "listen", "~> 3.0"
|
|
36
|
-
spec.add_runtime_dependency "language_server-protocol", "
|
|
37
|
-
spec.add_runtime_dependency "rbs", "
|
|
35
|
+
spec.add_runtime_dependency "language_server-protocol", ">= 3.15", "< 4.0"
|
|
36
|
+
spec.add_runtime_dependency "rbs", ">= 1.2.0"
|
|
37
|
+
spec.add_runtime_dependency "parallel", ">= 1.0.0"
|
|
38
|
+
spec.add_runtime_dependency "terminal-table", ">= 2", "< 4"
|
|
38
39
|
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.
|
|
4
|
+
version: 0.44.0
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Soutaro Matsumoto
|
|
8
|
-
autorequire:
|
|
8
|
+
autorequire:
|
|
9
9
|
bindir: exe
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2021-
|
|
11
|
+
date: 2021-04-21 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: parser
|
|
@@ -24,20 +24,6 @@ dependencies:
|
|
|
24
24
|
- - ">="
|
|
25
25
|
- !ruby/object:Gem::Version
|
|
26
26
|
version: '2.7'
|
|
27
|
-
- !ruby/object:Gem::Dependency
|
|
28
|
-
name: ast_utils
|
|
29
|
-
requirement: !ruby/object:Gem::Requirement
|
|
30
|
-
requirements:
|
|
31
|
-
- - ">="
|
|
32
|
-
- !ruby/object:Gem::Version
|
|
33
|
-
version: 0.4.0
|
|
34
|
-
type: :runtime
|
|
35
|
-
prerelease: false
|
|
36
|
-
version_requirements: !ruby/object:Gem::Requirement
|
|
37
|
-
requirements:
|
|
38
|
-
- - ">="
|
|
39
|
-
- !ruby/object:Gem::Version
|
|
40
|
-
version: 0.4.0
|
|
41
27
|
- !ruby/object:Gem::Dependency
|
|
42
28
|
name: activesupport
|
|
43
29
|
requirement: !ruby/object:Gem::Requirement
|
|
@@ -90,30 +76,70 @@ dependencies:
|
|
|
90
76
|
name: language_server-protocol
|
|
91
77
|
requirement: !ruby/object:Gem::Requirement
|
|
92
78
|
requirements:
|
|
93
|
-
- - "
|
|
79
|
+
- - ">="
|
|
94
80
|
- !ruby/object:Gem::Version
|
|
95
|
-
version: 3.15
|
|
81
|
+
version: '3.15'
|
|
82
|
+
- - "<"
|
|
83
|
+
- !ruby/object:Gem::Version
|
|
84
|
+
version: '4.0'
|
|
96
85
|
type: :runtime
|
|
97
86
|
prerelease: false
|
|
98
87
|
version_requirements: !ruby/object:Gem::Requirement
|
|
99
88
|
requirements:
|
|
100
|
-
- - "
|
|
89
|
+
- - ">="
|
|
90
|
+
- !ruby/object:Gem::Version
|
|
91
|
+
version: '3.15'
|
|
92
|
+
- - "<"
|
|
101
93
|
- !ruby/object:Gem::Version
|
|
102
|
-
version:
|
|
94
|
+
version: '4.0'
|
|
103
95
|
- !ruby/object:Gem::Dependency
|
|
104
96
|
name: rbs
|
|
105
97
|
requirement: !ruby/object:Gem::Requirement
|
|
106
98
|
requirements:
|
|
107
|
-
- - "
|
|
99
|
+
- - ">="
|
|
108
100
|
- !ruby/object:Gem::Version
|
|
109
|
-
version: 1.0
|
|
101
|
+
version: 1.2.0
|
|
110
102
|
type: :runtime
|
|
111
103
|
prerelease: false
|
|
112
104
|
version_requirements: !ruby/object:Gem::Requirement
|
|
113
105
|
requirements:
|
|
114
|
-
- - "
|
|
106
|
+
- - ">="
|
|
107
|
+
- !ruby/object:Gem::Version
|
|
108
|
+
version: 1.2.0
|
|
109
|
+
- !ruby/object:Gem::Dependency
|
|
110
|
+
name: parallel
|
|
111
|
+
requirement: !ruby/object:Gem::Requirement
|
|
112
|
+
requirements:
|
|
113
|
+
- - ">="
|
|
114
|
+
- !ruby/object:Gem::Version
|
|
115
|
+
version: 1.0.0
|
|
116
|
+
type: :runtime
|
|
117
|
+
prerelease: false
|
|
118
|
+
version_requirements: !ruby/object:Gem::Requirement
|
|
119
|
+
requirements:
|
|
120
|
+
- - ">="
|
|
121
|
+
- !ruby/object:Gem::Version
|
|
122
|
+
version: 1.0.0
|
|
123
|
+
- !ruby/object:Gem::Dependency
|
|
124
|
+
name: terminal-table
|
|
125
|
+
requirement: !ruby/object:Gem::Requirement
|
|
126
|
+
requirements:
|
|
127
|
+
- - ">="
|
|
128
|
+
- !ruby/object:Gem::Version
|
|
129
|
+
version: '2'
|
|
130
|
+
- - "<"
|
|
131
|
+
- !ruby/object:Gem::Version
|
|
132
|
+
version: '4'
|
|
133
|
+
type: :runtime
|
|
134
|
+
prerelease: false
|
|
135
|
+
version_requirements: !ruby/object:Gem::Requirement
|
|
136
|
+
requirements:
|
|
137
|
+
- - ">="
|
|
138
|
+
- !ruby/object:Gem::Version
|
|
139
|
+
version: '2'
|
|
140
|
+
- - "<"
|
|
115
141
|
- !ruby/object:Gem::Version
|
|
116
|
-
version:
|
|
142
|
+
version: '4'
|
|
117
143
|
description: Gradual Typing for Ruby
|
|
118
144
|
email:
|
|
119
145
|
- matsumoto@soutaro.com
|
|
@@ -178,10 +204,12 @@ files:
|
|
|
178
204
|
- lib/steep/drivers/stats.rb
|
|
179
205
|
- lib/steep/drivers/trace_printer.rb
|
|
180
206
|
- lib/steep/drivers/utils/driver_helper.rb
|
|
207
|
+
- lib/steep/drivers/utils/jobs_count.rb
|
|
181
208
|
- lib/steep/drivers/validate.rb
|
|
182
209
|
- lib/steep/drivers/vendor.rb
|
|
183
210
|
- lib/steep/drivers/watch.rb
|
|
184
211
|
- lib/steep/drivers/worker.rb
|
|
212
|
+
- lib/steep/expectations.rb
|
|
185
213
|
- lib/steep/index/rbs_index.rb
|
|
186
214
|
- lib/steep/index/signature_symbol_provider.rb
|
|
187
215
|
- lib/steep/index/source_index.rb
|
|
@@ -194,23 +222,26 @@ files:
|
|
|
194
222
|
- lib/steep/method_name.rb
|
|
195
223
|
- lib/steep/module_helper.rb
|
|
196
224
|
- lib/steep/project.rb
|
|
197
|
-
- lib/steep/project/completion_provider.rb
|
|
198
225
|
- lib/steep/project/dsl.rb
|
|
199
|
-
- lib/steep/project/file_loader.rb
|
|
200
|
-
- lib/steep/project/hover_content.rb
|
|
201
226
|
- lib/steep/project/options.rb
|
|
202
|
-
- lib/steep/project/
|
|
203
|
-
- lib/steep/project/source_file.rb
|
|
204
|
-
- lib/steep/project/stats_calculator.rb
|
|
227
|
+
- lib/steep/project/pattern.rb
|
|
205
228
|
- lib/steep/project/target.rb
|
|
206
229
|
- lib/steep/range_extension.rb
|
|
207
230
|
- lib/steep/server/base_worker.rb
|
|
208
|
-
- lib/steep/server/
|
|
231
|
+
- lib/steep/server/change_buffer.rb
|
|
209
232
|
- lib/steep/server/interaction_worker.rb
|
|
210
233
|
- lib/steep/server/master.rb
|
|
211
|
-
- lib/steep/server/
|
|
212
|
-
- lib/steep/server/utils.rb
|
|
234
|
+
- lib/steep/server/type_check_worker.rb
|
|
213
235
|
- lib/steep/server/worker_process.rb
|
|
236
|
+
- lib/steep/services/completion_provider.rb
|
|
237
|
+
- lib/steep/services/content_change.rb
|
|
238
|
+
- lib/steep/services/file_loader.rb
|
|
239
|
+
- lib/steep/services/goto_service.rb
|
|
240
|
+
- lib/steep/services/hover_content.rb
|
|
241
|
+
- lib/steep/services/path_assignment.rb
|
|
242
|
+
- lib/steep/services/signature_service.rb
|
|
243
|
+
- lib/steep/services/stats_calculator.rb
|
|
244
|
+
- lib/steep/services/type_check_service.rb
|
|
214
245
|
- lib/steep/signature/validator.rb
|
|
215
246
|
- lib/steep/source.rb
|
|
216
247
|
- lib/steep/subtyping/check.rb
|
|
@@ -243,15 +274,15 @@ files:
|
|
|
243
274
|
- smoke/alias/a.rbs
|
|
244
275
|
- smoke/alias/b.rb
|
|
245
276
|
- smoke/alias/c.rb
|
|
246
|
-
- smoke/alias/
|
|
277
|
+
- smoke/alias/test_expectations.yml
|
|
247
278
|
- smoke/and/Steepfile
|
|
248
279
|
- smoke/and/a.rb
|
|
249
|
-
- smoke/and/
|
|
280
|
+
- smoke/and/test_expectations.yml
|
|
250
281
|
- smoke/array/Steepfile
|
|
251
282
|
- smoke/array/a.rb
|
|
252
283
|
- smoke/array/b.rb
|
|
253
284
|
- smoke/array/c.rb
|
|
254
|
-
- smoke/array/
|
|
285
|
+
- smoke/array/test_expectations.yml
|
|
255
286
|
- smoke/block/Steepfile
|
|
256
287
|
- smoke/block/a.rb
|
|
257
288
|
- smoke/block/a.rbs
|
|
@@ -259,14 +290,10 @@ files:
|
|
|
259
290
|
- smoke/block/c.rb
|
|
260
291
|
- smoke/block/c.rbs
|
|
261
292
|
- smoke/block/d.rb
|
|
262
|
-
- smoke/block/
|
|
263
|
-
- smoke/broken/Steepfile
|
|
264
|
-
- smoke/broken/broken.rb
|
|
265
|
-
- smoke/broken/broken.rbs
|
|
266
|
-
- smoke/broken/test.yaml
|
|
293
|
+
- smoke/block/test_expectations.yml
|
|
267
294
|
- smoke/case/Steepfile
|
|
268
295
|
- smoke/case/a.rb
|
|
269
|
-
- smoke/case/
|
|
296
|
+
- smoke/case/test_expectations.yml
|
|
270
297
|
- smoke/class/Steepfile
|
|
271
298
|
- smoke/class/a.rb
|
|
272
299
|
- smoke/class/a.rbs
|
|
@@ -278,15 +305,15 @@ files:
|
|
|
278
305
|
- smoke/class/h.rbs
|
|
279
306
|
- smoke/class/i.rb
|
|
280
307
|
- smoke/class/i.rbs
|
|
281
|
-
- smoke/class/
|
|
308
|
+
- smoke/class/test_expectations.yml
|
|
282
309
|
- smoke/const/Steepfile
|
|
283
310
|
- smoke/const/a.rb
|
|
284
311
|
- smoke/const/b.rb
|
|
285
312
|
- smoke/const/b.rbs
|
|
286
|
-
- smoke/const/
|
|
313
|
+
- smoke/const/test_expectations.yml
|
|
287
314
|
- smoke/diagnostics-rbs-duplicated/Steepfile
|
|
288
315
|
- smoke/diagnostics-rbs-duplicated/a.rbs
|
|
289
|
-
- smoke/diagnostics-rbs-duplicated/
|
|
316
|
+
- smoke/diagnostics-rbs-duplicated/test_expectations.yml
|
|
290
317
|
- smoke/diagnostics-rbs/Steepfile
|
|
291
318
|
- smoke/diagnostics-rbs/duplicated-method-definition.rbs
|
|
292
319
|
- smoke/diagnostics-rbs/generic-parameter-mismatch.rbs
|
|
@@ -296,9 +323,14 @@ files:
|
|
|
296
323
|
- smoke/diagnostics-rbs/recursive-alias.rbs
|
|
297
324
|
- smoke/diagnostics-rbs/recursive-class.rbs
|
|
298
325
|
- smoke/diagnostics-rbs/superclass-mismatch.rbs
|
|
299
|
-
- smoke/diagnostics-rbs/
|
|
326
|
+
- smoke/diagnostics-rbs/test_expectations.yml
|
|
300
327
|
- smoke/diagnostics-rbs/unknown-method-alias.rbs
|
|
328
|
+
- smoke/diagnostics-rbs/unknown-type-name-2.rbs
|
|
301
329
|
- smoke/diagnostics-rbs/unknown-type-name.rbs
|
|
330
|
+
- smoke/diagnostics-ruby-unsat/Steepfile
|
|
331
|
+
- smoke/diagnostics-ruby-unsat/a.rbs
|
|
332
|
+
- smoke/diagnostics-ruby-unsat/test_expectations.yml
|
|
333
|
+
- smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb
|
|
302
334
|
- smoke/diagnostics/Steepfile
|
|
303
335
|
- smoke/diagnostics/a.rbs
|
|
304
336
|
- smoke/diagnostics/argument_type_mismatch.rb
|
|
@@ -317,7 +349,7 @@ files:
|
|
|
317
349
|
- smoke/diagnostics/no_method.rb
|
|
318
350
|
- smoke/diagnostics/required_block_missing.rb
|
|
319
351
|
- smoke/diagnostics/return_type_mismatch.rb
|
|
320
|
-
- smoke/diagnostics/
|
|
352
|
+
- smoke/diagnostics/test_expectations.yml
|
|
321
353
|
- smoke/diagnostics/unexpected_block_given.rb
|
|
322
354
|
- smoke/diagnostics/unexpected_dynamic_method.rb
|
|
323
355
|
- smoke/diagnostics/unexpected_jump.rb
|
|
@@ -327,18 +359,17 @@ files:
|
|
|
327
359
|
- smoke/diagnostics/unexpected_yield.rb
|
|
328
360
|
- smoke/diagnostics/unknown_constant_assigned.rb
|
|
329
361
|
- smoke/diagnostics/unresolved_overloading.rb
|
|
330
|
-
- smoke/diagnostics/unsatisfiable_constraint.rb
|
|
331
362
|
- smoke/diagnostics/unsupported_syntax.rb
|
|
332
363
|
- smoke/dstr/Steepfile
|
|
333
364
|
- smoke/dstr/a.rb
|
|
334
|
-
- smoke/dstr/
|
|
365
|
+
- smoke/dstr/test_expectations.yml
|
|
335
366
|
- smoke/ensure/Steepfile
|
|
336
367
|
- smoke/ensure/a.rb
|
|
337
|
-
- smoke/ensure/
|
|
368
|
+
- smoke/ensure/test_expectations.yml
|
|
338
369
|
- smoke/enumerator/Steepfile
|
|
339
370
|
- smoke/enumerator/a.rb
|
|
340
371
|
- smoke/enumerator/b.rb
|
|
341
|
-
- smoke/enumerator/
|
|
372
|
+
- smoke/enumerator/test_expectations.yml
|
|
342
373
|
- smoke/extension/Steepfile
|
|
343
374
|
- smoke/extension/a.rb
|
|
344
375
|
- smoke/extension/a.rbs
|
|
@@ -347,7 +378,9 @@ files:
|
|
|
347
378
|
- smoke/extension/d.rb
|
|
348
379
|
- smoke/extension/e.rb
|
|
349
380
|
- smoke/extension/e.rbs
|
|
350
|
-
- smoke/extension/
|
|
381
|
+
- smoke/extension/f.rb
|
|
382
|
+
- smoke/extension/f.rbs
|
|
383
|
+
- smoke/extension/test_expectations.yml
|
|
351
384
|
- smoke/hash/Steepfile
|
|
352
385
|
- smoke/hash/a.rb
|
|
353
386
|
- smoke/hash/a.rbs
|
|
@@ -357,43 +390,45 @@ files:
|
|
|
357
390
|
- smoke/hash/e.rb
|
|
358
391
|
- smoke/hash/e.rbs
|
|
359
392
|
- smoke/hash/f.rb
|
|
360
|
-
- smoke/hash/
|
|
393
|
+
- smoke/hash/test_expectations.yml
|
|
361
394
|
- smoke/hello/Steepfile
|
|
362
395
|
- smoke/hello/hello.rb
|
|
363
396
|
- smoke/hello/hello.rbs
|
|
364
|
-
- smoke/hello/
|
|
397
|
+
- smoke/hello/test_expectations.yml
|
|
365
398
|
- smoke/if/Steepfile
|
|
366
399
|
- smoke/if/a.rb
|
|
367
|
-
- smoke/if/
|
|
400
|
+
- smoke/if/test_expectations.yml
|
|
368
401
|
- smoke/implements/Steepfile
|
|
369
402
|
- smoke/implements/a.rb
|
|
370
403
|
- smoke/implements/a.rbs
|
|
371
|
-
- smoke/implements/
|
|
404
|
+
- smoke/implements/b.rb
|
|
405
|
+
- smoke/implements/b.rbs
|
|
406
|
+
- smoke/implements/test_expectations.yml
|
|
372
407
|
- smoke/initialize/Steepfile
|
|
373
408
|
- smoke/initialize/a.rb
|
|
374
409
|
- smoke/initialize/a.rbs
|
|
375
|
-
- smoke/initialize/
|
|
410
|
+
- smoke/initialize/test_expectations.yml
|
|
376
411
|
- smoke/integer/Steepfile
|
|
377
412
|
- smoke/integer/a.rb
|
|
378
|
-
- smoke/integer/
|
|
413
|
+
- smoke/integer/test_expectations.yml
|
|
379
414
|
- smoke/interface/Steepfile
|
|
380
415
|
- smoke/interface/a.rb
|
|
381
416
|
- smoke/interface/a.rbs
|
|
382
|
-
- smoke/interface/
|
|
417
|
+
- smoke/interface/test_expectations.yml
|
|
383
418
|
- smoke/kwbegin/Steepfile
|
|
384
419
|
- smoke/kwbegin/a.rb
|
|
385
|
-
- smoke/kwbegin/
|
|
420
|
+
- smoke/kwbegin/test_expectations.yml
|
|
386
421
|
- smoke/lambda/Steepfile
|
|
387
422
|
- smoke/lambda/a.rb
|
|
388
|
-
- smoke/lambda/
|
|
423
|
+
- smoke/lambda/test_expectations.yml
|
|
389
424
|
- smoke/literal/Steepfile
|
|
390
425
|
- smoke/literal/a.rb
|
|
391
426
|
- smoke/literal/b.rb
|
|
392
427
|
- smoke/literal/literal_methods.rbs
|
|
393
|
-
- smoke/literal/
|
|
428
|
+
- smoke/literal/test_expectations.yml
|
|
394
429
|
- smoke/map/Steepfile
|
|
395
430
|
- smoke/map/a.rb
|
|
396
|
-
- smoke/map/
|
|
431
|
+
- smoke/map/test_expectations.yml
|
|
397
432
|
- smoke/method/Steepfile
|
|
398
433
|
- smoke/method/a.rb
|
|
399
434
|
- smoke/method/a.rbs
|
|
@@ -401,7 +436,7 @@ files:
|
|
|
401
436
|
- smoke/method/c.rb
|
|
402
437
|
- smoke/method/d.rb
|
|
403
438
|
- smoke/method/d.rbs
|
|
404
|
-
- smoke/method/
|
|
439
|
+
- smoke/method/test_expectations.yml
|
|
405
440
|
- smoke/module/Steepfile
|
|
406
441
|
- smoke/module/a.rb
|
|
407
442
|
- smoke/module/a.rbs
|
|
@@ -410,53 +445,65 @@ files:
|
|
|
410
445
|
- smoke/module/d.rb
|
|
411
446
|
- smoke/module/e.rb
|
|
412
447
|
- smoke/module/f.rb
|
|
413
|
-
- smoke/module/
|
|
448
|
+
- smoke/module/test_expectations.yml
|
|
414
449
|
- smoke/regexp/Steepfile
|
|
415
450
|
- smoke/regexp/a.rb
|
|
416
451
|
- smoke/regexp/b.rb
|
|
417
|
-
- smoke/regexp/
|
|
452
|
+
- smoke/regexp/test_expectations.yml
|
|
418
453
|
- smoke/regression/Steepfile
|
|
419
454
|
- smoke/regression/array.rb
|
|
420
455
|
- smoke/regression/fun.rb
|
|
421
456
|
- smoke/regression/fun.rbs
|
|
422
457
|
- smoke/regression/hash.rb
|
|
458
|
+
- smoke/regression/issue_328.rb
|
|
459
|
+
- smoke/regression/issue_328.rbs
|
|
460
|
+
- smoke/regression/issue_332.rb
|
|
461
|
+
- smoke/regression/issue_332.rbs
|
|
462
|
+
- smoke/regression/issue_372.rb
|
|
463
|
+
- smoke/regression/issue_372.rbs
|
|
464
|
+
- smoke/regression/masgn.rb
|
|
423
465
|
- smoke/regression/poly_new.rb
|
|
424
466
|
- smoke/regression/poly_new.rbs
|
|
425
467
|
- smoke/regression/range.rb
|
|
426
468
|
- smoke/regression/set_divide.rb
|
|
427
|
-
- smoke/regression/
|
|
469
|
+
- smoke/regression/test_expectations.yml
|
|
470
|
+
- smoke/regression/thread.rb
|
|
428
471
|
- smoke/rescue/Steepfile
|
|
429
472
|
- smoke/rescue/a.rb
|
|
430
|
-
- smoke/rescue/
|
|
473
|
+
- smoke/rescue/test_expectations.yml
|
|
431
474
|
- smoke/self/Steepfile
|
|
432
475
|
- smoke/self/a.rb
|
|
433
476
|
- smoke/self/a.rbs
|
|
434
|
-
- smoke/self/
|
|
477
|
+
- smoke/self/test_expectations.yml
|
|
435
478
|
- smoke/skip/Steepfile
|
|
436
479
|
- smoke/skip/skip.rb
|
|
437
|
-
- smoke/skip/
|
|
480
|
+
- smoke/skip/test_expectations.yml
|
|
438
481
|
- smoke/stdout/Steepfile
|
|
439
482
|
- smoke/stdout/a.rb
|
|
440
483
|
- smoke/stdout/a.rbs
|
|
441
|
-
- smoke/stdout/
|
|
484
|
+
- smoke/stdout/test_expectations.yml
|
|
442
485
|
- smoke/super/Steepfile
|
|
443
486
|
- smoke/super/a.rb
|
|
444
487
|
- smoke/super/a.rbs
|
|
445
|
-
- smoke/super/
|
|
488
|
+
- smoke/super/test_expectations.yml
|
|
446
489
|
- smoke/toplevel/Steepfile
|
|
447
490
|
- smoke/toplevel/a.rb
|
|
448
491
|
- smoke/toplevel/a.rbs
|
|
449
|
-
- smoke/toplevel/
|
|
492
|
+
- smoke/toplevel/test_expectations.yml
|
|
450
493
|
- smoke/tsort/Steepfile
|
|
451
494
|
- smoke/tsort/a.rb
|
|
452
|
-
- smoke/tsort/
|
|
495
|
+
- smoke/tsort/test_expectations.yml
|
|
453
496
|
- smoke/type_case/Steepfile
|
|
454
497
|
- smoke/type_case/a.rb
|
|
455
|
-
- smoke/type_case/
|
|
498
|
+
- smoke/type_case/test_expectations.yml
|
|
499
|
+
- smoke/unexpected/Steepfile
|
|
500
|
+
- smoke/unexpected/test_expectations.yml
|
|
501
|
+
- smoke/unexpected/unexpected.rb
|
|
502
|
+
- smoke/unexpected/unexpected.rbs
|
|
456
503
|
- smoke/yield/Steepfile
|
|
457
504
|
- smoke/yield/a.rb
|
|
458
505
|
- smoke/yield/b.rb
|
|
459
|
-
- smoke/yield/
|
|
506
|
+
- smoke/yield/test_expectations.yml
|
|
460
507
|
- steep.gemspec
|
|
461
508
|
homepage: https://github.com/soutaro/steep
|
|
462
509
|
licenses:
|
|
@@ -465,7 +512,7 @@ metadata:
|
|
|
465
512
|
homepage_uri: https://github.com/soutaro/steep
|
|
466
513
|
source_code_uri: https://github.com/soutaro/steep
|
|
467
514
|
changelog_uri: https://github.com/soutaro/steep/blob/master/CHANGELOG.md
|
|
468
|
-
post_install_message:
|
|
515
|
+
post_install_message:
|
|
469
516
|
rdoc_options: []
|
|
470
517
|
require_paths:
|
|
471
518
|
- lib
|
|
@@ -480,8 +527,8 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
|
480
527
|
- !ruby/object:Gem::Version
|
|
481
528
|
version: '0'
|
|
482
529
|
requirements: []
|
|
483
|
-
rubygems_version: 3.
|
|
484
|
-
signing_key:
|
|
530
|
+
rubygems_version: 3.2.3
|
|
531
|
+
signing_key:
|
|
485
532
|
specification_version: 4
|
|
486
533
|
summary: Gradual Typing for Ruby
|
|
487
534
|
test_files: []
|