rigortype 0.1.4 → 0.1.6

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.1.4
+  version: 0.1.6
 platform: ruby
 authors:
 - Rigor contributors
@@ -9,6 +9,26 @@ bindir: exe
 cert_chain: []
 date: 1980-01-01 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: language_server-protocol
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.17'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.17'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
 - !ruby/object:Gem::Dependency
   name: prism
   requirement: !ruby/object:Gem::Requirement
@@ -49,6 +69,26 @@ dependencies:
     - - "<"
       - !ruby/object:Gem::Version
         version: '5.0'
+- !ruby/object:Gem::Dependency
+  name: parallel_tests
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '4.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '6.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '4.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '6.0'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
@@ -183,6 +223,7 @@ files:
 - data/builtins/ruby_core/time.yml
 - exe/rigor
 - lib/rigor.rb
+- lib/rigor/analysis/buffer_binding.rb
 - lib/rigor/analysis/check_rules.rb
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
 - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
@@ -192,16 +233,22 @@ files:
 - lib/rigor/analysis/dependency_source_inference/builder.rb
 - lib/rigor/analysis/dependency_source_inference/gem_resolver.rb
 - lib/rigor/analysis/dependency_source_inference/index.rb
+- lib/rigor/analysis/dependency_source_inference/return_type_heuristic.rb
 - lib/rigor/analysis/dependency_source_inference/walker.rb
 - lib/rigor/analysis/diagnostic.rb
 - lib/rigor/analysis/fact_store.rb
+- lib/rigor/analysis/project_scan.rb
 - lib/rigor/analysis/result.rb
 - lib/rigor/analysis/rule_catalog.rb
+- lib/rigor/analysis/run_stats.rb
 - lib/rigor/analysis/runner.rb
+- lib/rigor/analysis/worker_session.rb
 - lib/rigor/ast.rb
 - lib/rigor/ast/type_node.rb
+- lib/rigor/builtins/hkt_builtins.rb
 - lib/rigor/builtins/imported_refinements.rb
 - lib/rigor/builtins/regex_refinement.rb
+- lib/rigor/builtins/static_return_refinements.rb
 - lib/rigor/cache/descriptor.rb
 - lib/rigor/cache/rbs_class_ancestor_table.rb
 - lib/rigor/cache/rbs_class_type_param_names.rb
@@ -215,6 +262,7 @@ files:
 - lib/rigor/cli.rb
 - lib/rigor/cli/diff_command.rb
 - lib/rigor/cli/explain_command.rb
+- lib/rigor/cli/lsp_command.rb
 - lib/rigor/cli/sig_gen_command.rb
 - lib/rigor/cli/type_of_command.rb
 - lib/rigor/cli/type_of_renderer.rb
@@ -225,9 +273,16 @@ files:
 - lib/rigor/configuration/dependencies.rb
 - lib/rigor/configuration/severity_profile.rb
 - lib/rigor/environment.rb
+- lib/rigor/environment/bundle_sig_discovery.rb
 - lib/rigor/environment/class_registry.rb
+- lib/rigor/environment/hkt_registry_holder.rb
+- lib/rigor/environment/lockfile_resolver.rb
+- lib/rigor/environment/rbs_collection_discovery.rb
+- lib/rigor/environment/rbs_coverage_report.rb
 - lib/rigor/environment/rbs_hierarchy.rb
 - lib/rigor/environment/rbs_loader.rb
+- lib/rigor/environment/reflection.rb
+- lib/rigor/environment/reporters.rb
 - lib/rigor/flow_contribution.rb
 - lib/rigor/flow_contribution/conflict.rb
 - lib/rigor/flow_contribution/element.rb
@@ -261,6 +316,11 @@ files:
 - lib/rigor/inference/expression_typer.rb
 - lib/rigor/inference/fallback.rb
 - lib/rigor/inference/fallback_tracer.rb
+- lib/rigor/inference/hkt_body.rb
+- lib/rigor/inference/hkt_body_parser.rb
+- lib/rigor/inference/hkt_reducer.rb
+- lib/rigor/inference/hkt_registry.rb
+- lib/rigor/inference/macro_block_self_type.rb
 - lib/rigor/inference/method_dispatcher.rb
 - lib/rigor/inference/method_dispatcher/block_folding.rb
 - lib/rigor/inference/method_dispatcher/constant_folding.rb
@@ -271,26 +331,55 @@ files:
 - lib/rigor/inference/method_dispatcher/method_folding.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
+- lib/rigor/inference/method_dispatcher/receiver_affinity.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
 - lib/rigor/inference/method_parameter_binder.rb
 - lib/rigor/inference/multi_target_binder.rb
 - lib/rigor/inference/narrowing.rb
+- lib/rigor/inference/project_patched_methods.rb
+- lib/rigor/inference/project_patched_scanner.rb
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/scope_indexer.rb
 - lib/rigor/inference/statement_evaluator.rb
+- lib/rigor/inference/synthetic_method.rb
+- lib/rigor/inference/synthetic_method_index.rb
+- lib/rigor/inference/synthetic_method_scanner.rb
+- lib/rigor/language_server.rb
+- lib/rigor/language_server/buffer_table.rb
+- lib/rigor/language_server/completion_provider.rb
+- lib/rigor/language_server/debouncer.rb
+- lib/rigor/language_server/diagnostic_publisher.rb
+- lib/rigor/language_server/document_symbol_provider.rb
+- lib/rigor/language_server/folding_range_provider.rb
+- lib/rigor/language_server/hover_provider.rb
+- lib/rigor/language_server/hover_renderer.rb
+- lib/rigor/language_server/loop.rb
+- lib/rigor/language_server/project_context.rb
+- lib/rigor/language_server/selection_range_provider.rb
+- lib/rigor/language_server/server.rb
+- lib/rigor/language_server/signature_help_provider.rb
+- lib/rigor/language_server/synchronized_writer.rb
+- lib/rigor/language_server/uri.rb
 - lib/rigor/plugin.rb
 - lib/rigor/plugin/access_denied_error.rb
 - lib/rigor/plugin/base.rb
+- lib/rigor/plugin/blueprint.rb
 - lib/rigor/plugin/fact_store.rb
 - lib/rigor/plugin/io_boundary.rb
 - lib/rigor/plugin/load_error.rb
 - lib/rigor/plugin/loader.rb
+- lib/rigor/plugin/macro.rb
+- lib/rigor/plugin/macro/block_as_method.rb
+- lib/rigor/plugin/macro/external_file.rb
+- lib/rigor/plugin/macro/heredoc_template.rb
+- lib/rigor/plugin/macro/trait_registry.rb
 - lib/rigor/plugin/manifest.rb
 - lib/rigor/plugin/registry.rb
 - lib/rigor/plugin/services.rb
 - lib/rigor/plugin/trust_policy.rb
 - lib/rigor/plugin/type_node_resolver.rb
 - lib/rigor/rbs_extended.rb
+- lib/rigor/rbs_extended/hkt_directives.rb
 - lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
 - lib/rigor/scope.rb
@@ -313,6 +402,7 @@ files:
 - lib/rigor/trinary.rb
 - lib/rigor/type.rb
 - lib/rigor/type/accepts_result.rb
+- lib/rigor/type/app.rb
 - lib/rigor/type/bot.rb
 - lib/rigor/type/bound_method.rb
 - lib/rigor/type/combinator.rb
@@ -358,6 +448,7 @@ files:
 - sig/rigor/plugin.rbs
 - sig/rigor/plugin/access_denied_error.rbs
 - sig/rigor/plugin/base.rbs
+- sig/rigor/plugin/blueprint.rbs
 - sig/rigor/plugin/fact_store.rbs
 - sig/rigor/plugin/io_boundary.rbs
 - sig/rigor/plugin/load_error.rbs