[commit: Cabal] master: Generalized the type of traversals. (23939dd)

[Ian Lynagh]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/Cabal

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/23939dd80643ec3555b6fec461b8df00b7ca5def

>---------------------------------------------------------------

commit 23939dd80643ec3555b6fec461b8df00b7ca5def
Author: Andres Loeh <andres at well-typed.com>
Date:   Mon Jul 4 18:45:50 2011 +0000

    Generalized the type of traversals.

>---------------------------------------------------------------

 .../Distribution/Client/Dependency/Modular/Tree.hs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/cabal-install/Distribution/Client/Dependency/Modular/Tree.hs b/cabal-install/Distribution/Client/Dependency/Modular/Tree.hs
index 50b522d..6cffb6d 100644
--- a/cabal-install/Distribution/Client/Dependency/Modular/Tree.hs
+++ b/cabal-install/Distribution/Client/Dependency/Modular/Tree.hs
@@ -112,7 +112,7 @@ lchoices (Fail       _ _     ) = 0
 cata :: (TreeF a b -> b) -> Tree a -> b
 cata phi x = (phi . fmap (cata phi) . out) x
 
-trav :: (TreeF a (Tree a) -> TreeF a (Tree a)) -> Tree a -> Tree a
+trav :: (TreeF a (Tree b) -> TreeF b (Tree b)) -> Tree a -> Tree b
 trav psi x = cata (inn . psi) x
 
 -- | Paramorphism on trees.