X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyDecls.lhs;fp=compiler%2Ftypecheck%2FTcTyDecls.lhs;h=956f944dfcb673e17e933c3fa8e072710c3ac2c2;hb=467f588c25e6d7825a11eff018a67727b3dea71b;hp=de22c637080b2f7945703ad908429045e9de1a26;hpb=2e3b6bd7e00fa3faaa07ea0badee7f020a7c8306;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcTyDecls.lhs b/compiler/typecheck/TcTyDecls.lhs index de22c63..956f944 100644 --- a/compiler/typecheck/TcTyDecls.lhs +++ b/compiler/typecheck/TcTyDecls.lhs @@ -99,7 +99,6 @@ synTyConsOfType ty go (FunTy a b) = go a `plusNameEnv` go b go (PredTy (IParam _ ty)) = go ty go (PredTy (ClassP cls tys)) = go_s tys -- Ignore class - go (NoteTy _ ty) = go ty go (ForAllTy _ ty) = go ty go_tc tc tys | isSynTyCon tc = extendNameEnv (go_s tys) (tyConName tc) tc