在BNFC中有使用空白的方法吗？

Question

如何在BNFC定义中使用空格？

例如，假设我想为lambda演算生成一个解析器，其中允许抽象变量列表：

\x y z.x z (y z)

要做的“显而易见”的事情是使用一个有标签的规则，如：

ListAbs . Exp ::= "\\" [Ident] "." Exp ;
separator Ident " "

但是，BNFC默认为剥离空白，因此不起作用。起作用的是使用逗号分隔符。有点丑，但我可以接受.不过，能按空间分开还是很好的。

BNFC中有空白字符类吗？

Answer 1

可以将空字符串声明为分隔符：

separator Ident ""

实际上，这允许您使用空白(或任何空格字符)作为分隔符：

$ cat test.cf
A . A ::= [Ident] ;
separator Ident ""
$ bnfc -haskell -m test.cf
$ make
$ echo 'x y z' | ./Testtest

Parse Successful!

[Abstract Syntax]

A [Ident "x",Ident "y",Ident "z"]

[Linearized tree]

x y z