objectionary / normalizer

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

Fix normalized PHI to normalized EO conversion in the pipeline script #390

Closed deemp closed 4 months ago

deemp commented 4 months ago

Depends on

Problem

Apparently, I didn't understand where eoc searched for files and assumed everything was OK since tests worked. It turned out, due to caching, after normalization, eoc unphi always worked with PHI files stored in .eoc/phi from a previous stage, i.e., non-normalized files. Hence, tests always ran on non-normalized EO.

I tried to run unphi on normalized PHI files and got an error. So, our pipeline is currently invalid and doesn't produce normalized EO.

Solution

unphi and print normalized PHI files using new eoc CLI options implemented for https://github.com/objectionary/eoc/issues/293.