Refactoring around TyCon.isSynTyCon
[ghc.git] / compiler / typecheck / TcType.lhs
index 8640a49..530397a 100644 (file)
@@ -963,7 +963,7 @@ tcInstHeadTyNotSynonym :: Type -> Bool
 -- are transparent, so we need a special function here
 tcInstHeadTyNotSynonym ty
   = case ty of
-        TyConApp tc _ -> not (isSynTyCon tc)
+        TyConApp tc _ -> not (isTypeSynonymTyCon tc)
         _ -> True
 
 tcInstHeadTyAppAllTyVars :: Type -> Bool