summaryrefslogtreecommitdiff
path: root/src/GF/Formalism/GCFG.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
commitb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (patch)
tree0992334be13cec6538a1dea22fbbf26ad6bdf224 /src/GF/Formalism/GCFG.hs
parentfe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff)
removed src for 2.9
Diffstat (limited to 'src/GF/Formalism/GCFG.hs')
-rw-r--r--src/GF/Formalism/GCFG.hs47
1 files changed, 0 insertions, 47 deletions
diff --git a/src/GF/Formalism/GCFG.hs b/src/GF/Formalism/GCFG.hs
deleted file mode 100644
index 5242081c7..000000000
--- a/src/GF/Formalism/GCFG.hs
+++ /dev/null
@@ -1,47 +0,0 @@
-----------------------------------------------------------------------
--- |
--- Maintainer : PL
--- Stability : (stable)
--- Portability : (portable)
---
--- > CVS $Date: 2005/05/09 09:28:44 $
--- > CVS $Author: peb $
--- > CVS $Revision: 1.3 $
---
--- Basic GCFG formalism (derived from Pollard 1984)
------------------------------------------------------------------------------
-
-module GF.Formalism.GCFG where
-
-import GF.Formalism.Utilities (SyntaxChart)
-import GF.Data.Assoc (assocMap, accumAssoc)
-import GF.Data.SortedList (nubsort, groupPairs)
-import GF.Infra.PrintClass
-
-----------------------------------------------------------------------
-
-type Grammar c n l t = [Rule c n l t]
-data Rule c n l t = Rule (Abstract c n) (Concrete l t)
- deriving (Eq, Ord, Show)
-
-data Abstract cat name = Abs cat [cat] name
- deriving (Eq, Ord, Show)
-data Concrete lin term = Cnc lin [lin] term
- deriving (Eq, Ord, Show)
-
-----------------------------------------------------------------------
-
-instance (Print c, Print n, Print l, Print t) => Print (Rule n c l t) where
- prt (Rule abs cnc) = prt abs ++ " := " ++ prt cnc
- prtList = prtSep "\n"
-
-instance (Print c, Print n) => Print (Abstract c n) where
- prt (Abs cat args name) = prt name ++ ". " ++ prt cat ++
- ( if null args then ""
- else " --> " ++ prtSep " " args )
-
-instance (Print l, Print t) => Print (Concrete l t) where
- prt (Cnc lcat args term) = prt term
- ++ " : " ++ prt lcat ++
- ( if null args then ""
- else " / " ++ prtSep " " args)