Parsecとカスタム解析エラータイプ

Question

何らかのカスタムタイプの解析エラーを何とか取得できますか？たとえば、エラーからコンテキストを解析することについてのより多くの情報を得ることはクールです。そして、テキストメッセージの形でエラー情報を持つのはあまり便利ではないようです。

Answer 1

Rhymoidが観察するように、残念ながら、直接には不可能です。あなた自身のEither様モナドでParsecを組み合わせる

も、助けにはなりません - それは（オーバーEitherT）をあまりにも早く（Eitherオーバー）を終了するか、遅すぎます。

もしあなたがそれを悪くしたいなら、あなたはをState (SourcePos, YourErrorType)以上に使ってください。

構造化されたエラー値を出力するたびに、現在の場所の状態で記録しますが、はの場合のみ（これはエラーが返されるため、Parsecのユーザー状態は使用できません）現在の場所はすでに記録されている場所よりも遠いです。 （場所が同じであれば、何とかエラーをマージすることができます）

最後に、モナドスタックを実行すると、 SourcePos。 2つの場所が一致していることを確認してください。そうでない場合（つまり、ParsecのSourcePosが遠い場合）、このエラーのエラー値はありません。