@@ -1214,13 +1214,13 @@ buildTypeInstance dataFamName constraint tvbs (Just instTysAndKinds) = do
12141214 -- types without kind annotations.
12151215 instTys :: [Type]
12161216 instTys = map (substNamesWithKinds (zip kindVarNames givenKinds'))
1217− -- ^ Note that due to a GHC 7.8-specific bug
1218− -- (see Note [Polykinded data families in Template Haskell]),
1219− -- there may be more kind variable names than there are kinds
1220− -- to substitute. But this is OK! If a kind is eta-reduced, it
1221− -- means that is was not instantiated to something more specific,
1222− -- so we need not substitute it. Using stealKindForType will
1223− -- grab the correct kind.
1217+ -- Note that due to a GHC 7.8-specific bug
1218+ -- (see Note [Polykinded data families in Template Haskell]),
1219+ -- there may be more kind variable names than there are kinds
1220+ -- to substitute. But this is OK! If a kind is eta-reduced, it
1221+ -- means that is was not instantiated to something more specific,
1222+ -- so we need not substitute it. Using stealKindForType will
1223+ -- grab the correct kind.
12241224 $ zipWith stealKindForType tvbs (givenTys ++ xTys)
12251225#endif
12261226 buildTypeInstanceFromTys dataFamName constraint instTys True