objectionary / normalizer

Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7 stars 2 forks source link

406 support enabling/disabling particular atoms #426

Open deemp opened 2 weeks ago

deemp commented 2 weeks ago

Issues


PR-Codex overview

This PR introduces new dataized objects and pipeline commands. It also updates configuration settings and JSON serialization.

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 1 week ago

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

deemp commented 6 days 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