diff options
Diffstat (limited to 'src/GF/Canon/PrExp.hs')
| -rw-r--r-- | src/GF/Canon/PrExp.hs | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/src/GF/Canon/PrExp.hs b/src/GF/Canon/PrExp.hs deleted file mode 100644 index 6202a760e..000000000 --- a/src/GF/Canon/PrExp.hs +++ /dev/null @@ -1,46 +0,0 @@ ----------------------------------------------------------------------- --- | --- Module : PrExp --- Maintainer : AR --- Stability : (stable) --- Portability : (portable) --- --- > CVS $Date: 2005/04/21 16:21:28 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.5 $ --- --- print trees without qualifications ------------------------------------------------------------------------------ - -module GF.Canon.PrExp (prExp) where - -import GF.Canon.AbsGFC -import GF.Canon.GFC - -import GF.Data.Operations - -prExp :: Exp -> String -prExp e = case e of - EApp f a -> pr1 f +++ pr2 a - EAbsR x b -> "\\" ++ prtt x +++ "->" +++ prExp b - EAbs x _ b -> prExp $ EAbsR x b - EProd x a b -> "(\\" ++ prtt x +++ ":" +++ prExp a ++ ")" +++ "->" +++ prExp b - EAtomR a -> prAtom a - EAtom a _ -> prAtom a - _ -> prtt e - where - pr1 e = case e of - EAbsR _ _ -> prParenth $ prExp e - EAbs _ _ _ -> prParenth $ prExp e - EProd _ _ _ -> prParenth $ prExp e - _ -> prExp e - pr2 e = case e of - EApp _ _ -> prParenth $ prExp e - _ -> pr1 e - -prAtom a = case a of - AC c -> prCIdent c - AD c -> prCIdent c - _ -> prtt a - -prCIdent (CIQ _ c) = prtt c |
