ParseError is:exact package:Agda

Parse errors: what you get if parsing fails.
Errors that arise at a specific position in the file