ml-lex 中 yyleng 函数的使用

Question

有人可以帮助我使用 ml-lex 的 yyleng 函数吗？ 我如何使用它来显示分析器中最近匹配的文本的长度

Answer 1

(这个问题已在评论中得到回答。已转换社区 Wiki 答案适合 SO 问答格式。）

@Jesper.Reenberg 指出：

您可能不想重新表述您的问题。目前尚不完全清楚您的确切问题是什么。据我所知，ml-lex 中只有 yypos 和 yytext 。然后您可以获取 yytext 的长度来获取匹配的长度。

请参阅用户指南、此处 或 此处示例。