diff options
Diffstat (limited to 'src/PGF/Data.hs')
| -rw-r--r-- | src/PGF/Data.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/PGF/Data.hs b/src/PGF/Data.hs index 142968d8c..6895bd335 100644 --- a/src/PGF/Data.hs +++ b/src/PGF/Data.hs @@ -53,7 +53,10 @@ data Term = | TM String deriving (Eq,Ord,Show) - +data Tokn = + KS String + | KP [String] [Alternative] + deriving (Eq,Ord,Show) -- merge two GFCCs; fails is differens absnames; priority to second arg |