diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-07 12:26:11 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-07 12:26:11 +0000 |
| commit | 4e42d73ee508715e83c8f1a160b7bc696b78571b (patch) | |
| tree | b5d4f72f694bb4c73075a6f9402444eb8085ae96 /src/GF/Source/GF.cf | |
| parent | a641bf4004cc248a33904fa0ac8c11ce2460ea5e (diff) | |
regex patterns for tokens
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index cdfb59d25..a84d37d5b 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -200,7 +200,7 @@ EEqs. Exp ::= "fn" "{" [Equation] "}" ; EExample. Exp ::= "in" Exp5 String ; -coercions Exp 4 ; +coercions Exp 6 ; separator Exp ";" ; -- in variants @@ -222,6 +222,9 @@ PTup. Patt2 ::= "<" [PattTupleComp] ">" ; PC. Patt1 ::= Ident [Patt] ; PQC. Patt1 ::= Ident "." Ident [Patt] ; PDisj. Patt ::= Patt "|" Patt1 ; +PSeq. Patt ::= Patt "+" Patt1 ; +PRep. Patt1 ::= Patt2 "*" ; +PAs. Patt1 ::= Ident "@" Patt2 ; coercions Patt 2 ; |