summaryrefslogtreecommitdiff
path: root/src/GF/Canon/PrExp.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:43:48 +0000
commitb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (patch)
tree0992334be13cec6538a1dea22fbbf26ad6bdf224 /src/GF/Canon/PrExp.hs
parentfe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff)
removed src for 2.9
Diffstat (limited to 'src/GF/Canon/PrExp.hs')
-rw-r--r--src/GF/Canon/PrExp.hs46
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