Commit af457be6 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Layout only

parent b9b5f4c5
...@@ -547,10 +547,11 @@ checkKindSigs :: [LTyClDecl RdrName] -> P () ...@@ -547,10 +547,11 @@ checkKindSigs :: [LTyClDecl RdrName] -> P ()
checkKindSigs = mapM_ check checkKindSigs = mapM_ check
where where
check (L l tydecl) check (L l tydecl)
| isFamilyDecl tydecl | isFamilyDecl tydecl = return ()
|| isTypeDecl tydecl = return () | isTypeDecl tydecl = return ()
| otherwise = | otherwise
parseErrorSDoc l (text "Type declaration in a class must be a kind signature or synonym default:" $$ ppr tydecl) = parseErrorSDoc l (text "Type declaration in a class must be a kind signature or synonym default:"
$$ ppr tydecl)
checkContext :: LHsType RdrName -> P (LHsContext RdrName) checkContext :: LHsType RdrName -> P (LHsContext RdrName)
checkContext (L l orig_t) checkContext (L l orig_t)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment