X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fmain%2FHscTypes.lhs;h=2c8780ca3df4a71e42d64f7a7df0ae0f08a08901;hb=839f2da8e4c353294e0b7bf0124334532a920f5c;hp=26d6fab1a85dd8fef035e991b0f18ea44d421b2e;hpb=2a6d497b719b39d7d7d73051f3baa783db343abb;p=ghc-hetmet.git diff --git a/compiler/main/HscTypes.lhs b/compiler/main/HscTypes.lhs index 26d6fab..2c8780c 100644 --- a/compiler/main/HscTypes.lhs +++ b/compiler/main/HscTypes.lhs @@ -640,8 +640,9 @@ implicitTyThings (AClass cl) = map AnId (classSelIds cl) ++ implicitTyThings (ADataCon dc) = map AnId (dataConImplicitIds dc) -- For newtypes, add the implicit coercion tycon -implicitNewCoTyCon tc | isNewTyCon tc = [ATyCon (newTyConCo tc)] - | otherwise = [] +implicitNewCoTyCon tc + | isNewTyCon tc, Just co_con <- newTyConCo tc = [ATyCon co_con] + | otherwise = [] extras_plus thing = thing : implicitTyThings thing