diff options
| author | krasimir <krasimir@chalmers.se> | 2008-06-23 14:12:40 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-06-23 14:12:40 +0000 |
| commit | cec5143092d08c4d4e2947608a391d536f58133d (patch) | |
| tree | b84f9e9122be07bf7313d650d6b1e2bced5afdf4 /src-3.0 | |
| parent | 65b2670ce7c1babe8bb206fa841587c2801f1bec (diff) | |
added type signature for expr2tree to make it visible for haddock
Diffstat (limited to 'src-3.0')
| -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)
|