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

Question

fsyacc是否有办法处理在解析时引入的运算符？我正在尝试为Kaleidoscope构建一个解析器，这是一种玩具语言，用作LLVM tutorial的示例。 Kaleidoscope允许定义运算符以及优先级。例如：

# 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

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