fsyacc：允许用语言定义运算符

Question

fsyacc 是否有某种方法来处理解析时引入的运算符？我正在尝试为 Kaleidscope 构建一个解析器，这是一种玩具语言，用作 LLVM 教程。万花筒允许定义运算符和优先级。例如：

# Logical unary not.
def unary!(v)
  if v then
    0
  else
    1;

# Define > with the same precedence as <.
def binary> 10 (LHS RHS)
  RHS < LHS;

# Binary "logical or", (note that it does not "short circuit")
def binary| 5 (LHS RHS)
  if LHS then
    1
  else if RHS then
    1
  else
    0;

# Define = with slightly lower precedence than relationals.
def binary= 9 (LHS RHS)
  !(LHS < RHS | LHS > RHS);

Answer 1

fsyacc 没有魔法来帮助动态优先级（这在大多数解析工具中很少见），但这里描述的策略相同

http://llvm.org/docs/tutorial/LangImpl2.html#parserbinops

是你所需要的，我想（我只看了一眼）。