objectionary / eo-phi-normalizer

Command Line Normalizer and Rewriter of 𝜑-calculus Expressions (part of EOLANG family)
https://www.objectionary.com/eo-phi-normalizer/
MIT License
7 stars 2 forks source link

406 support enabling/disabling particular atoms #426

Closed deemp closed 3 months ago

deemp commented 3 months ago

Issues


PR-Codex overview

This PR updates the eo-phi-normalizer package by adding new phi files, updating pipeline configurations, and introducing new rules.

Detailed summary

The following files were skipped due to too many changes: eo-phi-normalizer/data/0.38.4/org/eolang/while.phi, eo-phi-normalizer/data/0.38.4/org/eolang/seq.phi, eo-phi-normalizer/data/0.38.4/org/eolang/int.phi, eo-phi-normalizer/data/0.38.4/org/eolang/switch.phi, eo-phi-normalizer/src/Language/EO/Phi/Pipeline/Dataize/PrintConfigs.hs, eo-phi-normalizer/data/0.38.4/org/eolang/malloc.phi, eo-phi-normalizer/data/0.38.4/org/eolang/bytes.phi, eo-phi-normalizer/src/Language/EO/Phi/Rules/Common.hs, eo-phi-normalizer/data/0.38.4/org/eolang/tuple.phi, eo-phi-normalizer/data/0.38.4/org/eolang/float.phi, site/docs/src/pipeline.md, scripts/pipeline.sh, eo-phi-normalizer/data/0.38.4/org/eolang/positive-infinity.phi, eo-phi-normalizer/data/0.38.4/org/eolang/negative-infinity.phi, eo-phi-normalizer/eo-phi-normalizer.cabal, eo-phi-normalizer/app/Main.hs, eo-phi-normalizer/src/Language/EO/Phi/Dataize.hs

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

0crat commented 3 months ago

@fizruk Thanks for the review! You've earned +25 points for this.

deemp commented 3 months ago

To enable or disable particular atoms for a pipeline test set, add an atoms object into the test set in the pipeline config (the file path is pipeline/config.yaml).

If you enable particular atoms, only these atoms are enabled. If you don't enable particular atoms, all atoms except disabled are enabled.

Here's an example of a test set where the foo atom is enabled and the bar atom is disabled. Note that the Package atom is disabled.

- eo:
    original: eo/eo-runtime/src/test/eo/org/eolang/as-phi-tests.eo
    yaml: pipeline/eo-yaml/as-phi-tests.yaml
    filtered: pipeline/eo-filtered/as-phi-tests.eo
  phi:
    initial: pipeline/phi-initial/as-phi-tests.phi
    normalized: pipeline/phi-normalized/as-phi-tests.phi
    bindings-path-initial: org.eolang
    bindings-path-normalized: org.eolang
  atoms:
    enable:
      - foo
    disable:
      - bar
0crat commented 2 months ago

@deemp Thanks for the contribution! You've earned +5 points for this: +20 as a basis; +5 for 2236 hits-of-code; -7 for too many hits-of-code (2236 >= 100); -15 for way too many hits-of-code (2236 >= 400); -9 for 9 comments; +11 to give you at least something. Please, keep them coming.