From 3fd7f543efe977de6f3cce9fcdfdad8b6825f948 Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Wed, 14 May 2014 00:15:48 +0100
Subject: [PATCH] Wibble to 4cfc1fae
isSynTyCon is true of type *family* TyCons, which *are* allowed
in TyConAppCo
---
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 3d3deab83938..8665ec411157 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
--
GitLab