diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-05-20 11:47:44 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-05-20 11:47:44 +0000 |
| commit | 31bf84122b21efb444aa8d055472e166ffb90783 (patch) | |
| tree | 1f051909336f1534346bcccde8dda59beab02f64 /src-2.9/GF/Command/PPrTree.hs | |
| parent | 74f048dcf41de3540778de54dfa7541fa5b39c46 (diff) | |
moved all old source code to src-2.9 ; src will be for GF 3 development
Diffstat (limited to 'src-2.9/GF/Command/PPrTree.hs')
| -rw-r--r-- | src-2.9/GF/Command/PPrTree.hs | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src-2.9/GF/Command/PPrTree.hs b/src-2.9/GF/Command/PPrTree.hs new file mode 100644 index 000000000..7372c722d --- /dev/null +++ b/src-2.9/GF/Command/PPrTree.hs @@ -0,0 +1,39 @@ +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 |
