ocamllex中的yytext等效项

Question

我的常规(非ocaml) yacc文件中包含以下内容：

wsorword         :  WS 
                    {
                      strcpy($$, yytext);
                    }
                 |  WORD
                    {
                      strcpy($$, yytext);
                    }
                 ;

如何处理ocamllex/ocamlyacc中WS或WORD返回的词位？

Answer 1

我会在mly文件中将我的标记定义为：

%token<string> WORD WS

在mll文件中，我将使用以下操作：

 rule lexer = parse
   | ws                    { WS (Lexing.lexeme lexbuf) }
   | word                { WORD (Lexing.lexeme lexbuf) }

当然，其中ws和word是其各自标记的正则表达式。

最后，语法规则变成：

wsorword: 
  WS             { $1 }
| WORD        { $1 }
;

Answer 2

好的，您的yacc代码使用了lex提供的全局变量。OCaml不禁止全局变量，但它们与编写代码的函数式方式不一致。如果您将词法缓冲区全局化为!lexbufr (比方说)，手册上说您可以通过调用Lexing.lexeme !lexbufr来获取最新的词位。请注意，我自己还没有尝试过这个。