summaryrefslogtreecommitdiff
path: root/src/PGF/Tree.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/PGF/Tree.hs')
-rw-r--r--src/PGF/Tree.hs8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/PGF/Tree.hs b/src/PGF/Tree.hs
index cf01b4470..cb2052cd7 100644
--- a/src/PGF/Tree.hs
+++ b/src/PGF/Tree.hs
@@ -1,6 +1,7 @@
module PGF.Tree
( Tree(..),
- tree2expr, expr2tree
+ tree2expr, expr2tree,
+ prTree
) where
import PGF.CId
@@ -63,3 +64,8 @@ expr2tree e = abs [] [] e
app xs as (EVar i) = Var (xs !! i)
app xs as (EFun f) = Fun f as
app xs as (ETyped e _) = app xs as e
+
+
+prTree :: Tree -> String
+prTree = showExpr [] . tree2expr
+