diff options
Diffstat (limited to 'src/PGF/Tree.hs')
| -rw-r--r-- | src/PGF/Tree.hs | 8 |
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 + |
