diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-01T19·10+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-01T19·10+0000 |
| commit | 1b4184ccbb01634792897d3412c489b989674567 (patch) | |
| tree | 5284cac6187211341c82fb440cc941f776ab46e9 /src/fix-ng/fix.sdf | |
| parent | a2a9bacd8296ed1ddb6105b649a062fe65c27759 (diff) | |
* Let syntax.
Diffstat (limited to 'src/fix-ng/fix.sdf')
| -rw-r--r-- | src/fix-ng/fix.sdf | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf index cae5d2748e1d..251a63f0c5fb 100644 --- a/src/fix-ng/fix.sdf +++ b/src/fix-ng/fix.sdf @@ -47,6 +47,9 @@ exports "rec" "{" {Bind ","}* "}" -> Expr {cons("Rec")} + "let" "{" {Bind ","}* "}" + -> Expr {cons("LetRec")} + "{" {Bind ","}* "}" -> Expr {cons("Attrs")} @@ -59,6 +62,12 @@ exports Expr "." Id -> Expr {cons("Select")} + "if" Expr "then" Expr "else" Expr + -> Expr {cons("If")} + + Expr "==" Expr + -> Expr {cons("OpEq")} + context-free priorities Expr "." Id -> Expr |