enable to take expressions in constructor patterns
coord-e opened this issue · comments
We want to parameterize pattern constructors with expressions. e.g.
{modBy 2} #0 & $x : _
This new syntax enables us to achieve some use cases of pattern-functions in compiled languages without compile-time evaluation.