[commit: ghc] master: Wibble to 4cfc1fae (3fd7f54)
git at git.haskell.org
git at git.haskell.org
Tue May 13 23:16:16 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/3fd7f543efe977de6f3cce9fcdfdad8b6825f948/ghc
>---------------------------------------------------------------
commit 3fd7f543efe977de6f3cce9fcdfdad8b6825f948
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
>---------------------------------------------------------------
3fd7f543efe977de6f3cce9fcdfdad8b6825f948
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
More information about the ghc-commits
mailing list