X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcType.lhs;h=eaf2faa321401efb4bff520ac9641839a7789622;hb=2b20c2bbe7d0cff14b7ee60675399c533450175a;hp=7595a75de209b8af7d2cb2751d5f8feb9a9ef807;hpb=3092ace710af6d63ea57394eba91d4edc5b7cb91;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index 7595a75..eaf2faa 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -797,10 +797,9 @@ tcInstHeadTyNotSynonym :: Type -> Bool
 -- are transparent, so we need a special function here
 tcInstHeadTyNotSynonym ty
   = case ty of
-	NoteTy _ ty     -> tcInstHeadTyNotSynonym ty
-	TyConApp tc tys -> not (isSynTyCon tc)
-	FunTy arg res   -> True
-	other		-> False
+        NoteTy _ ty     -> tcInstHeadTyNotSynonym ty
+        TyConApp tc tys -> not (isSynTyCon tc)
+        _ -> True
 
 tcInstHeadTyAppAllTyVars :: Type -> Bool
 -- Used in Haskell-98 mode, for the argument types of an instance head