Можно ли с помощью FParsec манипулировать позицией ошибки при сбое парсера?

Я думаю, вам нужен attempt p, который вернется к исходному состоянию синтаксического анализатора, если синтаксический анализатор p выйдет из строя. Таким образом, вы можете просто определить pidentifier как:

let pidentifier =
    pidentifierraw
    >>= fun s ->
        if reserved |> List.exists ((=) s) then fail "keyword instead of identifier"
        else preturn s
    |> attempt   // rollback on failure

Вывод тогда что-то вроде:

Failure:
Error in Ln: 1 Col: 1
default
^

The parser backtracked after:
  Error in Ln: 1 Col: 8
  default
         ^
  Note: The error occurred at the end of the input stream.
  keyword instead of identifier

Обновлять

Если вы не хотите видеть информацию о возврате в сообщении об ошибке, вы можете использовать упрощенную версию attempt, например:

let attempt (parser : Parser<_, _>) : Parser<_, _> =
    fun stream ->
        let mutable state = CharStreamState(stream)
        let reply = parser stream
        if reply.Status <> Ok then
            stream.BacktrackTo(&state)
        reply

Вывод теперь просто:

Failure:
Error in Ln: 1 Col: 1
default
^
keyword instead of identifier

К сожалению, я пропустил оператор >>=?, который, по-видимому, (по крайней мере, семантически) эквивалентен attempt этому Брайан Бернс правильно предположил.

Проблема с обоими этими подходами заключается в том, что последующие сообщения The parser backtracked after:[…] могут каскадироваться, если предыдущие парсеры также возвращаются:

Error in Ln: 156 Col: 29 (UTF16-Col: 22)
        Block "main" 116x60 font=default fg=textForeground
                            ^
Note: The column count assumes a tab stop distance of 8 chars.
Expecting: space/tab

The parser backtracked after:
  Error in Ln: 156 Col: 42 (UTF16-Col: 35)
          Block "main" 116x60 font=default fg=textForeground
                                           ^
  Note: The column count assumes a tab stop distance of 8 chars.
  Expecting: space/tab
  Other error messages:
    keyword instead of identifier