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)