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
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: 1.6.0
4
+ version: 1.7.1
5
5
  platform: ruby
6
6
  authors:
7
7
  - Soutaro Matsumoto
8
8
  autorequire:
9
9
  bindir: exe
10
10
  cert_chain: []
11
- date: 2023-11-09 00:00:00.000000000 Z
11
+ date: 2024-06-12 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: parser
@@ -98,14 +98,14 @@ dependencies:
98
98
  requirements:
99
99
  - - ">="
100
100
  - !ruby/object:Gem::Version
101
- version: 3.1.0
101
+ version: 3.5.0.pre
102
102
  type: :runtime
103
103
  prerelease: false
104
104
  version_requirements: !ruby/object:Gem::Requirement
105
105
  requirements:
106
106
  - - ">="
107
107
  - !ruby/object:Gem::Version
108
- version: 3.1.0
108
+ version: 3.5.0.pre
109
109
  - !ruby/object:Gem::Dependency
110
110
  name: concurrent-ruby
111
111
  requirement: !ruby/object:Gem::Requirement
@@ -232,16 +232,9 @@ executables:
232
232
  extensions: []
233
233
  extra_rdoc_files: []
234
234
  files:
235
- - ".github/dependabot.yml"
236
- - ".github/workflows/ruby-windows.yml"
237
- - ".github/workflows/ruby.yml"
238
235
  - ".gitignore"
239
236
  - ".gitmodules"
240
- - ".vscode/steep-shared.code-snippets"
241
237
  - CHANGELOG.md
242
- - Gemfile
243
- - Gemfile.lock
244
- - Gemfile.steep
245
238
  - LICENSE
246
239
  - README.md
247
240
  - Rakefile
@@ -253,9 +246,9 @@ files:
253
246
  - bin/setup
254
247
  - bin/steep
255
248
  - bin/steep-prof
249
+ - doc/narrowing.md
250
+ - doc/shape.md
256
251
  - exe/steep
257
- - gemfile_steep/Gemfile
258
- - gemfile_steep/Gemfile.lock
259
252
  - guides/README.md
260
253
  - guides/src/gem-rbs-collection/gem-rbs-collection.md
261
254
  - guides/src/getting-started/getting-started.md
@@ -265,6 +258,7 @@ files:
265
258
  - lib/steep/ast/annotation.rb
266
259
  - lib/steep/ast/annotation/collection.rb
267
260
  - lib/steep/ast/builtin.rb
261
+ - lib/steep/ast/ignore.rb
268
262
  - lib/steep/ast/node/type_application.rb
269
263
  - lib/steep/ast/node/type_assertion.rb
270
264
  - lib/steep/ast/types/any.rb
@@ -329,6 +323,7 @@ files:
329
323
  - lib/steep/project/options.rb
330
324
  - lib/steep/project/pattern.rb
331
325
  - lib/steep/project/target.rb
326
+ - lib/steep/rake_task.rb
332
327
  - lib/steep/range_extension.rb
333
328
  - lib/steep/server/base_worker.rb
334
329
  - lib/steep/server/change_buffer.rb
@@ -353,15 +348,18 @@ files:
353
348
  - lib/steep/services/type_name_completion.rb
354
349
  - lib/steep/signature/validator.rb
355
350
  - lib/steep/source.rb
351
+ - lib/steep/source/ignore_ranges.rb
356
352
  - lib/steep/subtyping/cache.rb
357
353
  - lib/steep/subtyping/check.rb
358
354
  - lib/steep/subtyping/constraints.rb
359
355
  - lib/steep/subtyping/relation.rb
360
356
  - lib/steep/subtyping/result.rb
361
357
  - lib/steep/subtyping/variable_variance.rb
358
+ - lib/steep/test.rb
362
359
  - lib/steep/thread_waiter.rb
363
360
  - lib/steep/type_construction.rb
364
361
  - lib/steep/type_inference/block_params.rb
362
+ - lib/steep/type_inference/case_when.rb
365
363
  - lib/steep/type_inference/constant_env.rb
366
364
  - lib/steep/type_inference/context.rb
367
365
  - lib/steep/type_inference/context_array.rb
@@ -375,393 +373,11 @@ files:
375
373
  - lib/steep/typing.rb
376
374
  - lib/steep/version.rb
377
375
  - manual/annotations.md
378
- - rbs_collection.steep.lock.yaml
379
- - rbs_collection.steep.yaml
380
376
  - sample/Steepfile
381
377
  - sample/lib/conference.rb
382
378
  - sample/lib/length.rb
383
379
  - sample/sig/conference.rbs
384
380
  - sample/sig/length.rbs
385
- - sig/shims/bundler.rbs
386
- - sig/shims/concurrent-ruby.rbs
387
- - sig/shims/exception.rbs
388
- - sig/shims/language-server_protocol.rbs
389
- - sig/shims/parser.rbs
390
- - sig/shims/parser/comment.rbs
391
- - sig/shims/parser/nodes.rbs
392
- - sig/shims/parser/source/map.rbs
393
- - sig/shims/parser/source/range.rbs
394
- - sig/shims/string.rbs
395
- - sig/shims/tagged_logging.rbs
396
- - sig/steep.rbs
397
- - sig/steep/annotation_parser.rbs
398
- - sig/steep/ast/annotation.rbs
399
- - sig/steep/ast/annotation/collection.rbs
400
- - sig/steep/ast/builtin.rbs
401
- - sig/steep/ast/node/type_application.rbs
402
- - sig/steep/ast/node/type_assertion.rbs
403
- - sig/steep/ast/types.rbs
404
- - sig/steep/ast/types/any.rbs
405
- - sig/steep/ast/types/boolean.rbs
406
- - sig/steep/ast/types/bot.rbs
407
- - sig/steep/ast/types/class.rbs
408
- - sig/steep/ast/types/factory.rbs
409
- - sig/steep/ast/types/helper.rbs
410
- - sig/steep/ast/types/instance.rbs
411
- - sig/steep/ast/types/intersection.rbs
412
- - sig/steep/ast/types/literal.rbs
413
- - sig/steep/ast/types/logic.rbs
414
- - sig/steep/ast/types/name.rbs
415
- - sig/steep/ast/types/nil.rbs
416
- - sig/steep/ast/types/proc.rbs
417
- - sig/steep/ast/types/record.rbs
418
- - sig/steep/ast/types/self.rbs
419
- - sig/steep/ast/types/top.rbs
420
- - sig/steep/ast/types/tuple.rbs
421
- - sig/steep/ast/types/union.rbs
422
- - sig/steep/ast/types/var.rbs
423
- - sig/steep/ast/types/void.rbs
424
- - sig/steep/cli.rbs
425
- - sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs
426
- - sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs
427
- - sig/steep/diagnostic/helper.rbs
428
- - sig/steep/diagnostic/lsp_formatter.rbs
429
- - sig/steep/diagnostic/ruby.rbs
430
- - sig/steep/diagnostic/signature.rbs
431
- - sig/steep/drivers/annotations.rbs
432
- - sig/steep/drivers/check.rbs
433
- - sig/steep/drivers/checkfile.rbs
434
- - sig/steep/drivers/diagnostic_printer.rbs
435
- - sig/steep/drivers/init.rbs
436
- - sig/steep/drivers/langserver.rbs
437
- - sig/steep/drivers/print_project.rbs
438
- - sig/steep/drivers/stats.rbs
439
- - sig/steep/drivers/utils/driver_helper.rbs
440
- - sig/steep/drivers/utils/jobs_option.rbs
441
- - sig/steep/drivers/validate.rbs
442
- - sig/steep/drivers/vendor.rbs
443
- - sig/steep/drivers/watch.rbs
444
- - sig/steep/drivers/worker.rbs
445
- - sig/steep/equatable.rbs
446
- - sig/steep/expectations.rbs
447
- - sig/steep/index/rbs_index.rbs
448
- - sig/steep/index/signature_symbol_provider.rbs
449
- - sig/steep/index/source_index.rbs
450
- - sig/steep/interface/block.rbs
451
- - sig/steep/interface/builder.rbs
452
- - sig/steep/interface/function.rbs
453
- - sig/steep/interface/method_type.rbs
454
- - sig/steep/interface/shape.rbs
455
- - sig/steep/interface/substitution.rbs
456
- - sig/steep/interface/type_param.rbs
457
- - sig/steep/method_name.rbs
458
- - sig/steep/module_helper.rbs
459
- - sig/steep/node_helper.rbs
460
- - sig/steep/path_helper.rbs
461
- - sig/steep/project.rbs
462
- - sig/steep/project/dsl.rbs
463
- - sig/steep/project/options.rbs
464
- - sig/steep/project/pattern.rbs
465
- - sig/steep/project/target.rbs
466
- - sig/steep/range_extension.rbs
467
- - sig/steep/server/base_worker.rbs
468
- - sig/steep/server/change_buffer.rbs
469
- - sig/steep/server/delay_queue.rbs
470
- - sig/steep/server/interaction_worker.rbs
471
- - sig/steep/server/lsp_formatter.rbs
472
- - sig/steep/server/master.rbs
473
- - sig/steep/server/type_check_worker.rbs
474
- - sig/steep/server/worker_process.rbs
475
- - sig/steep/services/completion_provider.rbs
476
- - sig/steep/services/content_change.rbs
477
- - sig/steep/services/file_loader.rbs
478
- - sig/steep/services/goto_service.rbs
479
- - sig/steep/services/hover_provider/rbs.rbs
480
- - sig/steep/services/hover_provider/ruby.rbs
481
- - sig/steep/services/hover_provider/singleton_methods.rbs
482
- - sig/steep/services/path_assignment.rbs
483
- - sig/steep/services/signature_help_provider.rbs
484
- - sig/steep/services/signature_service.rbs
485
- - sig/steep/services/stats_calculator.rbs
486
- - sig/steep/services/type_check_service.rbs
487
- - sig/steep/services/type_name_completion.rbs
488
- - sig/steep/signature/validator.rbs
489
- - sig/steep/source.rbs
490
- - sig/steep/subtyping/cache.rbs
491
- - sig/steep/subtyping/check.rbs
492
- - sig/steep/subtyping/constraints.rbs
493
- - sig/steep/subtyping/relation.rbs
494
- - sig/steep/subtyping/result.rbs
495
- - sig/steep/subtyping/variable_variance.rbs
496
- - sig/steep/thread_waiter.rbs
497
- - sig/steep/type_construction.rbs
498
- - sig/steep/type_inference/block_params.rbs
499
- - sig/steep/type_inference/constant_env.rbs
500
- - sig/steep/type_inference/context.rbs
501
- - sig/steep/type_inference/context_array.rbs
502
- - sig/steep/type_inference/logic_type_interpreter.rbs
503
- - sig/steep/type_inference/method_call.rbs
504
- - sig/steep/type_inference/method_params.rbs
505
- - sig/steep/type_inference/multiple_assignment.rbs
506
- - sig/steep/type_inference/send_args.rbs
507
- - sig/steep/type_inference/type_env.rbs
508
- - sig/steep/type_inference/type_env_builder.rbs
509
- - sig/steep/typing.rbs
510
- - smoke/alias/Steepfile
511
- - smoke/alias/a.rb
512
- - smoke/alias/a.rbs
513
- - smoke/alias/b.rb
514
- - smoke/alias/c.rb
515
- - smoke/alias/test_expectations.yml
516
- - smoke/and/Steepfile
517
- - smoke/and/a.rb
518
- - smoke/and/test_expectations.yml
519
- - smoke/array/Steepfile
520
- - smoke/array/a.rb
521
- - smoke/array/b.rb
522
- - smoke/array/c.rb
523
- - smoke/array/test_expectations.yml
524
- - smoke/block/Steepfile
525
- - smoke/block/a.rb
526
- - smoke/block/a.rbs
527
- - smoke/block/b.rb
528
- - smoke/block/c.rb
529
- - smoke/block/c.rbs
530
- - smoke/block/d.rb
531
- - smoke/block/e.rb
532
- - smoke/block/e.rbs
533
- - smoke/block/test_expectations.yml
534
- - smoke/case/Steepfile
535
- - smoke/case/a.rb
536
- - smoke/case/test_expectations.yml
537
- - smoke/class/Steepfile
538
- - smoke/class/a.rb
539
- - smoke/class/a.rbs
540
- - smoke/class/b.rb
541
- - smoke/class/c.rb
542
- - smoke/class/f.rb
543
- - smoke/class/g.rb
544
- - smoke/class/h.rb
545
- - smoke/class/h.rbs
546
- - smoke/class/i.rb
547
- - smoke/class/i.rbs
548
- - smoke/class/test_expectations.yml
549
- - smoke/compact/Steepfile
550
- - smoke/compact/a.rb
551
- - smoke/compact/a.rbs
552
- - smoke/compact/b.rb
553
- - smoke/compact/test_expectations.yml
554
- - smoke/const/Steepfile
555
- - smoke/const/a.rb
556
- - smoke/const/b.rb
557
- - smoke/const/b.rbs
558
- - smoke/const/test_expectations.yml
559
- - smoke/diagnostics-rbs-duplicated/Steepfile
560
- - smoke/diagnostics-rbs-duplicated/a.rbs
561
- - smoke/diagnostics-rbs-duplicated/test_expectations.yml
562
- - smoke/diagnostics-rbs/Steepfile
563
- - smoke/diagnostics-rbs/duplicated-method-definition.rbs
564
- - smoke/diagnostics-rbs/generic-parameter-mismatch.rbs
565
- - smoke/diagnostics-rbs/inherit-module.rbs
566
- - smoke/diagnostics-rbs/invalid-method-overload.rbs
567
- - smoke/diagnostics-rbs/invalid-type-application.rbs
568
- - smoke/diagnostics-rbs/invalid_variance_annotation.rbs
569
- - smoke/diagnostics-rbs/mixin-class-error.rbs
570
- - smoke/diagnostics-rbs/nonregular-type-alias.rbs
571
- - smoke/diagnostics-rbs/recursive-alias.rbs
572
- - smoke/diagnostics-rbs/recursive-class.rbs
573
- - smoke/diagnostics-rbs/recursive-type-alias.rbs
574
- - smoke/diagnostics-rbs/superclass-mismatch.rbs
575
- - smoke/diagnostics-rbs/test_expectations.yml
576
- - smoke/diagnostics-rbs/unknown-method-alias.rbs
577
- - smoke/diagnostics-rbs/unknown-type-name-2.rbs
578
- - smoke/diagnostics-rbs/unknown-type-name.rbs
579
- - smoke/diagnostics-ruby-unsat/Steepfile
580
- - smoke/diagnostics-ruby-unsat/a.rbs
581
- - smoke/diagnostics-ruby-unsat/test_expectations.yml
582
- - smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb
583
- - smoke/diagnostics/Steepfile
584
- - smoke/diagnostics/a.rbs
585
- - smoke/diagnostics/argument_type_mismatch.rb
586
- - smoke/diagnostics/block_body_type_mismatch.rb
587
- - smoke/diagnostics/block_type_mismatch.rb
588
- - smoke/diagnostics/break_type_mismatch.rb
589
- - smoke/diagnostics/different_method_parameter_kind.rb
590
- - smoke/diagnostics/else_on_exhaustive_case.rb
591
- - smoke/diagnostics/incompatible_annotation.rb
592
- - smoke/diagnostics/incompatible_argument.rb
593
- - smoke/diagnostics/incompatible_assignment.rb
594
- - smoke/diagnostics/method_arity_mismatch.rb
595
- - smoke/diagnostics/method_body_type_mismatch.rb
596
- - smoke/diagnostics/method_definition_missing.rb
597
- - smoke/diagnostics/method_parameter_mismatch.rb
598
- - smoke/diagnostics/method_return_type_annotation_mismatch.rb
599
- - smoke/diagnostics/missing_keyword.rb
600
- - smoke/diagnostics/no_method.rb
601
- - smoke/diagnostics/proc_type_expected.rb
602
- - smoke/diagnostics/required_block_missing.rb
603
- - smoke/diagnostics/return_type_mismatch.rb
604
- - smoke/diagnostics/test_expectations.yml
605
- - smoke/diagnostics/unexpected_block_given.rb
606
- - smoke/diagnostics/unexpected_dynamic_method.rb
607
- - smoke/diagnostics/unexpected_jump.rb
608
- - smoke/diagnostics/unexpected_jump_value.rb
609
- - smoke/diagnostics/unexpected_keyword.rb
610
- - smoke/diagnostics/unexpected_splat.rb
611
- - smoke/diagnostics/unexpected_yield.rb
612
- - smoke/diagnostics/unknown_constant_assigned.rb
613
- - smoke/diagnostics/unresolved_overloading.rb
614
- - smoke/diagnostics/unsupported_syntax.rb
615
- - smoke/dstr/Steepfile
616
- - smoke/dstr/a.rb
617
- - smoke/dstr/test_expectations.yml
618
- - smoke/ensure/Steepfile
619
- - smoke/ensure/a.rb
620
- - smoke/ensure/test_expectations.yml
621
- - smoke/enumerator/Steepfile
622
- - smoke/enumerator/a.rb
623
- - smoke/enumerator/b.rb
624
- - smoke/enumerator/test_expectations.yml
625
- - smoke/extension/Steepfile
626
- - smoke/extension/a.rb
627
- - smoke/extension/a.rbs
628
- - smoke/extension/b.rb
629
- - smoke/extension/c.rb
630
- - smoke/extension/d.rb
631
- - smoke/extension/e.rb
632
- - smoke/extension/e.rbs
633
- - smoke/extension/f.rb
634
- - smoke/extension/f.rbs
635
- - smoke/extension/test_expectations.yml
636
- - smoke/hash/Steepfile
637
- - smoke/hash/a.rb
638
- - smoke/hash/a.rbs
639
- - smoke/hash/b.rb
640
- - smoke/hash/c.rb
641
- - smoke/hash/d.rb
642
- - smoke/hash/e.rb
643
- - smoke/hash/e.rbs
644
- - smoke/hash/f.rb
645
- - smoke/hash/test_expectations.yml
646
- - smoke/hello/Steepfile
647
- - smoke/hello/hello.rb
648
- - smoke/hello/hello.rbs
649
- - smoke/hello/test_expectations.yml
650
- - smoke/if/Steepfile
651
- - smoke/if/a.rb
652
- - smoke/if/test_expectations.yml
653
- - smoke/implements/Steepfile
654
- - smoke/implements/a.rb
655
- - smoke/implements/a.rbs
656
- - smoke/implements/b.rb
657
- - smoke/implements/b.rbs
658
- - smoke/implements/test_expectations.yml
659
- - smoke/initialize/Steepfile
660
- - smoke/initialize/a.rb
661
- - smoke/initialize/a.rbs
662
- - smoke/initialize/test_expectations.yml
663
- - smoke/integer/Steepfile
664
- - smoke/integer/a.rb
665
- - smoke/integer/test_expectations.yml
666
- - smoke/interface/Steepfile
667
- - smoke/interface/a.rb
668
- - smoke/interface/a.rbs
669
- - smoke/interface/test_expectations.yml
670
- - smoke/kwbegin/Steepfile
671
- - smoke/kwbegin/a.rb
672
- - smoke/kwbegin/test_expectations.yml
673
- - smoke/lambda/Steepfile
674
- - smoke/lambda/a.rb
675
- - smoke/lambda/test_expectations.yml
676
- - smoke/literal/Steepfile
677
- - smoke/literal/a.rb
678
- - smoke/literal/b.rb
679
- - smoke/literal/literal_methods.rbs
680
- - smoke/literal/test_expectations.yml
681
- - smoke/map/Steepfile
682
- - smoke/map/a.rb
683
- - smoke/map/test_expectations.yml
684
- - smoke/method/Steepfile
685
- - smoke/method/a.rb
686
- - smoke/method/a.rbs
687
- - smoke/method/b.rb
688
- - smoke/method/c.rb
689
- - smoke/method/d.rb
690
- - smoke/method/d.rbs
691
- - smoke/method/test_expectations.yml
692
- - smoke/module/Steepfile
693
- - smoke/module/a.rb
694
- - smoke/module/a.rbs
695
- - smoke/module/b.rb
696
- - smoke/module/c.rb
697
- - smoke/module/d.rb
698
- - smoke/module/e.rb
699
- - smoke/module/f.rb
700
- - smoke/module/test_expectations.yml
701
- - smoke/regexp/Steepfile
702
- - smoke/regexp/a.rb
703
- - smoke/regexp/b.rb
704
- - smoke/regexp/test_expectations.yml
705
- - smoke/regression/Steepfile
706
- - smoke/regression/array.rb
707
- - smoke/regression/block_param_split.rb
708
- - smoke/regression/block_param_split.rbs
709
- - smoke/regression/empty_yield.rb
710
- - smoke/regression/empty_yield.rbs
711
- - smoke/regression/enumerator_product.rb
712
- - smoke/regression/fun.rb
713
- - smoke/regression/fun.rbs
714
- - smoke/regression/hash.rb
715
- - smoke/regression/hello world.rb
716
- - smoke/regression/issue_328.rb
717
- - smoke/regression/issue_328.rbs
718
- - smoke/regression/issue_332.rb
719
- - smoke/regression/issue_332.rbs
720
- - smoke/regression/issue_372.rb
721
- - smoke/regression/issue_372.rbs
722
- - smoke/regression/lambda.rb
723
- - smoke/regression/masgn.rb
724
- - smoke/regression/poly_new.rb
725
- - smoke/regression/poly_new.rbs
726
- - smoke/regression/range.rb
727
- - smoke/regression/set_divide.rb
728
- - smoke/regression/test_expectations.yml
729
- - smoke/regression/thread.rb
730
- - smoke/rescue/Steepfile
731
- - smoke/rescue/a.rb
732
- - smoke/rescue/test_expectations.yml
733
- - smoke/self/Steepfile
734
- - smoke/self/a.rb
735
- - smoke/self/a.rbs
736
- - smoke/self/test_expectations.yml
737
- - smoke/skip/Steepfile
738
- - smoke/skip/skip.rb
739
- - smoke/skip/test_expectations.yml
740
- - smoke/stdout/Steepfile
741
- - smoke/stdout/a.rb
742
- - smoke/stdout/a.rbs
743
- - smoke/stdout/test_expectations.yml
744
- - smoke/super/Steepfile
745
- - smoke/super/a.rb
746
- - smoke/super/a.rbs
747
- - smoke/super/test_expectations.yml
748
- - smoke/toplevel/Steepfile
749
- - smoke/toplevel/a.rb
750
- - smoke/toplevel/a.rbs
751
- - smoke/toplevel/test_expectations.yml
752
- - smoke/tsort/Steepfile
753
- - smoke/tsort/a.rb
754
- - smoke/tsort/test_expectations.yml
755
- - smoke/type_case/Steepfile
756
- - smoke/type_case/a.rb
757
- - smoke/type_case/test_expectations.yml
758
- - smoke/unexpected/Steepfile
759
- - smoke/unexpected/test_expectations.yml
760
- - smoke/unexpected/unexpected.rbs
761
- - smoke/yield/Steepfile
762
- - smoke/yield/a.rb
763
- - smoke/yield/b.rb
764
- - smoke/yield/test_expectations.yml
765
381
  - steep.gemspec
766
382
  homepage: https://github.com/soutaro/steep
767
383
  licenses:
@@ -785,7 +401,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
785
401
  - !ruby/object:Gem::Version
786
402
  version: '0'
787
403
  requirements: []
788
- rubygems_version: 3.4.10
404
+ rubygems_version: 3.5.3
789
405
  signing_key:
790
406
  specification_version: 4
791
407
  summary: Gradual Typing for Ruby
@@ -1,22 +0,0 @@
1
- version: 2
2
-
3
- updates:
4
- - package-ecosystem: bundler
5
- directory: "/"
6
- schedule:
7
- interval: daily
8
- time: "20:00"
9
- open-pull-requests-limit: 10
10
-
11
- - package-ecosystem: bundler
12
- directory: "/gemfile_steep"
13
- schedule:
14
- interval: daily
15
- time: "20:00"
16
- open-pull-requests-limit: 10
17
-
18
- - package-ecosystem: "github-actions"
19
- directory: "/"
20
- schedule:
21
- # Check for updates to GitHub Actions every weekday
22
- interval: "daily"
@@ -1,34 +0,0 @@
1
- name: Run test on Windows
2
-
3
- on:
4
- push:
5
- branches:
6
- - master
7
- pull_request: {}
8
-
9
- jobs:
10
- test:
11
- strategy:
12
- matrix:
13
- ruby_version:
14
- - "3.0"
15
- - "3.1"
16
- - "3.2"
17
- task:
18
- - test
19
- # - test:output Ignored because the order of diagnostics changes somehow
20
- - build
21
- runs-on: windows-latest
22
- steps:
23
- - uses: actions/checkout@v4
24
- - uses: ruby/setup-ruby@v1
25
- with:
26
- ruby-version: ${{ matrix.ruby_version }}
27
- - name: Run test
28
- run: |
29
- git config --global --add safe.directory /__w/steep/steep
30
- ruby -v
31
- gem install bundler
32
- bundle install --jobs 4 --retry 3
33
- bin/setup
34
- bundle exec rake ${{matrix.task}}
@@ -1,33 +0,0 @@
1
- name: Run test on container
2
-
3
- on:
4
- push:
5
- branches:
6
- - master
7
- pull_request: {}
8
-
9
- jobs:
10
- test:
11
- strategy:
12
- matrix:
13
- container_tag:
14
- - "3.0"
15
- - "3.1"
16
- - "3.2"
17
- # - "master-nightly-focal"
18
- task:
19
- - test
20
- - test:output
21
- - build
22
- runs-on: ubuntu-latest
23
- container:
24
- image: rubylang/ruby:${{ matrix.container_tag }}
25
- steps:
26
- - uses: actions/checkout@v4
27
- - name: Run test
28
- run: |
29
- git config --global --add safe.directory /__w/steep/steep
30
- ruby -v
31
- gem install bundler
32
- bin/setup
33
- bundle exec rake ${{matrix.task}}
@@ -1,41 +0,0 @@
1
- {
2
- // Place your steep workspace snippets here. Each snippet is defined under a snippet name and has a scope, prefix, body and
3
- // description. Add comma separated ids of the languages where the snippet is applicable in the scope field. If scope
4
- // is left empty or omitted, the snippet gets applied to all languages. The prefix is what is
5
- // used to trigger the snippet and the body will be expanded and inserted. Possible variables are:
6
- // $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders.
7
- // Placeholders with the same ids are connected.
8
- // Example:
9
- // "Print to console": {
10
- // "scope": "javascript,typescript",
11
- // "prefix": "log",
12
- // "body": [
13
- // "console.log('$1');",
14
- // "$2"
15
- // ],
16
- // "description": "Log output to console"
17
- // }
18
-
19
- "Add type_check_test case": {
20
- "scope": "ruby",
21
- "body": [
22
- "def test_${1:name}",
23
- " run_type_check_test(",
24
- " signatures: {",
25
- " \"a.rbs\" => <<~RBS",
26
- " ${2:rbs}",
27
- " RBS",
28
- " },",
29
- " code: {",
30
- " \"a.rb\" => <<~RUBY",
31
- " ${3:ruby code}",
32
- " RUBY",
33
- " },",
34
- " expectations: <<~YAML",
35
- " YAML",
36
- " )",
37
- "end",
38
- ],
39
- "description": "Insert a new test case"
40
- }
41
- }
data/Gemfile DELETED
@@ -1,14 +0,0 @@
1
- source 'https://rubygems.org'
2
-
3
- # Specify your gem's dependencies in steep.gemspec
4
- gemspec
5
-
6
- gem "rake"
7
- gem "minitest", "~> 5.20"
8
- gem "minitest-hooks"
9
- group :stackprof, optional: true do
10
- gem "stackprof"
11
- end
12
- gem 'minitest-slow_test'
13
-
14
- gem "debug", require: false, platform: :mri