Happy 中的解析器

Question

我正在尝试使用 Happy （Haskell Tool）做一个解析器，但我收到一条消息错误：“未使用的规则：11 和未使用的终端：10”，我不知道这意味着什么。另一方面，我真的不确定规则语句中 $i 参数的使用，我认为我的错误就是因为这个。如果有的话可以帮助我...

Answer 1

如果您收到这些消息，这并不是一个错误，它只是意味着您的语法的一部分未使用，因为它无法从起始符号访问。要查看有关 Happy 如何理解语法的更多信息，请使用 Happy 的 --info 标志：

happy --info MyParser.y

除了通常的 MyParser 之外，它还会生成一个文件 MyParser.info .hs。

Answer 2

如果我没记错的话，未使用的规则和终端是语法的一部分，无法从顶级解析语句到达它们。要了解如何使用 $$ 参数，请阅读快乐用户指南。

$$ 符号是一个占位符
代表这个代币的价值。
通常，令牌的值是
令牌本身，但通过使用 $$
您可以指定某些组件的符号
令牌对象的值作为值。

Answer 3

未使用的规则和终端意味着您描述了在解析期间无法到达的规则（非常类似于“if true then 1 else 2”，永远不会到达 2 分支）。
检查 --info 的输出以获取更多详细信息。

对于 $$ 事物，它是一个数据提取器：假设您有一个生成令牌的词法分析器
以下类型：

data TokenType = INT | SYM
data TokenLex = L TokenType String

其中 TokenType 在这里用于区分有用数据和关键字。

在解析器的操作中，您可以使用 $$ 提取字符串部分。

%token INTEGER   {L INT $ }
%token OTHER     {L _  $}

foo : INTEGER bar INTEGER   { read $1 + read $3 }
  | ...

在此规则中，$1 表示“给我第一个 INTEGER 的内容”，$3 表示“第二个 INTEGER 的内容”。 $2 表示“给我 bar 的内容（这可能是另一个复杂的规则）。

感谢 $$，$1 和 $3 是天才的 Haskell 字符串，因为我们告诉 Happy “INTEGER 的内容是 TokenLex 的“字符串”部分”，而不是整个令牌。