X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fparser%2FRdrHsSyn.lhs;h=687ffd2bbcf7d1da95a968210e38f2ac6a338cf3;hb=e3dd39bf230380f02d73efc287226117bb2eb47f;hp=200ea576a0ad834d9688e1b13f436bf54b5b729b;hpb=654a1ba16e47d3ddabeb74b809ee6097c0770d35;p=ghc-hetmet.git diff --git a/compiler/parser/RdrHsSyn.lhs b/compiler/parser/RdrHsSyn.lhs index 200ea57..687ffd2 100644 --- a/compiler/parser/RdrHsSyn.lhs +++ b/compiler/parser/RdrHsSyn.lhs @@ -311,7 +311,7 @@ add gp@(HsGroup {hs_tyclds = ts, hs_fixds = fs, hs_docs = docs}) addl (gp { hs_tyclds = L l d : ts, hs_fixds = fsigs ++ fs, hs_docs = add_doc decl docs}) ds - | isIdxTyDecl d = + | isFamInstDecl d = addl (gp { hs_tyclds = L l d : ts }) ds | otherwise = addl (gp { hs_tyclds = L l d : ts, @@ -548,7 +548,7 @@ checkKindSigs :: [LTyClDecl RdrName] -> P () checkKindSigs = mapM_ check where check (L l tydecl) - | isKindSigDecl tydecl + | isFamilyDecl tydecl || isSynDecl tydecl = return () | otherwise = parseError l "Type declaration in a class must be a kind signature or synonym default"