447 run tests on all rule sets - Githubissues

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

447 run tests on all rule sets #465

Open deemp opened 2 months ago

deemp commented 2 months ago

closes #447

PR-Codex overview

This PR introduces new rules and tests for Language.EO.Phi focusing on PhiPaperSpec.hs and DataizeSpec.hs.

Detailed summary

Added QuasiQuotes extension to both files
Imported PyF module for string formatting
Added fastYegorInsideOutAsRule to rules in both files
Refactored test setup and added new test functions

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