parser: bind call tighter in its own production
This commit is contained in:
parent
0651f34dce
commit
502c711c96
11
Parser.hs
11
Parser.hs
|
@ -75,8 +75,7 @@ ifcond :: AST
|
||||||
= "if" expr "then" expr "else" expr { IfExpr $1 $2 $3 }
|
= "if" expr "then" expr "else" expr { IfExpr $1 $2 $3 }
|
||||||
|
|
||||||
expr :: AST
|
expr :: AST
|
||||||
= expr "(" args ")" { Call $1 $2 }
|
= expr "::" expr { Cons $1 $2 }
|
||||||
/ expr "::" expr { Cons $1 $2 }
|
|
||||||
/ expr "+" fact { Add $1 $2 }
|
/ expr "+" fact { Add $1 $2 }
|
||||||
/ expr "-" fact { Sub $1 $2 }
|
/ expr "-" fact { Sub $1 $2 }
|
||||||
/ expr "==" fact { Equals $1 $2 }
|
/ expr "==" fact { Equals $1 $2 }
|
||||||
|
@ -89,8 +88,12 @@ expr :: AST
|
||||||
/ fact
|
/ fact
|
||||||
|
|
||||||
fact :: AST
|
fact :: AST
|
||||||
= fact "*" term { Mul $1 $2 }
|
= fact "*" call { Mul $1 $2 }
|
||||||
/ fact "/" term { Div $1 $2 }
|
/ fact "/" call { Div $1 $2 }
|
||||||
|
/ call
|
||||||
|
|
||||||
|
call :: AST
|
||||||
|
= call "(" args ")" { Call $1 $2 }
|
||||||
/ access
|
/ access
|
||||||
|
|
||||||
access :: AST
|
access :: AST
|
||||||
|
|
Loading…
Reference in New Issue