search

egison / egison-pattern-src

Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
https://hackage.haskell.org/package/egison-pattern-src
BSD 3-Clause "New" or "Revised" License
5 stars 0 forks source link

constructor patterns should not require parentheses #18

Closed coord-e closed 4 years ago

coord-e commented 4 years ago

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

coord-e 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）