added type signature for expr2tree to make it visible for haddock

This commit is contained in:
krasimir
2008-06-23 14:12:40 +00:00
parent 74715f4673
commit 71e3ce5107

View File

@@ -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)