summaryrefslogtreecommitdiff
path: root/src/GF/Command/PPrTree.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF/Command/PPrTree.hs')
-rw-r--r--src/GF/Command/PPrTree.hs39
1 files changed, 0 insertions, 39 deletions
diff --git a/src/GF/Command/PPrTree.hs b/src/GF/Command/PPrTree.hs
deleted file mode 100644
index 7372c722d..000000000
--- a/src/GF/Command/PPrTree.hs
+++ /dev/null
@@ -1,39 +0,0 @@
-module GF.Command.PPrTree (pTree, prExp, tree2exp) where
-
-import GF.GFCC.DataGFCC
-import GF.GFCC.CId
-import GF.GFCC.Macros
-import qualified GF.Command.ParGFShell as P
-import GF.Command.PrintGFShell
-import GF.Command.AbsGFShell
-import GF.Data.ErrM
-
-pTree :: String -> Exp
-pTree s = case P.pTree (P.myLexer s) of
- Ok t -> tree2exp t
- Bad s -> error s
-
-tree2exp t = case t of
- TApp f ts -> tree (AC (i2i f)) (map tree2exp ts)
- TAbs xs t -> DTr (map i2i xs ++ ys) f ts where DTr ys f ts = tree2exp t
- TId c -> tree (AC (i2i c)) []
- TInt i -> tree (AI i) []
- TStr s -> tree (AS s) []
- TFloat d -> tree (AF d) []
- where
- i2i (Ident s) = CId s
-
-prExp :: Exp -> String
-prExp = printTree . exp2tree
-
-exp2tree (DTr xs at ts) = tabs (map i4i xs) (tapp at (map exp2tree ts))
- where
- tabs [] t = t
- tabs ys t = TAbs ys t
- tapp (AC f) [] = TId (i4i f)
- tapp (AC f) vs = TApp (i4i f) vs
- tapp (AI i) [] = TInt i
- tapp (AS i) [] = TStr i
- tapp (AF i) [] = TFloat i
- tapp (AM i) [] = TId (Ident "?") ----
- i4i (CId s) = Ident s