ハッピー＆アレックス - 先読みがパーサーレクサーの通信に影響を与えないようにする

Question

私は現在、ハッピー&アレックスを使って、おもちゃの言語 のコンパイラのパーサを書いています。任意のレイアウトのオプションが必要なので、私は アレックスの状態をblock非端末に合わせる前に変更しなければなりません。残念ながら ハッピーに必要な先読みトークンが先に読み取られているようです 私はアレックスの状態を変更するチャンスがあります。ここで

は、問題を実証する小さなスニペットです：

funcDef : header localDefs block 
         ^I have to change alex's state 
          before the underlying lexer 
          starts reading the block tokens. 

は、この問題に対する一般的なアプローチはありますか？

Answer 1

スレッドレクサーを使用していると仮定しています（HappyとAlexは同じモナドで動作しています）。私が同様の問題に直面したときに使用したトリックは、空のプロダクションルールをルールに入れることです。

changeAlexState :: {() } 
    : {- empty -} {%% \tok -> changeAlexState *> pushTok tok } 

funcDef : header localDefs changeAlexState block 

はその後、あなたは（Pがあなたの字句/構文解析をモナドです）pushTok :: Token -> P()をサポートするために、あなたのモナドにいくつかの状態を追加し、レクサーているときときは、必ずそのトークンを開くことを確認する必要があります。 %%はdocumented hereです。

n : t_1 ... t_n {%% <expr> }

... <expr>の種類は[依然としてToken -> P a】同じであるが、この場合、先読みトークンは、実際には破棄され、新しいトークンが入力から読み込まれます。これは、次のトークンを変更して解析を続行する場合に便利です。

私は以前、まったく同じことをしました。 Here is my "empty" rule,here is an example use of it,here is where my pushing function is definedおよびhere is where I "pop" tokens。それがどうなるか教えてください！