summaryrefslogtreecommitdiff
path: root/src-2.9/GF/Canon/PrExp.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-05-20 11:47:44 +0000
committeraarne <aarne@cs.chalmers.se>2008-05-20 11:47:44 +0000
commit31bf84122b21efb444aa8d055472e166ffb90783 (patch)
tree1f051909336f1534346bcccde8dda59beab02f64 /src-2.9/GF/Canon/PrExp.hs
parent74f048dcf41de3540778de54dfa7541fa5b39c46 (diff)
moved all old source code to src-2.9 ; src will be for GF 3 development
Diffstat (limited to 'src-2.9/GF/Canon/PrExp.hs')
-rw-r--r--src-2.9/GF/Canon/PrExp.hs46
1 files changed, 46 insertions, 0 deletions
diff --git a/src-2.9/GF/Canon/PrExp.hs b/src-2.9/GF/Canon/PrExp.hs
new file mode 100644
index 000000000..6202a760e
--- /dev/null
+++ b/src-2.9/GF/Canon/PrExp.hs
@@ -0,0 +1,46 @@
+----------------------------------------------------------------------
+-- |
+-- 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