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

Experiment with `Lazy` annotations #37

Open gallais opened 4 years ago

gallais commented 4 years ago

I am not sure how much of the time spent parsing examples is actually spent computing the whole Parser mn p a n for the concrete size n of the input string. If this is indeed happening then we ought to be able to save a lot of time by adding Lazy annotations for the second arguments of and, alt, etc.