search

gallais / idris-tparsec

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

Error reporting #12

Closed clayrat closed 6 years ago

clayrat commented 6 years ago

port of https://github.com/gallais/agdarsec/pull/11

clayrat commented 6 years ago

I wonder if we can use something like finally tagless style here, instead of all this explicit transformer rewrapping? Perhaps that's better be dealt with in another PR.

gallais commented 6 years ago

Thanks for all the hard work! This was a really nice series of experiments towards a really cool feature!

I don't mind the transformer re-wrapping. It should be transparent for the end user anyway.

clayrat commented 6 years ago

Thanks for your guidance!