diff options
| -rw-r--r-- | src-3.0/PGF/Expr.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src-3.0/PGF/Expr.hs b/src-3.0/PGF/Expr.hs index 332fbc657..51a076d36 100644 --- a/src-3.0/PGF/Expr.hs +++ b/src-3.0/PGF/Expr.hs @@ -165,6 +165,7 @@ tree2expr (Var x) = EVar x -- | Converts an expression to tree. If the expression
-- contains unevaluated applications they will be applied.
+expr2tree :: Expr -> Tree
expr2tree e = value2tree (eval Map.empty e) [] []
where
value2tree (VApp v1 v2) xs ts = value2tree v1 xs (value2tree v2 [] []:ts)
|