egison / egison-pattern-src

Manipulating Egison patterns: abstract syntax, parser, and pretty-printer

https://hackage.haskell.org/package/egison-pattern-src

constructor patterns should not require parentheses

coord-e opened this issue 4 years ago · comments

Hiromi Ogawa commented 4 years ago

the syntax for constructor patterns is not (c p1 p2 ... pn) but c p1 p2 ... pn in current Egison

Hiromi Ogawa commented 4 years ago

then we must handle ! as an atom pattern（https://github.com/egison/egison/blob/master/hs-src/Language/Egison/ParserNonS.hs#L692）