steep 1.7.0.dev.4 → 1.7.1

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 (153) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +49 -0
  3. data/README.md +18 -0
  4. data/doc/shape.md +18 -0
  5. data/guides/src/gem-rbs-collection/gem-rbs-collection.md +7 -24
  6. data/lib/steep/interface/builder.rb +11 -4
  7. data/lib/steep/rake_task.rb +132 -0
  8. data/lib/steep/signature/validator.rb +184 -132
  9. data/lib/steep/subtyping/check.rb +25 -21
  10. data/lib/steep/type_construction.rb +1 -0
  11. data/lib/steep/version.rb +1 -1
  12. data/steep.gemspec +4 -1
  13. metadata +3 -142
  14. data/.github/dependabot.yml +0 -28
  15. data/.github/workflows/ruby-windows.yml +0 -35
  16. data/.github/workflows/ruby.yml +0 -32
  17. data/.vscode/steep-shared.code-snippets +0 -41
  18. data/Gemfile +0 -14
  19. data/Gemfile.lock +0 -104
  20. data/Gemfile.steep +0 -0
  21. data/gemfile_steep/Gemfile +0 -3
  22. data/gemfile_steep/Gemfile.lock +0 -77
  23. data/rbs_collection.steep.lock.yaml +0 -108
  24. data/rbs_collection.steep.yaml +0 -23
  25. data/sig/shims/bundler.rbs +0 -3
  26. data/sig/shims/concurrent-ruby.rbs +0 -39
  27. data/sig/shims/exception.rbs +0 -4
  28. data/sig/shims/language-server_protocol.rbs +0 -450
  29. data/sig/shims/parser/comment.rbs +0 -33
  30. data/sig/shims/parser/nodes.rbs +0 -252
  31. data/sig/shims/parser/source/map.rbs +0 -146
  32. data/sig/shims/parser/source/range.rbs +0 -237
  33. data/sig/shims/parser.rbs +0 -69
  34. data/sig/shims/string.rbs +0 -4
  35. data/sig/shims/tagged_logging.rbs +0 -6
  36. data/sig/shims/yaml.rbs +0 -4
  37. data/sig/steep/annotation_parser.rbs +0 -60
  38. data/sig/steep/ast/annotation/collection.rbs +0 -78
  39. data/sig/steep/ast/annotation.rbs +0 -121
  40. data/sig/steep/ast/builtin.rbs +0 -69
  41. data/sig/steep/ast/ignore.rbs +0 -66
  42. data/sig/steep/ast/node/type_application.rbs +0 -31
  43. data/sig/steep/ast/node/type_assertion.rbs +0 -32
  44. data/sig/steep/ast/types/any.rbs +0 -29
  45. data/sig/steep/ast/types/boolean.rbs +0 -31
  46. data/sig/steep/ast/types/bot.rbs +0 -29
  47. data/sig/steep/ast/types/class.rbs +0 -33
  48. data/sig/steep/ast/types/factory.rbs +0 -110
  49. data/sig/steep/ast/types/helper.rbs +0 -24
  50. data/sig/steep/ast/types/instance.rbs +0 -33
  51. data/sig/steep/ast/types/intersection.rbs +0 -40
  52. data/sig/steep/ast/types/literal.rbs +0 -35
  53. data/sig/steep/ast/types/logic.rbs +0 -83
  54. data/sig/steep/ast/types/name.rbs +0 -84
  55. data/sig/steep/ast/types/nil.rbs +0 -31
  56. data/sig/steep/ast/types/proc.rbs +0 -53
  57. data/sig/steep/ast/types/record.rbs +0 -39
  58. data/sig/steep/ast/types/self.rbs +0 -33
  59. data/sig/steep/ast/types/top.rbs +0 -29
  60. data/sig/steep/ast/types/tuple.rbs +0 -37
  61. data/sig/steep/ast/types/union.rbs +0 -40
  62. data/sig/steep/ast/types/var.rbs +0 -42
  63. data/sig/steep/ast/types/void.rbs +0 -29
  64. data/sig/steep/ast/types.rbs +0 -16
  65. data/sig/steep/cli.rbs +0 -55
  66. data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs +0 -13
  67. data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs +0 -15
  68. data/sig/steep/diagnostic/helper.rbs +0 -15
  69. data/sig/steep/diagnostic/lsp_formatter.rbs +0 -36
  70. data/sig/steep/diagnostic/ruby.rbs +0 -703
  71. data/sig/steep/diagnostic/signature.rbs +0 -252
  72. data/sig/steep/drivers/annotations.rbs +0 -17
  73. data/sig/steep/drivers/check.rbs +0 -33
  74. data/sig/steep/drivers/checkfile.rbs +0 -27
  75. data/sig/steep/drivers/diagnostic_printer.rbs +0 -25
  76. data/sig/steep/drivers/init.rbs +0 -19
  77. data/sig/steep/drivers/langserver.rbs +0 -36
  78. data/sig/steep/drivers/print_project.rbs +0 -15
  79. data/sig/steep/drivers/stats.rbs +0 -47
  80. data/sig/steep/drivers/utils/driver_helper.rbs +0 -25
  81. data/sig/steep/drivers/utils/jobs_option.rbs +0 -19
  82. data/sig/steep/drivers/validate.rbs +0 -15
  83. data/sig/steep/drivers/vendor.rbs +0 -19
  84. data/sig/steep/drivers/watch.rbs +0 -27
  85. data/sig/steep/drivers/worker.rbs +0 -29
  86. data/sig/steep/equatable.rbs +0 -11
  87. data/sig/steep/expectations.rbs +0 -72
  88. data/sig/steep/index/rbs_index.rbs +0 -141
  89. data/sig/steep/index/signature_symbol_provider.rbs +0 -41
  90. data/sig/steep/index/source_index.rbs +0 -63
  91. data/sig/steep/interface/block.rbs +0 -41
  92. data/sig/steep/interface/builder.rbs +0 -111
  93. data/sig/steep/interface/function.rbs +0 -271
  94. data/sig/steep/interface/method_type.rbs +0 -105
  95. data/sig/steep/interface/shape.rbs +0 -80
  96. data/sig/steep/interface/substitution.rbs +0 -51
  97. data/sig/steep/interface/type_param.rbs +0 -43
  98. data/sig/steep/method_name.rbs +0 -30
  99. data/sig/steep/module_helper.rbs +0 -16
  100. data/sig/steep/node_helper.rbs +0 -91
  101. data/sig/steep/path_helper.rbs +0 -15
  102. data/sig/steep/project/dsl.rbs +0 -108
  103. data/sig/steep/project/options.rbs +0 -47
  104. data/sig/steep/project/pattern.rbs +0 -47
  105. data/sig/steep/project/target.rbs +0 -25
  106. data/sig/steep/project.rbs +0 -26
  107. data/sig/steep/range_extension.rbs +0 -7
  108. data/sig/steep/server/base_worker.rbs +0 -49
  109. data/sig/steep/server/change_buffer.rbs +0 -38
  110. data/sig/steep/server/delay_queue.rbs +0 -37
  111. data/sig/steep/server/interaction_worker.rbs +0 -90
  112. data/sig/steep/server/lsp_formatter.rbs +0 -63
  113. data/sig/steep/server/master.rbs +0 -299
  114. data/sig/steep/server/type_check_worker.rbs +0 -141
  115. data/sig/steep/server/worker_process.rbs +0 -97
  116. data/sig/steep/services/completion_provider.rbs +0 -264
  117. data/sig/steep/services/content_change.rbs +0 -37
  118. data/sig/steep/services/file_loader.rbs +0 -21
  119. data/sig/steep/services/goto_service.rbs +0 -106
  120. data/sig/steep/services/hover_provider/rbs.rbs +0 -47
  121. data/sig/steep/services/hover_provider/ruby.rbs +0 -127
  122. data/sig/steep/services/hover_provider/singleton_methods.rbs +0 -11
  123. data/sig/steep/services/path_assignment.rbs +0 -21
  124. data/sig/steep/services/signature_help_provider.rbs +0 -51
  125. data/sig/steep/services/signature_service.rbs +0 -156
  126. data/sig/steep/services/stats_calculator.rbs +0 -41
  127. data/sig/steep/services/type_check_service.rbs +0 -112
  128. data/sig/steep/services/type_name_completion.rbs +0 -135
  129. data/sig/steep/signature/validator.rbs +0 -85
  130. data/sig/steep/source/ignore_ranges.rbs +0 -38
  131. data/sig/steep/source.rbs +0 -105
  132. data/sig/steep/subtyping/cache.rbs +0 -17
  133. data/sig/steep/subtyping/check.rbs +0 -131
  134. data/sig/steep/subtyping/constraints.rbs +0 -111
  135. data/sig/steep/subtyping/relation.rbs +0 -63
  136. data/sig/steep/subtyping/result.rbs +0 -179
  137. data/sig/steep/subtyping/variable_variance.rbs +0 -25
  138. data/sig/steep/thread_waiter.rbs +0 -13
  139. data/sig/steep/type_construction.rbs +0 -542
  140. data/sig/steep/type_inference/block_params.rbs +0 -170
  141. data/sig/steep/type_inference/case_when.rbs +0 -130
  142. data/sig/steep/type_inference/constant_env.rbs +0 -29
  143. data/sig/steep/type_inference/context.rbs +0 -216
  144. data/sig/steep/type_inference/context_array.rbs +0 -38
  145. data/sig/steep/type_inference/logic_type_interpreter.rbs +0 -108
  146. data/sig/steep/type_inference/method_call.rbs +0 -124
  147. data/sig/steep/type_inference/method_params.rbs +0 -127
  148. data/sig/steep/type_inference/multiple_assignment.rbs +0 -76
  149. data/sig/steep/type_inference/send_args.rbs +0 -243
  150. data/sig/steep/type_inference/type_env.rbs +0 -160
  151. data/sig/steep/type_inference/type_env_builder.rbs +0 -81
  152. data/sig/steep/typing.rbs +0 -75
  153. data/sig/steep.rbs +0 -45
data/sig/steep/cli.rbs DELETED
@@ -1,55 +0,0 @@
1
- module Steep
2
- class CLI
3
- attr_reader argv: Array[String]
4
-
5
- attr_reader stdout: IO
6
-
7
- attr_reader stdin: IO
8
-
9
- attr_reader stderr: IO
10
-
11
- attr_reader command: Symbol
12
-
13
- def initialize: (stdout: IO, stdin: IO, stderr: IO, argv: Array[String]) -> void
14
-
15
- def self.available_commands: () -> ::Array[Symbol]
16
-
17
- def process_global_options: () -> bool
18
-
19
- def setup_command: () -> bool
20
-
21
- def run: () -> Integer
22
-
23
- def handle_logging_options: (OptionParser opts) -> void
24
-
25
- def handle_jobs_option: (Drivers::Utils::JobsOption jobs_option, OptionParser opts) -> void
26
-
27
- def setup_jobs_for_ci: (Drivers::Utils::JobsOption) -> void
28
-
29
- def process_init: () -> Integer
30
-
31
- def process_check: () -> Integer
32
-
33
- def process_checkfile: () -> Integer
34
-
35
- def process_stats: () -> Integer
36
-
37
- def process_validate: () -> Integer
38
-
39
- def process_annotations: () -> Integer
40
-
41
- def process_project: () -> Integer
42
-
43
- def process_watch: () -> Integer
44
-
45
- def process_langserver: () -> Integer
46
-
47
- def process_vendor: () -> Integer
48
-
49
- def process_binstub: () -> Integer
50
-
51
- def process_version: () -> Integer
52
-
53
- def process_worker: () -> Integer
54
- end
55
- end
data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs DELETED
@@ -1,13 +0,0 @@
1
- module Steep
2
- module Diagnostic
3
- module Ruby
4
- class ElseOnExhaustiveCase < Base
5
- attr_reader type: untyped
6
-
7
- def initialize: (node: untyped, type: untyped) -> void
8
-
9
- def header_line: () -> String
10
- end
11
- end
12
- end
13
- end
data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs DELETED
@@ -1,15 +0,0 @@
1
- module Steep
2
- module Diagnostic
3
- module Ruby
4
- class UnknownConstantAssigned < Base
5
- attr_reader context: untyped
6
-
7
- attr_reader name: untyped
8
-
9
- def initialize: (node: untyped, context: untyped, name: untyped) -> void
10
-
11
- def header_line: () -> ::String
12
- end
13
- end
14
- end
15
- end
data/sig/steep/diagnostic/helper.rbs DELETED
@@ -1,15 +0,0 @@
1
- module Steep
2
- module Diagnostic
3
- module Helper : _DiagnosticMessage
4
- def error_name: () -> String
5
-
6
- def full_message: () -> String
7
- end
8
-
9
- interface _DiagnosticMessage
10
- %a{pure} def detail_lines: () -> String?
11
-
12
- def header_line: () -> String
13
- end
14
- end
15
- end
data/sig/steep/diagnostic/lsp_formatter.rbs DELETED
@@ -1,36 +0,0 @@
1
- use LanguageServer::Protocol::Constant::DiagnosticSeverity as LSPDiagnosticSeverity
2
- use LanguageServer::Protocol::Interface::Diagnostic as LSPDiagnostic
3
-
4
- module Steep
5
- module Diagnostic
6
- class LSPFormatter
7
- module LSP = LanguageServer::Protocol
8
-
9
- type config = Hash[singleton(Diagnostic::Ruby::Base) | singleton(Diagnostic::Signature::Base), severity?]
10
-
11
- type severity = :error | :warning | :information | :hint
12
-
13
- attr_reader config: config
14
-
15
- attr_reader default_severity: severity
16
-
17
- ERROR: :error
18
-
19
- WARNING: :warning
20
-
21
- INFORMATION: :information
22
-
23
- HINT: :hint
24
-
25
- def initialize: (?config config, ?default_severity: severity) -> void
26
-
27
- def validate_class: (Class klass) -> void
28
-
29
- def validate_severity: (Class | :default klass, severity?) -> void
30
-
31
- def format: (Diagnostic::Ruby::Base | Diagnostic::Signature::Base) -> LSPDiagnostic::json?
32
-
33
- def severity_for: (Diagnostic::Ruby::Base | Diagnostic::Signature::Base) -> LSPDiagnosticSeverity::t?
34
- end
35
- end
36
- end