steep 1.6.0 → 1.7.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (453) hide show
  1. checksums.yaml +4 -4
  2. data/.gitignore +0 -1
  3. data/CHANGELOG.md +49 -0
  4. data/README.md +18 -0
  5. data/Rakefile +5 -0
  6. data/bin/output_test.rb +1 -0
  7. data/doc/narrowing.md +195 -0
  8. data/doc/shape.md +194 -0
  9. data/guides/src/gem-rbs-collection/gem-rbs-collection.md +7 -24
  10. data/guides/src/getting-started/getting-started.md +10 -11
  11. data/lib/steep/ast/ignore.rb +148 -0
  12. data/lib/steep/ast/types/factory.rb +27 -18
  13. data/lib/steep/ast/types/helper.rb +4 -0
  14. data/lib/steep/ast/types/intersection.rb +7 -0
  15. data/lib/steep/ast/types/proc.rb +14 -9
  16. data/lib/steep/ast/types/record.rb +7 -0
  17. data/lib/steep/ast/types/tuple.rb +7 -0
  18. data/lib/steep/ast/types/union.rb +7 -0
  19. data/lib/steep/cli.rb +6 -1
  20. data/lib/steep/diagnostic/ruby.rb +16 -0
  21. data/lib/steep/drivers/stats.rb +2 -2
  22. data/lib/steep/drivers/utils/driver_helper.rb +22 -11
  23. data/lib/steep/drivers/validate.rb +4 -2
  24. data/lib/steep/expectations.rb +2 -2
  25. data/lib/steep/interface/block.rb +1 -1
  26. data/lib/steep/interface/builder.rb +342 -358
  27. data/lib/steep/interface/function.rb +82 -11
  28. data/lib/steep/interface/method_type.rb +18 -10
  29. data/lib/steep/interface/shape.rb +69 -18
  30. data/lib/steep/interface/substitution.rb +4 -0
  31. data/lib/steep/node_helper.rb +30 -1
  32. data/lib/steep/project/dsl.rb +18 -21
  33. data/lib/steep/project/options.rb +39 -2
  34. data/lib/steep/project/pattern.rb +1 -2
  35. data/lib/steep/project.rb +11 -7
  36. data/lib/steep/rake_task.rb +132 -0
  37. data/lib/steep/server/change_buffer.rb +2 -2
  38. data/lib/steep/server/interaction_worker.rb +67 -11
  39. data/lib/steep/server/lsp_formatter.rb +2 -0
  40. data/lib/steep/server/worker_process.rb +3 -1
  41. data/lib/steep/services/completion_provider.rb +59 -26
  42. data/lib/steep/services/file_loader.rb +15 -19
  43. data/lib/steep/services/signature_help_provider.rb +37 -35
  44. data/lib/steep/services/type_check_service.rb +36 -8
  45. data/lib/steep/signature/validator.rb +185 -133
  46. data/lib/steep/source/ignore_ranges.rb +69 -0
  47. data/lib/steep/source.rb +10 -4
  48. data/lib/steep/subtyping/check.rb +50 -43
  49. data/lib/steep/subtyping/result.rb +6 -0
  50. data/lib/steep/subtyping/variable_variance.rb +3 -3
  51. data/lib/steep/test.rb +9 -0
  52. data/lib/steep/type_construction.rb +205 -309
  53. data/lib/steep/type_inference/block_params.rb +12 -4
  54. data/lib/steep/type_inference/case_when.rb +301 -0
  55. data/lib/steep/type_inference/context.rb +1 -1
  56. data/lib/steep/type_inference/logic_type_interpreter.rb +3 -2
  57. data/lib/steep/type_inference/method_params.rb +16 -0
  58. data/lib/steep/type_inference/send_args.rb +5 -2
  59. data/lib/steep/version.rb +1 -1
  60. data/lib/steep.rb +25 -8
  61. data/steep.gemspec +5 -2
  62. metadata +12 -396
  63. data/.github/dependabot.yml +0 -22
  64. data/.github/workflows/ruby-windows.yml +0 -34
  65. data/.github/workflows/ruby.yml +0 -33
  66. data/.vscode/steep-shared.code-snippets +0 -41
  67. data/Gemfile +0 -14
  68. data/Gemfile.lock +0 -104
  69. data/Gemfile.steep +0 -0
  70. data/gemfile_steep/Gemfile +0 -3
  71. data/gemfile_steep/Gemfile.lock +0 -64
  72. data/rbs_collection.steep.lock.yaml +0 -106
  73. data/rbs_collection.steep.yaml +0 -23
  74. data/sig/shims/bundler.rbs +0 -3
  75. data/sig/shims/concurrent-ruby.rbs +0 -39
  76. data/sig/shims/exception.rbs +0 -4
  77. data/sig/shims/language-server_protocol.rbs +0 -450
  78. data/sig/shims/parser/comment.rbs +0 -33
  79. data/sig/shims/parser/nodes.rbs +0 -252
  80. data/sig/shims/parser/source/map.rbs +0 -146
  81. data/sig/shims/parser/source/range.rbs +0 -237
  82. data/sig/shims/parser.rbs +0 -59
  83. data/sig/shims/string.rbs +0 -4
  84. data/sig/shims/tagged_logging.rbs +0 -6
  85. data/sig/steep/annotation_parser.rbs +0 -60
  86. data/sig/steep/ast/annotation/collection.rbs +0 -78
  87. data/sig/steep/ast/annotation.rbs +0 -121
  88. data/sig/steep/ast/builtin.rbs +0 -69
  89. data/sig/steep/ast/node/type_application.rbs +0 -31
  90. data/sig/steep/ast/node/type_assertion.rbs +0 -32
  91. data/sig/steep/ast/types/any.rbs +0 -29
  92. data/sig/steep/ast/types/boolean.rbs +0 -31
  93. data/sig/steep/ast/types/bot.rbs +0 -29
  94. data/sig/steep/ast/types/class.rbs +0 -33
  95. data/sig/steep/ast/types/factory.rbs +0 -110
  96. data/sig/steep/ast/types/helper.rbs +0 -22
  97. data/sig/steep/ast/types/instance.rbs +0 -33
  98. data/sig/steep/ast/types/intersection.rbs +0 -38
  99. data/sig/steep/ast/types/literal.rbs +0 -35
  100. data/sig/steep/ast/types/logic.rbs +0 -83
  101. data/sig/steep/ast/types/name.rbs +0 -80
  102. data/sig/steep/ast/types/nil.rbs +0 -31
  103. data/sig/steep/ast/types/proc.rbs +0 -53
  104. data/sig/steep/ast/types/record.rbs +0 -37
  105. data/sig/steep/ast/types/self.rbs +0 -33
  106. data/sig/steep/ast/types/top.rbs +0 -29
  107. data/sig/steep/ast/types/tuple.rbs +0 -35
  108. data/sig/steep/ast/types/union.rbs +0 -38
  109. data/sig/steep/ast/types/var.rbs +0 -42
  110. data/sig/steep/ast/types/void.rbs +0 -29
  111. data/sig/steep/ast/types.rbs +0 -16
  112. data/sig/steep/cli.rbs +0 -55
  113. data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs +0 -13
  114. data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs +0 -15
  115. data/sig/steep/diagnostic/helper.rbs +0 -15
  116. data/sig/steep/diagnostic/lsp_formatter.rbs +0 -36
  117. data/sig/steep/diagnostic/ruby.rbs +0 -695
  118. data/sig/steep/diagnostic/signature.rbs +0 -252
  119. data/sig/steep/drivers/annotations.rbs +0 -17
  120. data/sig/steep/drivers/check.rbs +0 -33
  121. data/sig/steep/drivers/checkfile.rbs +0 -27
  122. data/sig/steep/drivers/diagnostic_printer.rbs +0 -25
  123. data/sig/steep/drivers/init.rbs +0 -19
  124. data/sig/steep/drivers/langserver.rbs +0 -36
  125. data/sig/steep/drivers/print_project.rbs +0 -15
  126. data/sig/steep/drivers/stats.rbs +0 -47
  127. data/sig/steep/drivers/utils/driver_helper.rbs +0 -25
  128. data/sig/steep/drivers/utils/jobs_option.rbs +0 -19
  129. data/sig/steep/drivers/validate.rbs +0 -15
  130. data/sig/steep/drivers/vendor.rbs +0 -19
  131. data/sig/steep/drivers/watch.rbs +0 -27
  132. data/sig/steep/drivers/worker.rbs +0 -29
  133. data/sig/steep/equatable.rbs +0 -11
  134. data/sig/steep/expectations.rbs +0 -72
  135. data/sig/steep/index/rbs_index.rbs +0 -141
  136. data/sig/steep/index/signature_symbol_provider.rbs +0 -41
  137. data/sig/steep/index/source_index.rbs +0 -63
  138. data/sig/steep/interface/block.rbs +0 -41
  139. data/sig/steep/interface/builder.rbs +0 -166
  140. data/sig/steep/interface/function.rbs +0 -265
  141. data/sig/steep/interface/method_type.rbs +0 -105
  142. data/sig/steep/interface/shape.rbs +0 -61
  143. data/sig/steep/interface/substitution.rbs +0 -49
  144. data/sig/steep/interface/type_param.rbs +0 -43
  145. data/sig/steep/method_name.rbs +0 -30
  146. data/sig/steep/module_helper.rbs +0 -16
  147. data/sig/steep/node_helper.rbs +0 -78
  148. data/sig/steep/path_helper.rbs +0 -15
  149. data/sig/steep/project/dsl.rbs +0 -104
  150. data/sig/steep/project/options.rbs +0 -27
  151. data/sig/steep/project/pattern.rbs +0 -47
  152. data/sig/steep/project/target.rbs +0 -25
  153. data/sig/steep/project.rbs +0 -26
  154. data/sig/steep/range_extension.rbs +0 -7
  155. data/sig/steep/server/base_worker.rbs +0 -49
  156. data/sig/steep/server/change_buffer.rbs +0 -36
  157. data/sig/steep/server/delay_queue.rbs +0 -37
  158. data/sig/steep/server/interaction_worker.rbs +0 -80
  159. data/sig/steep/server/lsp_formatter.rbs +0 -63
  160. data/sig/steep/server/master.rbs +0 -299
  161. data/sig/steep/server/type_check_worker.rbs +0 -141
  162. data/sig/steep/server/worker_process.rbs +0 -97
  163. data/sig/steep/services/completion_provider.rbs +0 -251
  164. data/sig/steep/services/content_change.rbs +0 -37
  165. data/sig/steep/services/file_loader.rbs +0 -21
  166. data/sig/steep/services/goto_service.rbs +0 -106
  167. data/sig/steep/services/hover_provider/rbs.rbs +0 -47
  168. data/sig/steep/services/hover_provider/ruby.rbs +0 -127
  169. data/sig/steep/services/hover_provider/singleton_methods.rbs +0 -11
  170. data/sig/steep/services/path_assignment.rbs +0 -21
  171. data/sig/steep/services/signature_help_provider.rbs +0 -49
  172. data/sig/steep/services/signature_service.rbs +0 -156
  173. data/sig/steep/services/stats_calculator.rbs +0 -41
  174. data/sig/steep/services/type_check_service.rbs +0 -107
  175. data/sig/steep/services/type_name_completion.rbs +0 -135
  176. data/sig/steep/signature/validator.rbs +0 -85
  177. data/sig/steep/source.rbs +0 -102
  178. data/sig/steep/subtyping/cache.rbs +0 -17
  179. data/sig/steep/subtyping/check.rbs +0 -129
  180. data/sig/steep/subtyping/constraints.rbs +0 -111
  181. data/sig/steep/subtyping/relation.rbs +0 -63
  182. data/sig/steep/subtyping/result.rbs +0 -175
  183. data/sig/steep/subtyping/variable_variance.rbs +0 -25
  184. data/sig/steep/thread_waiter.rbs +0 -13
  185. data/sig/steep/type_construction.rbs +0 -567
  186. data/sig/steep/type_inference/block_params.rbs +0 -170
  187. data/sig/steep/type_inference/constant_env.rbs +0 -29
  188. data/sig/steep/type_inference/context.rbs +0 -214
  189. data/sig/steep/type_inference/context_array.rbs +0 -38
  190. data/sig/steep/type_inference/logic_type_interpreter.rbs +0 -108
  191. data/sig/steep/type_inference/method_call.rbs +0 -124
  192. data/sig/steep/type_inference/method_params.rbs +0 -127
  193. data/sig/steep/type_inference/multiple_assignment.rbs +0 -76
  194. data/sig/steep/type_inference/send_args.rbs +0 -243
  195. data/sig/steep/type_inference/type_env.rbs +0 -160
  196. data/sig/steep/type_inference/type_env_builder.rbs +0 -81
  197. data/sig/steep/typing.rbs +0 -75
  198. data/sig/steep.rbs +0 -36
  199. data/smoke/alias/Steepfile +0 -6
  200. data/smoke/alias/a.rb +0 -16
  201. data/smoke/alias/a.rbs +0 -10
  202. data/smoke/alias/b.rb +0 -6
  203. data/smoke/alias/c.rb +0 -8
  204. data/smoke/alias/test_expectations.yml +0 -96
  205. data/smoke/and/Steepfile +0 -6
  206. data/smoke/and/a.rb +0 -8
  207. data/smoke/and/test_expectations.yml +0 -29
  208. data/smoke/array/Steepfile +0 -6
  209. data/smoke/array/a.rb +0 -18
  210. data/smoke/array/b.rb +0 -12
  211. data/smoke/array/c.rb +0 -6
  212. data/smoke/array/test_expectations.yml +0 -103
  213. data/smoke/block/Steepfile +0 -6
  214. data/smoke/block/a.rb +0 -10
  215. data/smoke/block/a.rbs +0 -6
  216. data/smoke/block/b.rb +0 -13
  217. data/smoke/block/c.rb +0 -9
  218. data/smoke/block/c.rbs +0 -3
  219. data/smoke/block/d.rb +0 -11
  220. data/smoke/block/e.rb +0 -12
  221. data/smoke/block/e.rbs +0 -4
  222. data/smoke/block/test_expectations.yml +0 -133
  223. data/smoke/case/Steepfile +0 -6
  224. data/smoke/case/a.rb +0 -18
  225. data/smoke/case/test_expectations.yml +0 -47
  226. data/smoke/class/Steepfile +0 -6
  227. data/smoke/class/a.rb +0 -25
  228. data/smoke/class/a.rbs +0 -23
  229. data/smoke/class/b.rb +0 -5
  230. data/smoke/class/c.rb +0 -9
  231. data/smoke/class/f.rb +0 -10
  232. data/smoke/class/g.rb +0 -6
  233. data/smoke/class/h.rb +0 -19
  234. data/smoke/class/h.rbs +0 -6
  235. data/smoke/class/i.rb +0 -14
  236. data/smoke/class/i.rbs +0 -9
  237. data/smoke/class/test_expectations.yml +0 -117
  238. data/smoke/compact/Steepfile +0 -6
  239. data/smoke/compact/a.rb +0 -2
  240. data/smoke/compact/a.rbs +0 -5
  241. data/smoke/compact/b.rb +0 -2
  242. data/smoke/compact/test_expectations.yml +0 -18
  243. data/smoke/const/Steepfile +0 -6
  244. data/smoke/const/a.rb +0 -27
  245. data/smoke/const/b.rb +0 -7
  246. data/smoke/const/b.rbs +0 -5
  247. data/smoke/const/test_expectations.yml +0 -134
  248. data/smoke/diagnostics/Steepfile +0 -6
  249. data/smoke/diagnostics/a.rbs +0 -22
  250. data/smoke/diagnostics/argument_type_mismatch.rb +0 -1
  251. data/smoke/diagnostics/block_body_type_mismatch.rb +0 -1
  252. data/smoke/diagnostics/block_type_mismatch.rb +0 -3
  253. data/smoke/diagnostics/break_type_mismatch.rb +0 -1
  254. data/smoke/diagnostics/different_method_parameter_kind.rb +0 -9
  255. data/smoke/diagnostics/else_on_exhaustive_case.rb +0 -12
  256. data/smoke/diagnostics/incompatible_annotation.rb +0 -6
  257. data/smoke/diagnostics/incompatible_argument.rb +0 -1
  258. data/smoke/diagnostics/incompatible_assignment.rb +0 -8
  259. data/smoke/diagnostics/method_arity_mismatch.rb +0 -11
  260. data/smoke/diagnostics/method_body_type_mismatch.rb +0 -6
  261. data/smoke/diagnostics/method_definition_missing.rb +0 -2
  262. data/smoke/diagnostics/method_parameter_mismatch.rb +0 -10
  263. data/smoke/diagnostics/method_return_type_annotation_mismatch.rb +0 -7
  264. data/smoke/diagnostics/missing_keyword.rb +0 -1
  265. data/smoke/diagnostics/no_method.rb +0 -1
  266. data/smoke/diagnostics/proc_type_expected.rb +0 -3
  267. data/smoke/diagnostics/required_block_missing.rb +0 -1
  268. data/smoke/diagnostics/return_type_mismatch.rb +0 -6
  269. data/smoke/diagnostics/test_expectations.yml +0 -591
  270. data/smoke/diagnostics/unexpected_block_given.rb +0 -1
  271. data/smoke/diagnostics/unexpected_dynamic_method.rb +0 -3
  272. data/smoke/diagnostics/unexpected_jump.rb +0 -4
  273. data/smoke/diagnostics/unexpected_jump_value.rb +0 -3
  274. data/smoke/diagnostics/unexpected_keyword.rb +0 -1
  275. data/smoke/diagnostics/unexpected_splat.rb +0 -1
  276. data/smoke/diagnostics/unexpected_yield.rb +0 -6
  277. data/smoke/diagnostics/unknown_constant_assigned.rb +0 -7
  278. data/smoke/diagnostics/unresolved_overloading.rb +0 -1
  279. data/smoke/diagnostics/unsupported_syntax.rb +0 -2
  280. data/smoke/diagnostics-rbs/Steepfile +0 -8
  281. data/smoke/diagnostics-rbs/duplicated-method-definition.rbs +0 -20
  282. data/smoke/diagnostics-rbs/generic-parameter-mismatch.rbs +0 -7
  283. data/smoke/diagnostics-rbs/inherit-module.rbs +0 -2
  284. data/smoke/diagnostics-rbs/invalid-method-overload.rbs +0 -3
  285. data/smoke/diagnostics-rbs/invalid-type-application.rbs +0 -7
  286. data/smoke/diagnostics-rbs/invalid_variance_annotation.rbs +0 -3
  287. data/smoke/diagnostics-rbs/mixin-class-error.rbs +0 -6
  288. data/smoke/diagnostics-rbs/nonregular-type-alias.rbs +0 -3
  289. data/smoke/diagnostics-rbs/recursive-alias.rbs +0 -5
  290. data/smoke/diagnostics-rbs/recursive-class.rbs +0 -8
  291. data/smoke/diagnostics-rbs/recursive-type-alias.rbs +0 -3
  292. data/smoke/diagnostics-rbs/superclass-mismatch.rbs +0 -7
  293. data/smoke/diagnostics-rbs/test_expectations.yml +0 -300
  294. data/smoke/diagnostics-rbs/unknown-method-alias.rbs +0 -3
  295. data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +0 -5
  296. data/smoke/diagnostics-rbs/unknown-type-name.rbs +0 -13
  297. data/smoke/diagnostics-rbs-duplicated/Steepfile +0 -6
  298. data/smoke/diagnostics-rbs-duplicated/a.rbs +0 -5
  299. data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +0 -13
  300. data/smoke/diagnostics-ruby-unsat/Steepfile +0 -6
  301. data/smoke/diagnostics-ruby-unsat/a.rbs +0 -3
  302. data/smoke/diagnostics-ruby-unsat/test_expectations.yml +0 -27
  303. data/smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb +0 -6
  304. data/smoke/dstr/Steepfile +0 -6
  305. data/smoke/dstr/a.rb +0 -5
  306. data/smoke/dstr/test_expectations.yml +0 -13
  307. data/smoke/ensure/Steepfile +0 -6
  308. data/smoke/ensure/a.rb +0 -18
  309. data/smoke/ensure/test_expectations.yml +0 -62
  310. data/smoke/enumerator/Steepfile +0 -6
  311. data/smoke/enumerator/a.rb +0 -6
  312. data/smoke/enumerator/b.rb +0 -17
  313. data/smoke/enumerator/test_expectations.yml +0 -47
  314. data/smoke/extension/Steepfile +0 -6
  315. data/smoke/extension/a.rb +0 -10
  316. data/smoke/extension/a.rbs +0 -13
  317. data/smoke/extension/b.rb +0 -10
  318. data/smoke/extension/c.rb +0 -9
  319. data/smoke/extension/d.rb +0 -2
  320. data/smoke/extension/e.rb +0 -2
  321. data/smoke/extension/e.rbs +0 -7
  322. data/smoke/extension/f.rb +0 -2
  323. data/smoke/extension/f.rbs +0 -3
  324. data/smoke/extension/test_expectations.yml +0 -73
  325. data/smoke/hash/Steepfile +0 -6
  326. data/smoke/hash/a.rb +0 -17
  327. data/smoke/hash/a.rbs +0 -8
  328. data/smoke/hash/b.rb +0 -6
  329. data/smoke/hash/c.rb +0 -15
  330. data/smoke/hash/d.rb +0 -5
  331. data/smoke/hash/e.rb +0 -1
  332. data/smoke/hash/e.rbs +0 -3
  333. data/smoke/hash/f.rb +0 -11
  334. data/smoke/hash/test_expectations.yml +0 -81
  335. data/smoke/hello/Steepfile +0 -6
  336. data/smoke/hello/hello.rb +0 -11
  337. data/smoke/hello/hello.rbs +0 -7
  338. data/smoke/hello/test_expectations.yml +0 -25
  339. data/smoke/if/Steepfile +0 -6
  340. data/smoke/if/a.rb +0 -20
  341. data/smoke/if/test_expectations.yml +0 -34
  342. data/smoke/implements/Steepfile +0 -6
  343. data/smoke/implements/a.rb +0 -12
  344. data/smoke/implements/a.rbs +0 -6
  345. data/smoke/implements/b.rb +0 -13
  346. data/smoke/implements/b.rbs +0 -12
  347. data/smoke/implements/test_expectations.yml +0 -23
  348. data/smoke/initialize/Steepfile +0 -6
  349. data/smoke/initialize/a.rb +0 -12
  350. data/smoke/initialize/a.rbs +0 -3
  351. data/smoke/initialize/test_expectations.yml +0 -1
  352. data/smoke/integer/Steepfile +0 -6
  353. data/smoke/integer/a.rb +0 -26
  354. data/smoke/integer/test_expectations.yml +0 -110
  355. data/smoke/interface/Steepfile +0 -6
  356. data/smoke/interface/a.rb +0 -12
  357. data/smoke/interface/a.rbs +0 -12
  358. data/smoke/interface/test_expectations.yml +0 -23
  359. data/smoke/kwbegin/Steepfile +0 -6
  360. data/smoke/kwbegin/a.rb +0 -7
  361. data/smoke/kwbegin/test_expectations.yml +0 -17
  362. data/smoke/lambda/Steepfile +0 -6
  363. data/smoke/lambda/a.rb +0 -10
  364. data/smoke/lambda/test_expectations.yml +0 -17
  365. data/smoke/literal/Steepfile +0 -6
  366. data/smoke/literal/a.rb +0 -11
  367. data/smoke/literal/b.rb +0 -7
  368. data/smoke/literal/literal_methods.rbs +0 -4
  369. data/smoke/literal/test_expectations.yml +0 -106
  370. data/smoke/map/Steepfile +0 -6
  371. data/smoke/map/a.rb +0 -5
  372. data/smoke/map/test_expectations.yml +0 -1
  373. data/smoke/method/Steepfile +0 -6
  374. data/smoke/method/a.rb +0 -21
  375. data/smoke/method/a.rbs +0 -4
  376. data/smoke/method/b.rb +0 -25
  377. data/smoke/method/c.rb +0 -5
  378. data/smoke/method/d.rb +0 -1
  379. data/smoke/method/d.rbs +0 -3
  380. data/smoke/method/test_expectations.yml +0 -121
  381. data/smoke/module/Steepfile +0 -6
  382. data/smoke/module/a.rb +0 -19
  383. data/smoke/module/a.rbs +0 -16
  384. data/smoke/module/b.rb +0 -6
  385. data/smoke/module/c.rb +0 -22
  386. data/smoke/module/d.rb +0 -4
  387. data/smoke/module/e.rb +0 -13
  388. data/smoke/module/f.rb +0 -11
  389. data/smoke/module/test_expectations.yml +0 -75
  390. data/smoke/regexp/Steepfile +0 -6
  391. data/smoke/regexp/a.rb +0 -109
  392. data/smoke/regexp/b.rb +0 -79
  393. data/smoke/regexp/test_expectations.yml +0 -615
  394. data/smoke/regression/Steepfile +0 -6
  395. data/smoke/regression/array.rb +0 -7
  396. data/smoke/regression/block_param_split.rb +0 -7
  397. data/smoke/regression/block_param_split.rbs +0 -3
  398. data/smoke/regression/empty_yield.rb +0 -5
  399. data/smoke/regression/empty_yield.rbs +0 -3
  400. data/smoke/regression/enumerator_product.rb +0 -1
  401. data/smoke/regression/fun.rb +0 -8
  402. data/smoke/regression/fun.rbs +0 -4
  403. data/smoke/regression/hash.rb +0 -7
  404. data/smoke/regression/hello world.rb +0 -1
  405. data/smoke/regression/issue_328.rb +0 -1
  406. data/smoke/regression/issue_328.rbs +0 -0
  407. data/smoke/regression/issue_332.rb +0 -11
  408. data/smoke/regression/issue_332.rbs +0 -19
  409. data/smoke/regression/issue_372.rb +0 -8
  410. data/smoke/regression/issue_372.rbs +0 -4
  411. data/smoke/regression/lambda.rb +0 -3
  412. data/smoke/regression/masgn.rb +0 -4
  413. data/smoke/regression/poly_new.rb +0 -2
  414. data/smoke/regression/poly_new.rbs +0 -4
  415. data/smoke/regression/range.rb +0 -5
  416. data/smoke/regression/set_divide.rb +0 -12
  417. data/smoke/regression/test_expectations.yml +0 -120
  418. data/smoke/regression/thread.rb +0 -7
  419. data/smoke/rescue/Steepfile +0 -6
  420. data/smoke/rescue/a.rb +0 -48
  421. data/smoke/rescue/test_expectations.yml +0 -79
  422. data/smoke/self/Steepfile +0 -6
  423. data/smoke/self/a.rb +0 -21
  424. data/smoke/self/a.rbs +0 -4
  425. data/smoke/self/test_expectations.yml +0 -23
  426. data/smoke/skip/Steepfile +0 -6
  427. data/smoke/skip/skip.rb +0 -13
  428. data/smoke/skip/test_expectations.yml +0 -23
  429. data/smoke/stdout/Steepfile +0 -6
  430. data/smoke/stdout/a.rb +0 -8
  431. data/smoke/stdout/a.rbs +0 -7
  432. data/smoke/stdout/test_expectations.yml +0 -1
  433. data/smoke/super/Steepfile +0 -6
  434. data/smoke/super/a.rb +0 -30
  435. data/smoke/super/a.rbs +0 -10
  436. data/smoke/super/test_expectations.yml +0 -69
  437. data/smoke/toplevel/Steepfile +0 -6
  438. data/smoke/toplevel/a.rb +0 -3
  439. data/smoke/toplevel/a.rbs +0 -3
  440. data/smoke/toplevel/test_expectations.yml +0 -15
  441. data/smoke/tsort/Steepfile +0 -7
  442. data/smoke/tsort/a.rb +0 -12
  443. data/smoke/tsort/test_expectations.yml +0 -1
  444. data/smoke/type_case/Steepfile +0 -6
  445. data/smoke/type_case/a.rb +0 -24
  446. data/smoke/type_case/test_expectations.yml +0 -58
  447. data/smoke/unexpected/Steepfile +0 -6
  448. data/smoke/unexpected/test_expectations.yml +0 -13
  449. data/smoke/unexpected/unexpected.rbs +0 -3
  450. data/smoke/yield/Steepfile +0 -6
  451. data/smoke/yield/a.rb +0 -15
  452. data/smoke/yield/b.rb +0 -6
  453. data/smoke/yield/test_expectations.yml +0 -88
data/Gemfile.lock DELETED
@@ -1,104 +0,0 @@
1
- PATH
2
- remote: .
3
- specs:
4
- steep (1.6.0)
5
- activesupport (>= 5.1)
6
- concurrent-ruby (>= 1.1.10)
7
- csv (>= 3.0.9)
8
- fileutils (>= 1.1.0)
9
- json (>= 2.1.0)
10
- language_server-protocol (>= 3.15, < 4.0)
11
- listen (~> 3.0)
12
- logger (>= 1.3.0)
13
- parser (>= 3.1)
14
- rainbow (>= 2.2.2, < 4.0)
15
- rbs (>= 3.1.0)
16
- securerandom (>= 0.1)
17
- strscan (>= 1.0.0)
18
- terminal-table (>= 2, < 4)
19
-
20
- GEM
21
- remote: https://rubygems.org/
22
- specs:
23
- activesupport (7.1.1)
24
- base64
25
- bigdecimal
26
- concurrent-ruby (~> 1.0, >= 1.0.2)
27
- connection_pool (>= 2.2.5)
28
- drb
29
- i18n (>= 1.6, < 2)
30
- minitest (>= 5.1)
31
- mutex_m
32
- tzinfo (~> 2.0)
33
- ast (2.4.2)
34
- base64 (0.1.1)
35
- bigdecimal (3.1.4)
36
- concurrent-ruby (1.2.2)
37
- connection_pool (2.4.1)
38
- csv (3.2.7)
39
- debug (1.8.0)
40
- irb (>= 1.5.0)
41
- reline (>= 0.3.1)
42
- drb (2.1.1)
43
- ruby2_keywords
44
- ffi (1.16.3)
45
- fileutils (1.7.1)
46
- i18n (1.14.1)
47
- concurrent-ruby (~> 1.0)
48
- io-console (0.6.0)
49
- irb (1.8.1)
50
- rdoc
51
- reline (>= 0.3.8)
52
- json (2.6.3)
53
- language_server-protocol (3.17.0.3)
54
- listen (3.8.0)
55
- rb-fsevent (~> 0.10, >= 0.10.3)
56
- rb-inotify (~> 0.9, >= 0.9.10)
57
- logger (1.5.3)
58
- minitest (5.20.0)
59
- minitest-hooks (1.5.1)
60
- minitest (> 5.3)
61
- minitest-slow_test (0.2.0)
62
- minitest (>= 5.0)
63
- mutex_m (0.1.2)
64
- parser (3.2.2.4)
65
- ast (~> 2.4.1)
66
- racc
67
- psych (5.1.0)
68
- stringio
69
- racc (1.7.3)
70
- rainbow (3.1.1)
71
- rake (13.1.0)
72
- rb-fsevent (0.11.2)
73
- rb-inotify (0.10.1)
74
- ffi (~> 1.0)
75
- rbs (3.2.2)
76
- rdoc (6.5.0)
77
- psych (>= 4.0.0)
78
- reline (0.3.8)
79
- io-console (~> 0.5)
80
- ruby2_keywords (0.0.5)
81
- securerandom (0.2.2)
82
- stackprof (0.2.25)
83
- stringio (3.0.8)
84
- strscan (3.0.7)
85
- terminal-table (3.0.2)
86
- unicode-display_width (>= 1.1.1, < 3)
87
- tzinfo (2.0.6)
88
- concurrent-ruby (~> 1.0)
89
- unicode-display_width (2.5.0)
90
-
91
- PLATFORMS
92
- ruby
93
-
94
- DEPENDENCIES
95
- debug
96
- minitest (~> 5.20)
97
- minitest-hooks
98
- minitest-slow_test
99
- rake
100
- stackprof
101
- steep!
102
-
103
- BUNDLED WITH
104
- 2.3.8
data/Gemfile.steep DELETED
File without changes
@@ -1,3 +0,0 @@
1
- source "https://rubygems.org"
2
-
3
- gem 'steep', require: false
@@ -1,64 +0,0 @@
1
- GEM
2
- remote: https://rubygems.org/
3
- specs:
4
- activesupport (7.0.7.2)
5
- concurrent-ruby (~> 1.0, >= 1.0.2)
6
- i18n (>= 1.6, < 2)
7
- minitest (>= 5.1)
8
- tzinfo (~> 2.0)
9
- ast (2.4.2)
10
- concurrent-ruby (1.2.2)
11
- csv (3.2.7)
12
- ffi (1.15.5)
13
- fileutils (1.7.1)
14
- i18n (1.14.1)
15
- concurrent-ruby (~> 1.0)
16
- json (2.6.3)
17
- language_server-protocol (3.17.0.3)
18
- listen (3.8.0)
19
- rb-fsevent (~> 0.10, >= 0.10.3)
20
- rb-inotify (~> 0.9, >= 0.9.10)
21
- logger (1.5.3)
22
- minitest (5.19.0)
23
- parser (3.2.2.3)
24
- ast (~> 2.4.1)
25
- racc
26
- racc (1.7.1)
27
- rainbow (3.1.1)
28
- rb-fsevent (0.11.2)
29
- rb-inotify (0.10.1)
30
- ffi (~> 1.0)
31
- rbs (3.1.3)
32
- securerandom (0.2.2)
33
- steep (1.5.3)
34
- activesupport (>= 5.1)
35
- concurrent-ruby (>= 1.1.10)
36
- csv (>= 3.0.9)
37
- fileutils (>= 1.1.0)
38
- json (>= 2.1.0)
39
- language_server-protocol (>= 3.15, < 4.0)
40
- listen (~> 3.0)
41
- logger (>= 1.3.0)
42
- parser (>= 3.1)
43
- rainbow (>= 2.2.2, < 4.0)
44
- rbs (>= 3.1.0)
45
- securerandom (>= 0.1)
46
- strscan (>= 1.0.0)
47
- terminal-table (>= 2, < 4)
48
- strscan (3.0.6)
49
- terminal-table (3.0.2)
50
- unicode-display_width (>= 1.1.1, < 3)
51
- tzinfo (2.0.6)
52
- concurrent-ruby (~> 1.0)
53
- unicode-display_width (2.4.2)
54
-
55
- PLATFORMS
56
- arm64-darwin-21
57
- arm64-darwin-22
58
- x86_64-linux
59
-
60
- DEPENDENCIES
61
- steep
62
-
63
- BUNDLED WITH
64
- 2.3.15
@@ -1,106 +0,0 @@
1
- ---
2
- sources:
3
- - type: git
4
- name: ruby/gem_rbs_collection
5
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
6
- remote: https://github.com/ruby/gem_rbs_collection.git
7
- repo_dir: gems
8
- path: ".gem_rbs_collection"
9
- gems:
10
- - name: activesupport
11
- version: '7.0'
12
- source:
13
- type: git
14
- name: ruby/gem_rbs_collection
15
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
16
- remote: https://github.com/ruby/gem_rbs_collection.git
17
- repo_dir: gems
18
- - name: concurrent-ruby
19
- version: '1.1'
20
- source:
21
- type: git
22
- name: ruby/gem_rbs_collection
23
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
24
- remote: https://github.com/ruby/gem_rbs_collection.git
25
- repo_dir: gems
26
- - name: csv
27
- version: '0'
28
- source:
29
- type: stdlib
30
- - name: date
31
- version: '0'
32
- source:
33
- type: stdlib
34
- - name: fileutils
35
- version: '0'
36
- source:
37
- type: stdlib
38
- - name: forwardable
39
- version: '0'
40
- source:
41
- type: stdlib
42
- - name: i18n
43
- version: '1.10'
44
- source:
45
- type: git
46
- name: ruby/gem_rbs_collection
47
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
48
- remote: https://github.com/ruby/gem_rbs_collection.git
49
- repo_dir: gems
50
- - name: json
51
- version: '0'
52
- source:
53
- type: stdlib
54
- - name: listen
55
- version: '3.2'
56
- source:
57
- type: git
58
- name: ruby/gem_rbs_collection
59
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
60
- remote: https://github.com/ruby/gem_rbs_collection.git
61
- repo_dir: gems
62
- - name: logger
63
- version: '0'
64
- source:
65
- type: stdlib
66
- - name: minitest
67
- version: '0'
68
- source:
69
- type: stdlib
70
- - name: monitor
71
- version: '0'
72
- source:
73
- type: stdlib
74
- - name: mutex_m
75
- version: '0'
76
- source:
77
- type: stdlib
78
- - name: pathname
79
- version: '0'
80
- source:
81
- type: stdlib
82
- - name: rainbow
83
- version: '3.0'
84
- source:
85
- type: git
86
- name: ruby/gem_rbs_collection
87
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
88
- remote: https://github.com/ruby/gem_rbs_collection.git
89
- repo_dir: gems
90
- - name: securerandom
91
- version: '0'
92
- source:
93
- type: stdlib
94
- - name: singleton
95
- version: '0'
96
- source:
97
- type: stdlib
98
- - name: strscan
99
- version: '0'
100
- source:
101
- type: stdlib
102
- - name: time
103
- version: '0'
104
- source:
105
- type: stdlib
106
- gemfile_lock_path: gemfile_steep/Gemfile.lock
@@ -1,23 +0,0 @@
1
- # Download sources
2
- sources:
3
- - name: ruby/gem_rbs_collection
4
- remote: https://github.com/ruby/gem_rbs_collection.git
5
- revision: c42c09528dd99252db98f0744181a6de54ec2f55
6
- repo_dir: gems
7
-
8
- # A directory to install the downloaded RBSs
9
- path: .gem_rbs_collection
10
-
11
- gems:
12
- - name: with_steep_types
13
- ignore: true
14
- - name: activesupport
15
- - name: rainbow
16
- - name: listen
17
- - name: json
18
- - name: logger
19
- - name: fileutils
20
- - name: strscan
21
- - name: csv
22
- - name: pathname
23
- - name: securerandom
@@ -1,3 +0,0 @@
1
- module Bundler
2
- def self.default_gemfile: () -> Pathname
3
- end
@@ -1,39 +0,0 @@
1
- module Concurrent
2
- # Number of physical processor cores on the current system. For performance
3
- # reasons the calculated value will be memoized on the first call.
4
- #
5
- # On Windows the Win32 API will be queried for the `NumberOfCores from
6
- # Win32_Processor`. This will return the total number "of cores for the
7
- # current instance of the processor." On Unix-like operating systems either
8
- # the `hwprefs` or `sysctl` utility will be called in a subshell and the
9
- # returned value will be used. In the rare case where none of these methods
10
- # work or an exception is raised the function will simply return 1.
11
- #
12
- # @return [Integer] number physical processor cores on the current system
13
- #
14
- # @see https://github.com/grosser/parallel/blob/4fc8b89d08c7091fe0419ca8fba1ec3ce5a8d185/lib/parallel.rb
15
- #
16
- # @see http://msdn.microsoft.com/en-us/library/aa394373(v=vs.85).aspx
17
- # @see http://www.unix.com/man-page/osx/1/HWPREFS/
18
- # @see http://linux.die.net/man/8/sysctl
19
- def self.physical_processor_count: () -> Integer
20
-
21
- # Number of processors seen by the OS and used for process scheduling. For
22
- # performance reasons the calculated value will be memoized on the first
23
- # call.
24
- #
25
- # When running under JRuby the Java runtime call
26
- # `java.lang.Runtime.getRuntime.availableProcessors` will be used. According
27
- # to the Java documentation this "value may change during a particular
28
- # invocation of the virtual machine... [applications] should therefore
29
- # occasionally poll this property." Subsequently the result will NOT be
30
- # memoized under JRuby.
31
- #
32
- # Otherwise Ruby's Etc.nprocessors will be used.
33
- #
34
- # @return [Integer] number of processors seen by the OS or Java runtime
35
- #
36
- # @see http://docs.oracle.com/javase/6/docs/api/java/lang/Runtime.html#availableProcessors()
37
- #
38
- def self.processor_count: () -> Integer
39
- end
@@ -1,4 +0,0 @@
1
- class Exception
2
- def initialize: (String?) -> void
3
- | ...
4
- end