projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
HsSyn clean up for indexed types
[ghc-hetmet.git]
/
compiler
/
parser
/
RdrHsSyn.lhs
diff --git
a/compiler/parser/RdrHsSyn.lhs
b/compiler/parser/RdrHsSyn.lhs
index
200ea57
..
687ffd2
100644
(file)
--- 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
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,
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)
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"
|| isSynDecl tydecl = return ()
| otherwise =
parseError l "Type declaration in a class must be a kind signature or synonym default"