[commit: ghc] : Fix bug in expandTypeSynonyms that could rarely cause problems (1d7e6b5)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : 

http://hackage.haskell.org/trac/ghc/changeset/1d7e6b5434b27f07e3b752b7446dcb0e96b6cbad

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

commit 1d7e6b5434b27f07e3b752b7446dcb0e96b6cbad
Author: Max Bolingbroke <[email protected]>
Date:   Thu May 10 09:46:04 2012 +0100

    Fix bug in expandTypeSynonyms that could rarely cause problems

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

 compiler/types/Type.lhs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index f81aebb..62cc7bb 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -285,7 +285,7 @@ expandTypeSynonyms ty
       = TyConApp tc (map go tys)
     go (LitTy l)       = LitTy l
     go (TyVarTy tv)    = TyVarTy tv
-    go (AppTy t1 t2)   = AppTy (go t1) (go t2)
+    go (AppTy t1 t2)   = mkAppTy (go t1) (go t2)
     go (FunTy t1 t2)   = FunTy (go t1) (go t2)
     go (ForAllTy tv t) = ForAllTy tv (go t)
 \end{code}