aboutsummaryrefslogtreecommitdiff
path: root/src/fix-ng/fix.sdf
diff options
context:
space:
mode:
Diffstat (limited to 'src/fix-ng/fix.sdf')
-rw-r--r--src/fix-ng/fix.sdf4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf
index 2074d9829..cae5d2748 100644
--- a/src/fix-ng/fix.sdf
+++ b/src/fix-ng/fix.sdf
@@ -44,6 +44,9 @@ exports
"{" {Id ","}* "}" ":" Expr
-> Expr {cons("Function"), right}
+ "rec" "{" {Bind ","}* "}"
+ -> Expr {cons("Rec")}
+
"{" {Bind ","}* "}"
-> Expr {cons("Attrs")}
@@ -71,6 +74,7 @@ exports
sorts Id Path
lexical syntax
[a-zA-Z\_][a-zA-Z0-9\_\']* -> Id
+ "rec" -> Id {reject}
[0-9]+ -> Int
"\"" ~[\n\"]* "\"" -> Str
PathComp ("/" PathComp)+ -> Path