X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Ftypecheck%2FTcDeriv.lhs;h=a3ce1a9f2729265157cb6e2c9b7f788d9f552e38;hb=a5673c5bcc20a9504c523c122112b935962dafe3;hp=4d80631670b366956ca12c08cfe29bb2ca26e18a;hpb=cb698570b2b8ff5da58f0a49f3444b0664425b49;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs index 4d80631..a3ce1a9 100644 --- a/compiler/typecheck/TcDeriv.lhs +++ b/compiler/typecheck/TcDeriv.lhs @@ -993,8 +993,11 @@ no_cons_why rep_tc = quotes (pprSourceTyCon rep_tc) <+> -- JPM TODO: should give better error message cond_RepresentableOk :: Condition +{- cond_RepresentableOk (_,t) | canDoGenerics t = Nothing | otherwise = Just (ptext (sLit "Cannot derive Generic for type") <+> ppr t) +-} +cond_RepresentableOk (_,t) = canDoGenerics t cond_enumOrProduct :: Condition cond_enumOrProduct = cond_isEnumeration `orCond`