Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
パーサー エラー メッセージを生成しようとしています。これを行うには、最後のトークンと最後の状態を使用したいと考えています。
このメソッドを使用して、最後のトークンを出力できます。
ただし、状態は Menhir によって生成されるため、Menhir のソースを改ざんせずにエラー時に最後の状態を出力する方法を見つけられませんでした。
Menhir生成パーサーからプログラムで状態を抽出する方法はありますか? すなわち、エラーが発生した状態を出力します。エラートークンが生成される状態。