steep 1.6.0 → 1.7.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.gitignore +0 -1
- data/CHANGELOG.md +49 -0
- data/README.md +18 -0
- data/Rakefile +5 -0
- data/bin/output_test.rb +1 -0
- data/doc/narrowing.md +195 -0
- data/doc/shape.md +194 -0
- data/guides/src/gem-rbs-collection/gem-rbs-collection.md +7 -24
- data/guides/src/getting-started/getting-started.md +10 -11
- data/lib/steep/ast/ignore.rb +148 -0
- data/lib/steep/ast/types/factory.rb +27 -18
- data/lib/steep/ast/types/helper.rb +4 -0
- data/lib/steep/ast/types/intersection.rb +7 -0
- data/lib/steep/ast/types/proc.rb +14 -9
- data/lib/steep/ast/types/record.rb +7 -0
- data/lib/steep/ast/types/tuple.rb +7 -0
- data/lib/steep/ast/types/union.rb +7 -0
- data/lib/steep/cli.rb +6 -1
- data/lib/steep/diagnostic/ruby.rb +16 -0
- data/lib/steep/drivers/stats.rb +2 -2
- data/lib/steep/drivers/utils/driver_helper.rb +22 -11
- data/lib/steep/drivers/validate.rb +4 -2
- data/lib/steep/expectations.rb +2 -2
- data/lib/steep/interface/block.rb +1 -1
- data/lib/steep/interface/builder.rb +342 -358
- data/lib/steep/interface/function.rb +82 -11
- data/lib/steep/interface/method_type.rb +18 -10
- data/lib/steep/interface/shape.rb +69 -18
- data/lib/steep/interface/substitution.rb +4 -0
- data/lib/steep/node_helper.rb +30 -1
- data/lib/steep/project/dsl.rb +18 -21
- data/lib/steep/project/options.rb +39 -2
- data/lib/steep/project/pattern.rb +1 -2
- data/lib/steep/project.rb +11 -7
- data/lib/steep/rake_task.rb +132 -0
- data/lib/steep/server/change_buffer.rb +2 -2
- data/lib/steep/server/interaction_worker.rb +67 -11
- data/lib/steep/server/lsp_formatter.rb +2 -0
- data/lib/steep/server/worker_process.rb +3 -1
- data/lib/steep/services/completion_provider.rb +59 -26
- data/lib/steep/services/file_loader.rb +15 -19
- data/lib/steep/services/signature_help_provider.rb +37 -35
- data/lib/steep/services/type_check_service.rb +36 -8
- data/lib/steep/signature/validator.rb +185 -133
- data/lib/steep/source/ignore_ranges.rb +69 -0
- data/lib/steep/source.rb +10 -4
- data/lib/steep/subtyping/check.rb +50 -43
- data/lib/steep/subtyping/result.rb +6 -0
- data/lib/steep/subtyping/variable_variance.rb +3 -3
- data/lib/steep/test.rb +9 -0
- data/lib/steep/type_construction.rb +205 -309
- data/lib/steep/type_inference/block_params.rb +12 -4
- data/lib/steep/type_inference/case_when.rb +301 -0
- data/lib/steep/type_inference/context.rb +1 -1
- data/lib/steep/type_inference/logic_type_interpreter.rb +3 -2
- data/lib/steep/type_inference/method_params.rb +16 -0
- data/lib/steep/type_inference/send_args.rb +5 -2
- data/lib/steep/version.rb +1 -1
- data/lib/steep.rb +25 -8
- data/steep.gemspec +5 -2
- metadata +12 -396
- data/.github/dependabot.yml +0 -22
- data/.github/workflows/ruby-windows.yml +0 -34
- data/.github/workflows/ruby.yml +0 -33
- data/.vscode/steep-shared.code-snippets +0 -41
- data/Gemfile +0 -14
- data/Gemfile.lock +0 -104
- data/Gemfile.steep +0 -0
- data/gemfile_steep/Gemfile +0 -3
- data/gemfile_steep/Gemfile.lock +0 -64
- data/rbs_collection.steep.lock.yaml +0 -106
- data/rbs_collection.steep.yaml +0 -23
- data/sig/shims/bundler.rbs +0 -3
- data/sig/shims/concurrent-ruby.rbs +0 -39
- data/sig/shims/exception.rbs +0 -4
- data/sig/shims/language-server_protocol.rbs +0 -450
- data/sig/shims/parser/comment.rbs +0 -33
- data/sig/shims/parser/nodes.rbs +0 -252
- data/sig/shims/parser/source/map.rbs +0 -146
- data/sig/shims/parser/source/range.rbs +0 -237
- data/sig/shims/parser.rbs +0 -59
- data/sig/shims/string.rbs +0 -4
- data/sig/shims/tagged_logging.rbs +0 -6
- data/sig/steep/annotation_parser.rbs +0 -60
- data/sig/steep/ast/annotation/collection.rbs +0 -78
- data/sig/steep/ast/annotation.rbs +0 -121
- data/sig/steep/ast/builtin.rbs +0 -69
- data/sig/steep/ast/node/type_application.rbs +0 -31
- data/sig/steep/ast/node/type_assertion.rbs +0 -32
- data/sig/steep/ast/types/any.rbs +0 -29
- data/sig/steep/ast/types/boolean.rbs +0 -31
- data/sig/steep/ast/types/bot.rbs +0 -29
- data/sig/steep/ast/types/class.rbs +0 -33
- data/sig/steep/ast/types/factory.rbs +0 -110
- data/sig/steep/ast/types/helper.rbs +0 -22
- data/sig/steep/ast/types/instance.rbs +0 -33
- data/sig/steep/ast/types/intersection.rbs +0 -38
- data/sig/steep/ast/types/literal.rbs +0 -35
- data/sig/steep/ast/types/logic.rbs +0 -83
- data/sig/steep/ast/types/name.rbs +0 -80
- data/sig/steep/ast/types/nil.rbs +0 -31
- data/sig/steep/ast/types/proc.rbs +0 -53
- data/sig/steep/ast/types/record.rbs +0 -37
- data/sig/steep/ast/types/self.rbs +0 -33
- data/sig/steep/ast/types/top.rbs +0 -29
- data/sig/steep/ast/types/tuple.rbs +0 -35
- data/sig/steep/ast/types/union.rbs +0 -38
- data/sig/steep/ast/types/var.rbs +0 -42
- data/sig/steep/ast/types/void.rbs +0 -29
- data/sig/steep/ast/types.rbs +0 -16
- data/sig/steep/cli.rbs +0 -55
- data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs +0 -13
- data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs +0 -15
- data/sig/steep/diagnostic/helper.rbs +0 -15
- data/sig/steep/diagnostic/lsp_formatter.rbs +0 -36
- data/sig/steep/diagnostic/ruby.rbs +0 -695
- data/sig/steep/diagnostic/signature.rbs +0 -252
- data/sig/steep/drivers/annotations.rbs +0 -17
- data/sig/steep/drivers/check.rbs +0 -33
- data/sig/steep/drivers/checkfile.rbs +0 -27
- data/sig/steep/drivers/diagnostic_printer.rbs +0 -25
- data/sig/steep/drivers/init.rbs +0 -19
- data/sig/steep/drivers/langserver.rbs +0 -36
- data/sig/steep/drivers/print_project.rbs +0 -15
- data/sig/steep/drivers/stats.rbs +0 -47
- data/sig/steep/drivers/utils/driver_helper.rbs +0 -25
- data/sig/steep/drivers/utils/jobs_option.rbs +0 -19
- data/sig/steep/drivers/validate.rbs +0 -15
- data/sig/steep/drivers/vendor.rbs +0 -19
- data/sig/steep/drivers/watch.rbs +0 -27
- data/sig/steep/drivers/worker.rbs +0 -29
- data/sig/steep/equatable.rbs +0 -11
- data/sig/steep/expectations.rbs +0 -72
- data/sig/steep/index/rbs_index.rbs +0 -141
- data/sig/steep/index/signature_symbol_provider.rbs +0 -41
- data/sig/steep/index/source_index.rbs +0 -63
- data/sig/steep/interface/block.rbs +0 -41
- data/sig/steep/interface/builder.rbs +0 -166
- data/sig/steep/interface/function.rbs +0 -265
- data/sig/steep/interface/method_type.rbs +0 -105
- data/sig/steep/interface/shape.rbs +0 -61
- data/sig/steep/interface/substitution.rbs +0 -49
- data/sig/steep/interface/type_param.rbs +0 -43
- data/sig/steep/method_name.rbs +0 -30
- data/sig/steep/module_helper.rbs +0 -16
- data/sig/steep/node_helper.rbs +0 -78
- data/sig/steep/path_helper.rbs +0 -15
- data/sig/steep/project/dsl.rbs +0 -104
- data/sig/steep/project/options.rbs +0 -27
- data/sig/steep/project/pattern.rbs +0 -47
- data/sig/steep/project/target.rbs +0 -25
- data/sig/steep/project.rbs +0 -26
- data/sig/steep/range_extension.rbs +0 -7
- data/sig/steep/server/base_worker.rbs +0 -49
- data/sig/steep/server/change_buffer.rbs +0 -36
- data/sig/steep/server/delay_queue.rbs +0 -37
- data/sig/steep/server/interaction_worker.rbs +0 -80
- data/sig/steep/server/lsp_formatter.rbs +0 -63
- data/sig/steep/server/master.rbs +0 -299
- data/sig/steep/server/type_check_worker.rbs +0 -141
- data/sig/steep/server/worker_process.rbs +0 -97
- data/sig/steep/services/completion_provider.rbs +0 -251
- data/sig/steep/services/content_change.rbs +0 -37
- data/sig/steep/services/file_loader.rbs +0 -21
- data/sig/steep/services/goto_service.rbs +0 -106
- data/sig/steep/services/hover_provider/rbs.rbs +0 -47
- data/sig/steep/services/hover_provider/ruby.rbs +0 -127
- data/sig/steep/services/hover_provider/singleton_methods.rbs +0 -11
- data/sig/steep/services/path_assignment.rbs +0 -21
- data/sig/steep/services/signature_help_provider.rbs +0 -49
- data/sig/steep/services/signature_service.rbs +0 -156
- data/sig/steep/services/stats_calculator.rbs +0 -41
- data/sig/steep/services/type_check_service.rbs +0 -107
- data/sig/steep/services/type_name_completion.rbs +0 -135
- data/sig/steep/signature/validator.rbs +0 -85
- data/sig/steep/source.rbs +0 -102
- data/sig/steep/subtyping/cache.rbs +0 -17
- data/sig/steep/subtyping/check.rbs +0 -129
- data/sig/steep/subtyping/constraints.rbs +0 -111
- data/sig/steep/subtyping/relation.rbs +0 -63
- data/sig/steep/subtyping/result.rbs +0 -175
- data/sig/steep/subtyping/variable_variance.rbs +0 -25
- data/sig/steep/thread_waiter.rbs +0 -13
- data/sig/steep/type_construction.rbs +0 -567
- data/sig/steep/type_inference/block_params.rbs +0 -170
- data/sig/steep/type_inference/constant_env.rbs +0 -29
- data/sig/steep/type_inference/context.rbs +0 -214
- data/sig/steep/type_inference/context_array.rbs +0 -38
- data/sig/steep/type_inference/logic_type_interpreter.rbs +0 -108
- data/sig/steep/type_inference/method_call.rbs +0 -124
- data/sig/steep/type_inference/method_params.rbs +0 -127
- data/sig/steep/type_inference/multiple_assignment.rbs +0 -76
- data/sig/steep/type_inference/send_args.rbs +0 -243
- data/sig/steep/type_inference/type_env.rbs +0 -160
- data/sig/steep/type_inference/type_env_builder.rbs +0 -81
- data/sig/steep/typing.rbs +0 -75
- data/sig/steep.rbs +0 -36
- data/smoke/alias/Steepfile +0 -6
- data/smoke/alias/a.rb +0 -16
- data/smoke/alias/a.rbs +0 -10
- data/smoke/alias/b.rb +0 -6
- data/smoke/alias/c.rb +0 -8
- data/smoke/alias/test_expectations.yml +0 -96
- data/smoke/and/Steepfile +0 -6
- data/smoke/and/a.rb +0 -8
- data/smoke/and/test_expectations.yml +0 -29
- data/smoke/array/Steepfile +0 -6
- data/smoke/array/a.rb +0 -18
- data/smoke/array/b.rb +0 -12
- data/smoke/array/c.rb +0 -6
- data/smoke/array/test_expectations.yml +0 -103
- data/smoke/block/Steepfile +0 -6
- data/smoke/block/a.rb +0 -10
- data/smoke/block/a.rbs +0 -6
- data/smoke/block/b.rb +0 -13
- data/smoke/block/c.rb +0 -9
- data/smoke/block/c.rbs +0 -3
- data/smoke/block/d.rb +0 -11
- data/smoke/block/e.rb +0 -12
- data/smoke/block/e.rbs +0 -4
- data/smoke/block/test_expectations.yml +0 -133
- data/smoke/case/Steepfile +0 -6
- data/smoke/case/a.rb +0 -18
- data/smoke/case/test_expectations.yml +0 -47
- data/smoke/class/Steepfile +0 -6
- data/smoke/class/a.rb +0 -25
- data/smoke/class/a.rbs +0 -23
- data/smoke/class/b.rb +0 -5
- data/smoke/class/c.rb +0 -9
- data/smoke/class/f.rb +0 -10
- data/smoke/class/g.rb +0 -6
- data/smoke/class/h.rb +0 -19
- data/smoke/class/h.rbs +0 -6
- data/smoke/class/i.rb +0 -14
- data/smoke/class/i.rbs +0 -9
- data/smoke/class/test_expectations.yml +0 -117
- data/smoke/compact/Steepfile +0 -6
- data/smoke/compact/a.rb +0 -2
- data/smoke/compact/a.rbs +0 -5
- data/smoke/compact/b.rb +0 -2
- data/smoke/compact/test_expectations.yml +0 -18
- data/smoke/const/Steepfile +0 -6
- data/smoke/const/a.rb +0 -27
- data/smoke/const/b.rb +0 -7
- data/smoke/const/b.rbs +0 -5
- data/smoke/const/test_expectations.yml +0 -134
- data/smoke/diagnostics/Steepfile +0 -6
- data/smoke/diagnostics/a.rbs +0 -22
- data/smoke/diagnostics/argument_type_mismatch.rb +0 -1
- data/smoke/diagnostics/block_body_type_mismatch.rb +0 -1
- data/smoke/diagnostics/block_type_mismatch.rb +0 -3
- data/smoke/diagnostics/break_type_mismatch.rb +0 -1
- data/smoke/diagnostics/different_method_parameter_kind.rb +0 -9
- data/smoke/diagnostics/else_on_exhaustive_case.rb +0 -12
- data/smoke/diagnostics/incompatible_annotation.rb +0 -6
- data/smoke/diagnostics/incompatible_argument.rb +0 -1
- data/smoke/diagnostics/incompatible_assignment.rb +0 -8
- data/smoke/diagnostics/method_arity_mismatch.rb +0 -11
- data/smoke/diagnostics/method_body_type_mismatch.rb +0 -6
- data/smoke/diagnostics/method_definition_missing.rb +0 -2
- data/smoke/diagnostics/method_parameter_mismatch.rb +0 -10
- data/smoke/diagnostics/method_return_type_annotation_mismatch.rb +0 -7
- data/smoke/diagnostics/missing_keyword.rb +0 -1
- data/smoke/diagnostics/no_method.rb +0 -1
- data/smoke/diagnostics/proc_type_expected.rb +0 -3
- data/smoke/diagnostics/required_block_missing.rb +0 -1
- data/smoke/diagnostics/return_type_mismatch.rb +0 -6
- data/smoke/diagnostics/test_expectations.yml +0 -591
- data/smoke/diagnostics/unexpected_block_given.rb +0 -1
- data/smoke/diagnostics/unexpected_dynamic_method.rb +0 -3
- data/smoke/diagnostics/unexpected_jump.rb +0 -4
- data/smoke/diagnostics/unexpected_jump_value.rb +0 -3
- data/smoke/diagnostics/unexpected_keyword.rb +0 -1
- data/smoke/diagnostics/unexpected_splat.rb +0 -1
- data/smoke/diagnostics/unexpected_yield.rb +0 -6
- data/smoke/diagnostics/unknown_constant_assigned.rb +0 -7
- data/smoke/diagnostics/unresolved_overloading.rb +0 -1
- data/smoke/diagnostics/unsupported_syntax.rb +0 -2
- data/smoke/diagnostics-rbs/Steepfile +0 -8
- data/smoke/diagnostics-rbs/duplicated-method-definition.rbs +0 -20
- data/smoke/diagnostics-rbs/generic-parameter-mismatch.rbs +0 -7
- data/smoke/diagnostics-rbs/inherit-module.rbs +0 -2
- data/smoke/diagnostics-rbs/invalid-method-overload.rbs +0 -3
- data/smoke/diagnostics-rbs/invalid-type-application.rbs +0 -7
- data/smoke/diagnostics-rbs/invalid_variance_annotation.rbs +0 -3
- data/smoke/diagnostics-rbs/mixin-class-error.rbs +0 -6
- data/smoke/diagnostics-rbs/nonregular-type-alias.rbs +0 -3
- data/smoke/diagnostics-rbs/recursive-alias.rbs +0 -5
- data/smoke/diagnostics-rbs/recursive-class.rbs +0 -8
- data/smoke/diagnostics-rbs/recursive-type-alias.rbs +0 -3
- data/smoke/diagnostics-rbs/superclass-mismatch.rbs +0 -7
- data/smoke/diagnostics-rbs/test_expectations.yml +0 -300
- data/smoke/diagnostics-rbs/unknown-method-alias.rbs +0 -3
- data/smoke/diagnostics-rbs/unknown-type-name-2.rbs +0 -5
- data/smoke/diagnostics-rbs/unknown-type-name.rbs +0 -13
- data/smoke/diagnostics-rbs-duplicated/Steepfile +0 -6
- data/smoke/diagnostics-rbs-duplicated/a.rbs +0 -5
- data/smoke/diagnostics-rbs-duplicated/test_expectations.yml +0 -13
- data/smoke/diagnostics-ruby-unsat/Steepfile +0 -6
- data/smoke/diagnostics-ruby-unsat/a.rbs +0 -3
- data/smoke/diagnostics-ruby-unsat/test_expectations.yml +0 -27
- data/smoke/diagnostics-ruby-unsat/unsatisfiable_constraint.rb +0 -6
- data/smoke/dstr/Steepfile +0 -6
- data/smoke/dstr/a.rb +0 -5
- data/smoke/dstr/test_expectations.yml +0 -13
- data/smoke/ensure/Steepfile +0 -6
- data/smoke/ensure/a.rb +0 -18
- data/smoke/ensure/test_expectations.yml +0 -62
- data/smoke/enumerator/Steepfile +0 -6
- data/smoke/enumerator/a.rb +0 -6
- data/smoke/enumerator/b.rb +0 -17
- data/smoke/enumerator/test_expectations.yml +0 -47
- data/smoke/extension/Steepfile +0 -6
- data/smoke/extension/a.rb +0 -10
- data/smoke/extension/a.rbs +0 -13
- data/smoke/extension/b.rb +0 -10
- data/smoke/extension/c.rb +0 -9
- data/smoke/extension/d.rb +0 -2
- data/smoke/extension/e.rb +0 -2
- data/smoke/extension/e.rbs +0 -7
- data/smoke/extension/f.rb +0 -2
- data/smoke/extension/f.rbs +0 -3
- data/smoke/extension/test_expectations.yml +0 -73
- data/smoke/hash/Steepfile +0 -6
- data/smoke/hash/a.rb +0 -17
- data/smoke/hash/a.rbs +0 -8
- data/smoke/hash/b.rb +0 -6
- data/smoke/hash/c.rb +0 -15
- data/smoke/hash/d.rb +0 -5
- data/smoke/hash/e.rb +0 -1
- data/smoke/hash/e.rbs +0 -3
- data/smoke/hash/f.rb +0 -11
- data/smoke/hash/test_expectations.yml +0 -81
- data/smoke/hello/Steepfile +0 -6
- data/smoke/hello/hello.rb +0 -11
- data/smoke/hello/hello.rbs +0 -7
- data/smoke/hello/test_expectations.yml +0 -25
- data/smoke/if/Steepfile +0 -6
- data/smoke/if/a.rb +0 -20
- data/smoke/if/test_expectations.yml +0 -34
- data/smoke/implements/Steepfile +0 -6
- data/smoke/implements/a.rb +0 -12
- data/smoke/implements/a.rbs +0 -6
- data/smoke/implements/b.rb +0 -13
- data/smoke/implements/b.rbs +0 -12
- data/smoke/implements/test_expectations.yml +0 -23
- data/smoke/initialize/Steepfile +0 -6
- data/smoke/initialize/a.rb +0 -12
- data/smoke/initialize/a.rbs +0 -3
- data/smoke/initialize/test_expectations.yml +0 -1
- data/smoke/integer/Steepfile +0 -6
- data/smoke/integer/a.rb +0 -26
- data/smoke/integer/test_expectations.yml +0 -110
- data/smoke/interface/Steepfile +0 -6
- data/smoke/interface/a.rb +0 -12
- data/smoke/interface/a.rbs +0 -12
- data/smoke/interface/test_expectations.yml +0 -23
- data/smoke/kwbegin/Steepfile +0 -6
- data/smoke/kwbegin/a.rb +0 -7
- data/smoke/kwbegin/test_expectations.yml +0 -17
- data/smoke/lambda/Steepfile +0 -6
- data/smoke/lambda/a.rb +0 -10
- data/smoke/lambda/test_expectations.yml +0 -17
- data/smoke/literal/Steepfile +0 -6
- data/smoke/literal/a.rb +0 -11
- data/smoke/literal/b.rb +0 -7
- data/smoke/literal/literal_methods.rbs +0 -4
- data/smoke/literal/test_expectations.yml +0 -106
- data/smoke/map/Steepfile +0 -6
- data/smoke/map/a.rb +0 -5
- data/smoke/map/test_expectations.yml +0 -1
- data/smoke/method/Steepfile +0 -6
- data/smoke/method/a.rb +0 -21
- data/smoke/method/a.rbs +0 -4
- data/smoke/method/b.rb +0 -25
- data/smoke/method/c.rb +0 -5
- data/smoke/method/d.rb +0 -1
- data/smoke/method/d.rbs +0 -3
- data/smoke/method/test_expectations.yml +0 -121
- data/smoke/module/Steepfile +0 -6
- data/smoke/module/a.rb +0 -19
- data/smoke/module/a.rbs +0 -16
- data/smoke/module/b.rb +0 -6
- data/smoke/module/c.rb +0 -22
- data/smoke/module/d.rb +0 -4
- data/smoke/module/e.rb +0 -13
- data/smoke/module/f.rb +0 -11
- data/smoke/module/test_expectations.yml +0 -75
- data/smoke/regexp/Steepfile +0 -6
- data/smoke/regexp/a.rb +0 -109
- data/smoke/regexp/b.rb +0 -79
- data/smoke/regexp/test_expectations.yml +0 -615
- data/smoke/regression/Steepfile +0 -6
- data/smoke/regression/array.rb +0 -7
- data/smoke/regression/block_param_split.rb +0 -7
- data/smoke/regression/block_param_split.rbs +0 -3
- data/smoke/regression/empty_yield.rb +0 -5
- data/smoke/regression/empty_yield.rbs +0 -3
- data/smoke/regression/enumerator_product.rb +0 -1
- data/smoke/regression/fun.rb +0 -8
- data/smoke/regression/fun.rbs +0 -4
- data/smoke/regression/hash.rb +0 -7
- data/smoke/regression/hello world.rb +0 -1
- data/smoke/regression/issue_328.rb +0 -1
- data/smoke/regression/issue_328.rbs +0 -0
- data/smoke/regression/issue_332.rb +0 -11
- data/smoke/regression/issue_332.rbs +0 -19
- data/smoke/regression/issue_372.rb +0 -8
- data/smoke/regression/issue_372.rbs +0 -4
- data/smoke/regression/lambda.rb +0 -3
- data/smoke/regression/masgn.rb +0 -4
- data/smoke/regression/poly_new.rb +0 -2
- data/smoke/regression/poly_new.rbs +0 -4
- data/smoke/regression/range.rb +0 -5
- data/smoke/regression/set_divide.rb +0 -12
- data/smoke/regression/test_expectations.yml +0 -120
- data/smoke/regression/thread.rb +0 -7
- data/smoke/rescue/Steepfile +0 -6
- data/smoke/rescue/a.rb +0 -48
- data/smoke/rescue/test_expectations.yml +0 -79
- data/smoke/self/Steepfile +0 -6
- data/smoke/self/a.rb +0 -21
- data/smoke/self/a.rbs +0 -4
- data/smoke/self/test_expectations.yml +0 -23
- data/smoke/skip/Steepfile +0 -6
- data/smoke/skip/skip.rb +0 -13
- data/smoke/skip/test_expectations.yml +0 -23
- data/smoke/stdout/Steepfile +0 -6
- data/smoke/stdout/a.rb +0 -8
- data/smoke/stdout/a.rbs +0 -7
- data/smoke/stdout/test_expectations.yml +0 -1
- data/smoke/super/Steepfile +0 -6
- data/smoke/super/a.rb +0 -30
- data/smoke/super/a.rbs +0 -10
- data/smoke/super/test_expectations.yml +0 -69
- data/smoke/toplevel/Steepfile +0 -6
- data/smoke/toplevel/a.rb +0 -3
- data/smoke/toplevel/a.rbs +0 -3
- data/smoke/toplevel/test_expectations.yml +0 -15
- data/smoke/tsort/Steepfile +0 -7
- data/smoke/tsort/a.rb +0 -12
- data/smoke/tsort/test_expectations.yml +0 -1
- data/smoke/type_case/Steepfile +0 -6
- data/smoke/type_case/a.rb +0 -24
- data/smoke/type_case/test_expectations.yml +0 -58
- data/smoke/unexpected/Steepfile +0 -6
- data/smoke/unexpected/test_expectations.yml +0 -13
- data/smoke/unexpected/unexpected.rbs +0 -3
- data/smoke/yield/Steepfile +0 -6
- data/smoke/yield/a.rb +0 -15
- data/smoke/yield/b.rb +0 -6
- 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.
|
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:
|
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.
|
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.
|
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.
|
404
|
+
rubygems_version: 3.5.3
|
789
405
|
signing_key:
|
790
406
|
specification_version: 4
|
791
407
|
summary: Gradual Typing for Ruby
|
data/.github/dependabot.yml
DELETED
@@ -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}}
|
data/.github/workflows/ruby.yml
DELETED
@@ -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
|