diff options
| -rw-r--r-- | src/fix-ng/fix.sdf | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf index 72f3e694d02e..e94e696749f3 100644 --- a/src/fix-ng/fix.sdf +++ b/src/fix-ng/fix.sdf @@ -53,9 +53,13 @@ exports "[" {Expr ","}* "]" -> Expr {cons("List")} + Expr "." Id + -> Expr {cons("Select")} + context-free priorities - Expr Expr -> Expr + Expr "." Id -> Expr + > Expr Expr -> Expr > "{" {Id ","}* "}" ":" Expr -> Expr |