更改词法分析的状态。lexbuf公司

我正在写一个lexer Brainfuck 使用ocamlex并实现其循环,我需要更改lexbuf的状态,以便它可以返回到流中的前一个位置。

Brainfuck的背景信息(可跳过)

在Brainfuck中,一个循环是由一对方括号和 以下规则:

• [
• ] -&燃气轮机;如果当前单元格的值不是0,则返回到匹配的 [

因此,以下代码的计算结果为15:

+++ [ > +++++ < - ] > .

内容如下:

• 在第一个单元格中,指定3(增加3倍)
• 输入loop,移动到下一个单元格
• 移回第一个单元格,并从其值中减去1
• 点击结束方括号,现在当前单元格(第一个)等于2,因此跳回到 [ 然后再次进入循环
• 继续,直到第一个单元格等于0,然后退出循环
• .

第二个单元格中的值将增加到15 (以5递增3倍)。

问题:

[ brainfuck.mll 文件,即 push_curr_p 和 pop_last_p 将lexbuf的当前位置推到 int list ref 已命名 loopstack :

{ (* Header *)
  let tape = Array.make 100 0
  let tape_pos = ref 0
  let loopstack = ref []

  let push_curr_p (lexbuf: Lexing.lexbuf) =
    let p = lexbuf.Lexing.lex_curr_p in
      let curr_pos = p.Lexing.pos_cnum in
        (* Saving / pushing the position of `[` to loopstack *)
        ( loopstack := curr_pos :: !loopstack
        ; lexbuf
        )

  let pop_last_p (lexbuf: Lx.lexbuf) =
    match !loopstack with
    | []       -> lexbuf
    | hd :: tl ->
      (* This is where I attempt to bring lexbuf back *)
      ( lexbuf.Lexing.lex_curr_p <- { lexbuf.Lexing.lex_curr_p with Lexing.pos_cnum = hd }
      ; loopstack := tl
      ; lexbuf
      )
}

{ (* Rules *)
  rule brainfuck = parse
  | '['  { brainfuck (push_curr_p lexbuf) }
  | ']'  { (* current cell's value must be 0 to exit the loop *)
           if tape.(!tape_pos) = 0
           then brainfuck lexbuf
           (* this needs to bring lexbuf back to the previous `[`
            * and proceed with the parsing 
            *)
           else brainfuck (pop_last_p lexbuf)
         }
  (* ... other rules ... *)
}

其他规则运行得很好,但似乎忽略了这一点 [ 和 ] . 问题显然在 循环堆栈 以及我如何获得和设置 lex_curr_p 状态希望有任何线索。