f# - 以下 ocamlyacc 代码的 fsyacc 等价物是什么？

Question

我正在使用 F# 开发玩具编译器，即 FsLex 和 FsYacc 的组合。为了熟悉它们，我阅读了 Expert F# (v2) 一书(一本好书)的 Lexer/Parser 章节。现在，我已经完成了推荐的 ocamlyacc 教程的一半，并停留在最后一个示例多功能计算器 mfcalc .特别是，以下声明

%token <float->float> FNCT

在我的 F# version 中，解析器文件不断出现错误“错误:解析错误” .我是否遗漏了这里的任何内容，或者这是 F# 目前不支持的功能？

Answer 1

这看起来像一个错误。添加括号没有帮助。我尝试了各种解决方法，但找不到干净的方法。你应该做一个错误报告。

如果你只有一个函数(就像在教程的例子中那样)，你应该在序言中定义一个类型:

type floatFunction = float -> float
...
%token <floatFunction> FNCT

如果你有很多函数，你也可以定义一个泛型类型:

type functionType<'a, 'b> = 'a -> 'b
...
%token < ('a, 'b) functionType > FNCT

类型中的任何尖括号都会导致解析错误(甚至是 functionType<float,float> )。