parsing - 如何使用 PetitParser 解析以关键字开头的标识符？

Question

我想通过使用 PetitParser 来解析编程语言中的标识符。

要求之一是标识符的名称不是关键字（例如null），因此这null不是有效的标识符。

对于这种情况，我能想到的最小解析器是：

identifier := ('null' asParser not,  #word asParser plus)

但是，如果输入以关键字开头，则会失败：

identifier end parse: 'nullable'

你有什么建议来解决这个问题吗？谢谢！

Answer 1

identifier := ('null' asParser, #word asParser plus) /
    ('null' asParser not, #word asParser plus).

identifier end parse: 'nullable'. "=> #('null' #($a $b $l $e))"
identifier end parse: 'null'. "=>  'at 0'"
identifier end parse: 'foo' "=> #(nil #($f $o $o))"

这at 0是 PetitParser 的默认“解析失败”错误，表明解析器将接受“可空”、普通单词，而不是“空”。