summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/Data.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/runtime/haskell/PGF/Data.hs')
-rw-r--r--src/runtime/haskell/PGF/Data.hs16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/runtime/haskell/PGF/Data.hs b/src/runtime/haskell/PGF/Data.hs
index 12f945151..8b2fb41f8 100644
--- a/src/runtime/haskell/PGF/Data.hs
+++ b/src/runtime/haskell/PGF/Data.hs
@@ -68,22 +68,6 @@ data Alternative =
Alt [String] [String]
deriving (Eq,Ord,Show)
-data Term =
- R [Term]
- | P Term Term
- | S [Term]
- | K Tokn
- | V Int
- | C Int
- | FV [Term]
- | W String Term
- | TM String
- deriving (Eq,Ord,Show)
-
-data Tokn =
- KS String
- | KP [String] [Alternative]
- deriving (Eq,Ord,Show)
-- merge two PGFs; fails is differens absnames; priority to second arg