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

Support multiple patterns and results in custom rules #440

Open fizruk opened 2 months ago

fizruk commented 2 months ago

As discussed, it is fine to have a list of pattern-result pairs. We can also make result optional, to mean that pattern is matched to gather info, but is left unchanged (i.e. result is the same as pattern by default). All patterns in a rule must match simultaneously.

Follow up to #423 and #432.