diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-15 21:02:59 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-15 21:02:59 +0000 |
| commit | 6cbb8086c8bcaca638b993a75017b7738cd923c9 (patch) | |
| tree | 5f8584f310d1a40f3ac85cfe17c7bc0eae656e38 /src/GF/Source/GF.cf | |
| parent | e60237136b0a8285874fd57d38ec3518aa94b162 (diff) | |
putting pattern macros in place (not properly tested yet)
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index 5de0d1f87..a580f25e0 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -192,8 +192,8 @@ EPre. Exp4 ::= "pre" "{" Exp ";" [Altern] "}" ; EStrs. Exp4 ::= "strs" "{" [Exp] "}" ; EConAt. Exp4 ::= PIdent "@" Exp6 ; --% -EPatt. Exp4 ::= "pattern" Patt2 ; -EPattType. Exp4 ::= "pattern" "type" Exp5 ; +EPatt. Exp4 ::= "#" Patt2 ; +EPattType. Exp4 ::= "pattern" Exp5 ; ESelect. Exp3 ::= Exp3 "!" Exp4 ; ETupTyp. Exp3 ::= Exp3 "*" Exp4 ; |