From b96b36f43de3e2f8b58d5f539daa6f6d47f25870 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:43:48 +0000 Subject: removed src for 2.9 --- src/GF/Canon/PrExp.hs | 46 ---------------------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 src/GF/Canon/PrExp.hs (limited to 'src/GF/Canon/PrExp.hs') 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 -- cgit v1.2.3