summaryrefslogtreecommitdiff
path: root/src/GF/Infra/Print.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/Infra/Print.hs
parentfe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff)
removed src for 2.9
Diffstat (limited to 'src/GF/Infra/Print.hs')
-rw-r--r--src/GF/Infra/Print.hs127
1 files changed, 0 insertions, 127 deletions
diff --git a/src/GF/Infra/Print.hs b/src/GF/Infra/Print.hs
deleted file mode 100644
index 17f2c2188..000000000
--- a/src/GF/Infra/Print.hs
+++ /dev/null
@@ -1,127 +0,0 @@
-----------------------------------------------------------------------
--- |
--- Maintainer : PL
--- Stability : (stable)
--- Portability : (portable)
---
--- > CVS $Date: 2005/06/17 14:15:18 $
--- > CVS $Author: bringert $
--- > CVS $Revision: 1.4 $
---
--- Pretty-printing
------------------------------------------------------------------------------
-
-module GF.Infra.Print
- (module GF.Infra.PrintClass
- ) where
-
--- haskell modules:
-import Data.Char (toUpper)
--- gf modules:
-
-import GF.Infra.PrintClass
-import GF.Data.Operations (Err(..))
-import GF.Infra.Ident (Ident(..))
-import GF.Canon.AbsGFC
-import GF.CF.CF
-import GF.CF.CFIdent
-import qualified GF.Canon.PrintGFC as P
-
-------------------------------------------------------------
-
-----------------------------------------------------------------------
-
-instance Print Ident where
- prt = P.printTree
-
-instance Print Term where
- prt (Arg arg) = prt arg
- prt (con `Par` []) = prt con
- prt (con `Par` terms) = prt con ++ "(" ++ prtSep ", " terms ++ ")"
- prt (LI ident) = "$" ++ prt ident
- prt (R record) = "{" ++ prtSep "; " record ++ "}"
- prt (term `P` lbl) = prt term ++ "." ++ prt lbl
- prt (T _ table) = "table{" ++ prtSep "; " table ++ "}"
- prt (V _ terms) = "values{" ++ prtSep "; " terms ++ "}"
- prt (term `S` sel) = "(" ++ prt term ++ " ! " ++ prt sel ++ ")"
- prt (FV terms) = "variants{" ++ prtSep " | " terms ++ "}"
- prt (term `C` term') = prt term ++ " " ++ prt term'
- prt (EInt n) = prt n
- prt (K tokn) = show (prt tokn)
- prt (E) = show ""
-
-instance Print Patt where
- prt (con `PC` []) = prt con
- prt (con `PC` pats) = prt con ++ "(" ++ prtSep "," pats ++ ")"
- prt (PV ident) = "$" ++ prt ident
- prt (PW) = "_"
- prt (PR record) = "{" ++ prtSep ";" record ++ "}"
-
-instance Print Label where
- prt (L ident) = prt ident
- prt (LV nr) = "$" ++ show nr
-
-instance Print Tokn where
- prt (KS str) = str
- prt tokn@(KP _ _) = show tokn
-
-instance Print ArgVar where
- prt (A cat argNr) = prt cat ++ "#" ++ show argNr
-
-instance Print CIdent where
- prt (CIQ _ ident) = prt ident
-
-instance Print Case where
- prt (pats `Cas` term) = prtSep "|" pats ++ "=>" ++ prt term
-
-instance Print Assign where
- prt (lbl `Ass` term) = prt lbl ++ "=" ++ prt term
-
-instance Print PattAssign where
- prt (lbl `PAss` pat) = prt lbl ++ "=" ++ prt pat
-
-instance Print Atom where
- prt (AC c) = prt c
- prt (AD c) = "<" ++ prt c ++ ">"
- prt (AV i) = "$" ++ prt i
- prt (AM n) = "?" ++ show n
- prt atom = show atom
-
-instance Print CType where
- prt (RecType rtype) = "{" ++ prtSep "; " rtype ++ "}"
- prt (Table ptype vtype) = "(" ++ prt ptype ++ " => " ++ prt vtype ++ ")"
- prt (Cn cn) = prt cn
- prt (TStr) = "Str"
-
-instance Print Labelling where
- prt (lbl `Lbg` ctype) = prt lbl ++ ":" ++ prt ctype
-
-instance Print CFItem where
- prt (CFTerm regexp) = prt regexp
- prt (CFNonterm cat) = prt cat
-
-instance Print RegExp where
- prt (RegAlts words) = "("++prtSep "|" words ++ ")"
- prt (RegSpec tok) = prt tok
-
-instance Print CFTok where
- prt (TS str) = str
- prt (TC (c:str)) = '(' : toUpper c : ')' : str
- prt (TL str) = show str
- prt (TI n) = "#" ++ show n
- prt (TV x) = "$" ++ prt x
- prt (TM n s) = "?" ++ show n ++ s
-
-instance Print CFCat where
- prt (CFCat (cid,lbl)) = prt cid ++ "-" ++ prt lbl
-
-instance Print CFFun where
- prt (CFFun fun) = prt (fst fun)
-
-instance Print Exp where
- prt = P.printTree
-
-instance Print a => Print (Err a) where
- prt (Ok a) = prt a
- prt (Bad str) = str
-