fsyacc:允许在语言中定义运算符

Question

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

# 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

是你需要的，我想(我只是瞥了一眼)。