search

gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93 stars 9 forks source link

Update to Idris 1.3: use lowercase patterns #5

Closed clayrat closed 6 years ago

clayrat commented 6 years ago

In 1.3 you can't use uppercase variables in patterns, which apparently record accessors desugar into.

gallais commented 6 years ago

Thanks!