bison/yacc - limits of precedence settings
问题 So I've been trying to parse a haskell-like language grammar with bison. I'll omit the standard problems with grammars and unary minus (like, what is (-5) from -5 and \x->x-5 or if a-b is a-(b) or apply a (-b) which itself can still be apply a \x->x-b , haha.) and go straight to the thing that suprised me. To simplify the whole thing to the point where it matters, consider following situation: expression: '(' expression ')' | expression expression /* lambda application */ | '\\' IDENTIFIER "-