| 3. A precedence table says that case (rightwards) has higher | precedence than operators and right associativity. If it's | meaningful to talk about precedence of such syntactic | constructs as case at all, it should probably be told to have | a lower precedence, so "case x+1 of ..." is valid as "case | (x+1) of ...". At least I don't see a difference between | "case" (rightwards) and "if" (rightwards). I'm not sure if it | makes sense to explain parsing of "case" in terms of precedence. I can't make head or tail of what Table 1 (Section 3, beginning) is trying to say. It claims to be an "aid to understanding the grammar", but it seems downright confusing to me. Proposal: remove Table 1 and its associated paragraph. Does anyone like it? Simon