diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-02T17·36+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-02T17·36+0000 |
| commit | 40986312bb00f0101a6634db42080daee03f887b (patch) | |
| tree | fab15bbbd1debf7ab48c88b73e45943594718903 /src/fix-ng/fix.sdf | |
| parent | adf9a45469f55258446d383333aa2ca79cfb0536 (diff) | |
* Boolean constants.
Diffstat (limited to 'src/fix-ng/fix.sdf')
| -rw-r--r-- | src/fix-ng/fix.sdf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf index 251a63f0c5fb..8effe6d21d98 100644 --- a/src/fix-ng/fix.sdf +++ b/src/fix-ng/fix.sdf @@ -68,6 +68,9 @@ exports Expr "==" Expr -> Expr {cons("OpEq")} + Bool + -> Expr {cons("Bool")} + context-free priorities Expr "." Id -> Expr @@ -84,10 +87,19 @@ exports lexical syntax [a-zA-Z\_][a-zA-Z0-9\_\']* -> Id "rec" -> Id {reject} + "true" -> Id {reject} + "false" -> Id {reject} + [0-9]+ -> Int + "\"" ~[\n\"]* "\"" -> Str + PathComp ("/" PathComp)+ -> Path [a-zA-Z0-9\.\_\-]+ -> PathComp + + "true" -> Bool + "false" -> Bool + lexical restrictions Id -/- [a-zA-Z0-9\_\'] Int -/- [0-9] |