diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-07 14:39:40 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-07 14:39:40 +0000 |
| commit | d133e0353ca614b36357dadb782aea43de895e09 (patch) | |
| tree | a68ecef132a1b18a12899ef9b718ed411816528f /src/GF/Source/GF.cf | |
| parent | 4e42d73ee508715e83c8f1a160b7bc696b78571b (diff) | |
regular expression patterns
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index a84d37d5b..fc68164a9 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -225,6 +225,7 @@ PDisj. Patt ::= Patt "|" Patt1 ; PSeq. Patt ::= Patt "+" Patt1 ; PRep. Patt1 ::= Patt2 "*" ; PAs. Patt1 ::= Ident "@" Patt2 ; +PNeg. Patt1 ::= "-" Patt2 ; coercions Patt 2 ; |