Одна общая проблема с Parsec заключается в том, что она имеет тенденцию игнорировать недопустимый ввод, если он встречается в "правильном" месте.
В качестве конкретного примера предположим, что мы имеем integer :: Parser Int, и я пишу
expression = sepBy integer (char '+')
(Игнорировать проблемы с пробелами на мгновение.)
Это правильно разбирает что-то вроде "123 + 456 + 789". Однако, если я подаю его "123 + 456-789", он весело игнорирует незаконный символ "-" и конечную часть выражения; Я действительно хотел, чтобы сообщение об ошибке сообщало мне о недопустимом входе, а не просто молчаливо игнорировало эту часть.
Я понимаю, почему это происходит; я не уверен, как это исправить. Каков общий метод проектирования парсеров, которые потребляют все предоставленные входные данные и преуспевают, только если все это допустимое выражение?
