rigortype 0.0.1 → 0.0.3

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (42) hide show
  1. checksums.yaml +4 -4
  2. data/data/builtins/ruby_core/array.yml +1470 -0
  3. data/data/builtins/ruby_core/file.yml +501 -0
  4. data/data/builtins/ruby_core/io.yml +1594 -0
  5. data/data/builtins/ruby_core/numeric.yml +1809 -0
  6. data/data/builtins/ruby_core/string.yml +1850 -0
  7. data/lib/rigor/analysis/check_rules.rb +297 -5
  8. data/lib/rigor/analysis/diagnostic.rb +13 -2
  9. data/lib/rigor/analysis/runner.rb +52 -5
  10. data/lib/rigor/builtins/imported_refinements.rb +69 -0
  11. data/lib/rigor/cli/type_of_command.rb +11 -5
  12. data/lib/rigor/cli/type_scan_command.rb +13 -8
  13. data/lib/rigor/cli.rb +26 -6
  14. data/lib/rigor/configuration.rb +18 -2
  15. data/lib/rigor/environment.rb +3 -1
  16. data/lib/rigor/inference/acceptance.rb +180 -0
  17. data/lib/rigor/inference/builtins/array_catalog.rb +46 -0
  18. data/lib/rigor/inference/builtins/method_catalog.rb +90 -0
  19. data/lib/rigor/inference/builtins/numeric_catalog.rb +93 -0
  20. data/lib/rigor/inference/builtins/string_catalog.rb +39 -0
  21. data/lib/rigor/inference/expression_typer.rb +151 -0
  22. data/lib/rigor/inference/method_dispatcher/constant_folding.rb +650 -16
  23. data/lib/rigor/inference/method_dispatcher/file_folding.rb +144 -0
  24. data/lib/rigor/inference/method_dispatcher/iterator_dispatch.rb +113 -0
  25. data/lib/rigor/inference/method_dispatcher/rbs_dispatch.rb +4 -0
  26. data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +107 -0
  27. data/lib/rigor/inference/method_dispatcher.rb +28 -21
  28. data/lib/rigor/inference/narrowing.rb +471 -10
  29. data/lib/rigor/inference/scope_indexer.rb +66 -0
  30. data/lib/rigor/inference/statement_evaluator.rb +305 -2
  31. data/lib/rigor/rbs_extended.rb +174 -14
  32. data/lib/rigor/scope.rb +44 -5
  33. data/lib/rigor/type/combinator.rb +69 -1
  34. data/lib/rigor/type/difference.rb +155 -0
  35. data/lib/rigor/type/integer_range.rb +137 -0
  36. data/lib/rigor/type.rb +2 -0
  37. data/lib/rigor/version.rb +1 -1
  38. data/sig/rigor/inference.rbs +5 -2
  39. data/sig/rigor/rbs_extended.rbs +25 -1
  40. data/sig/rigor/scope.rbs +4 -0
  41. data/sig/rigor/type.rbs +51 -1
  42. metadata +15 -1
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: 1264f9aa0f9dfc20f74b28ee7302166c43e0b0c6ba7b30b0cf85b39b42020eb7
4
- data.tar.gz: a324faeb0b6d0b2d87bfd2517c1712cd1511afcd2579d7659f4864a1a7451032
3
+ metadata.gz: 72dac247bb2b31d9f2b226d392242da9b6db2b3ee5638f4a6f66e8739019e18b
4
+ data.tar.gz: a39d687e673df117dc61182391a37a33b0a6c30e9489bd94549a7bf9ee8e5245
5
5
  SHA512:
6
- metadata.gz: ca91af212669aa5f62e32c4475b907dd36b1d4dc425ff2ad48f39c1962919bc3e6a7a246eac4b7138bd318c00f9fa9b4f8054612b3b64dee86d8b83b58bbaf36
7
- data.tar.gz: 462e42c61867f6b933d70590aeb4ee52476d8ae1f4e034727d0e4df5928cc4706a4634535813f757de1f5da01bf19ff64e09204d63a31c72c9382fe2be5a831d
6
+ metadata.gz: 4aa2cfec0a5c4fd968fe0071d29073ab2131e802a1749f23009e5845d9efebff2e5abe58e97882911c34fb90c9ef32858a47acf7bc64d4b98b91bc7c5acf7bc6
7
+ data.tar.gz: 991d69e4ad0447c192c468ab13d387baee0334e401528b79676c9374b9b2137b6a3c4b3ada761e33e145ae963aee5fa6a8f7f84194a6c0b053bd1d4c39790507