问从显式令牌列表中输入ocamlyacc解析器？

EN

如果你已经有了一个标记列表，你可以直接使用丑陋的方式，完全忽略词法分析缓冲区。毕竟，解析器所期望的parse-from-lexbuf函数是一个非纯函数：

let my_tokens = ref [ (* WHATEVER *) ]
let token lexbuf = 
  match !my_tokens with 
    | []     -> EOF 
    | h :: t -> my_tokens := t ; h 

let ast = Parser.parse token (Lexbuf.from_string "")

另一方面，从您的注释可以看出，您实际上有一个Lexing.lexbuf -> token list类型的函数，您正在尝试将该函数放入解析器的Lexing.lexbuf -> token签名中。如果是这种情况，您可以很容易地使用队列来编写这两种类型之间的转换器：

let deflate token = 
  let q = Queue.create () in
  fun lexbuf -> 
    if not (Queue.is_empty q) then Queue.pop q else   
      match token lexbuf with 
        | [   ] -> EOF 
        | [tok] -> tok
        | hd::t -> List.iter (fun tok -> Queue.add tok q) t ; hd 

let ast = Parser.parse (deflate my_lexer) lexbuf

正如Jeffrey已经提到的，Menhir特别向解析器提供了一个模块，作为其运行时库的一部分，该模块具有任何类型的令牌流(它只请求一个unit -> token函数)：MenhirLib.Convert。

(您甚至可以在不使用门希尔的情况下使用此代码，而使用ocamlyacc。实际上，转换并不是非常复杂，因此您甚至可以自己重新实现它。)

OCamlYacc接口看起来确实非常复杂；它似乎需要一个Lexing.lexbuf。也许您可以考虑使用Lexing.from_string来提供固定的字符串，而不是固定的标记序列。你也可以看看Menhir。我还没有用过它，但每当有人提到OCaml解析器生成器时，它就会在这里获得极好的评价。它可能有一个更灵活的词法分析接口。