diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-31T17·09+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-31T17·09+0000 |
| commit | 9210d4d530b68b5f19ac7062f129c88ccdc03e04 (patch) | |
| tree | 7c6033dba3915c1f16bde9a72531157f6f1eebac /src/fix-ng/fix.sdf | |
| parent | f1c1a3c97f1dc81b2d9b19f58589b4b8a5ed196e (diff) | |
* Working evaluator.
* Mutually recursive attribute sets. * Print evaluator efficiency statistics.
Diffstat (limited to 'src/fix-ng/fix.sdf')
| -rw-r--r-- | src/fix-ng/fix.sdf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf index 2074d9829411..cae5d2748e1d 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 |