diff options
Diffstat (limited to 'src/GF/Source/AbsGF.hs')
| -rw-r--r-- | src/GF/Source/AbsGF.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GF/Source/AbsGF.hs b/src/GF/Source/AbsGF.hs index 5e00b938a..503a0ac97 100644 --- a/src/GF/Source/AbsGF.hs +++ b/src/GF/Source/AbsGF.hs @@ -221,6 +221,9 @@ data Patt = | PC Ident [Patt] | PQC Ident Ident [Patt] | PDisj Patt Patt + | PSeq Patt Patt + | PRep Patt + | PAs Ident Patt deriving (Eq,Ord,Show) data PattAss = |