argumentcomputer / Megaparsec.lean

Lean 4 port of Megaparsec
MIT License
22 stars 4 forks source link

Bug: Line numbers and unexpected characters are off-by-one #23

Closed cognivore closed 2 years ago

cognivore commented 2 years ago

Why?

Given a parser string "yat" <*> string "ima" and an input "yatimAaaa!", we get the following error:

image

We should get an error at 1:4 instead.

How?