Record spans instead of just starting positions

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

Record spans instead of just starting positions #29

Open epost opened 4 years ago

epost commented 4 years ago

In addition to knowing the starting position of a parsed String, it would be very useful to know the ending position, so I would like to suggest generalising Position to Span.