diff options
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 ; |