Исправление плохой грамматики JSON

Parsec не выполняет автоматическую перемотку назад и назад. Когда вы пишете sepBy member valueSeparator, valueSeparator занимает пробел, поэтому синтаксический анализатор будет анализировать ваше значение следующим образом:

{"x":1 }
[------- object
%        beginObject
 [-]     name
    %    nameSeparator
     %   jvalue
      [- valueSeparator
       X In valueSeparator: unexpected "}"

Legend:
[--]     full match
%        full char match
[--      incomplete match
X        incomplete char match

Когда valueSeparator терпит неудачу, Parsec не будет возвращаться и пробовать другую комбинацию синтаксических анализов, потому что один символ уже совпал в valueSeparator.

У вас есть два варианта решения вашей проблемы:

1. Поскольку пробелы в JSON несущественны, всегда используйте пробелы после важного токена, а не раньше. Таким образом, tok должен использовать только пробел после char, поэтому его определение tok c = char c *> ws ((*>) из Control.Applicative); применить то же правило ко всем остальным парсерам. Поскольку вы никогда не будете использовать пустое пространство после входа в «неправильный синтаксический анализатор», вам не придется возвращаться назад.
2. Используйте отслеживание с возвратом в Parsec, добавляя try перед парсерами, которые могут потреблять более одного символа и должны перематывать ввод в случае сбоя.

EDIT: обновлена ​​графика ASCII, чтобы сделать ее более понятной.

Общее решение состоит в том, чтобы все ваши синтаксические анализаторы пропускали завершающие пробелы. Посмотрите lexeme (в ParsecToken) в документации Parsec, чтобы узнать, как это сделать, или просто придумайте простую версию самостоятельно:

 lexeme parser = do result <- parser
                    spaces
                    return result

Затем используйте эту функцию для всех ваших токенов (например, числовых литералов). Таким образом, вам придется беспокоиться только о пробелах в самом начале выражения.

Дополнительные сведения о ParsecToken и его друзьях см. в разделе «Лексический анализ» документа документы Parsec.

Имеет смысл пропускать пробелы только после маркера, за исключением самого начала, где вы можете пропустить его вручную. Вы должны использовать этот подход, даже если в конечном итоге вы не используете модуль ParsecToken.

Кажется, у вас уже есть tok, который действует как мой lexeme, за исключением того, что он использует пробелы с обеих сторон. Измените его, чтобы использовать только пробелы после токена и просто игнорировать пробелы в самом начале ввода вручную. Это должно (в идеале :)) решить проблему.