[commit: ghc] ghc-7.8: Wibble to 4cfc1fae (7d06f63)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : ghc-7.8
Link       : http://ghc.haskell.org/trac/ghc/changeset/7d06f63e516bbf1260b4c48cde67c099d0ade42f/ghc

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

commit 7d06f63e516bbf1260b4c48cde67c099d0ade42f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 14 00:15:48 2014 +0100

    Wibble to 4cfc1fae
    
    isSynTyCon is true of type *family* TyCons, which *are* allowed
    in TyConAppCo
    
    (cherry picked from commit 3fd7f543efe977de6f3cce9fcdfdad8b6825f948)


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

7d06f63e516bbf1260b4c48cde67c099d0ade42f
 compiler/coreSyn/CoreLint.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 3d3deab..8665ec4 100644
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -856,7 +856,7 @@ lintCoercion co@(TyConAppCo r tc cos)
        ; checkRole co2 r r2
        ; return (rk, mkFunTy s1 s2, mkFunTy t1 t2, r) }
 
-  | isSynTyCon tc
+  | Just {} <- synTyConDefn_maybe tc
   = failWithL (ptext (sLit "Synonym in TyConAppCo:") <+> ppr co)
 
   | otherwise