Я пишу парсер с двумя проходами, где сначала просматриваю текст в токенах (используя Alex), затем анализирую эти токены (используя Parsec). Все хорошо и хорошо, пока я не попытался добавить информацию о позиции в токены, чтобы я мог написать хорошее сообщение об ошибке.
Первоначально у меня было:
data Token = TAtom | TString String | TInt Integer | TFloat [...]
Кажется, я могу добавить элемент Position к каждому конструктору Token или создать новый тип, например data TokenWithPosition = T Token Position.
Я начал последний путь, но теперь у меня возникла проблема либо создать TokenWithPosition с поддельной позицией, когда я хочу описать токен в Parsec, либо мне нужно развернуть TokenWithPosition каждый Я хочу провести сравнение. Короче говоря, моя хорошая чистая грамматика переполнена кодом, необходимым для игнорирования информации о местоположении.
Итак, мой вопрос: есть ли чистый способ отслеживать информацию о местоположении без усложнения анализатора во втором проходе? Это похоже на то, что будет иметь стандартное решение.