projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8c55493
)
Layout only
author
simonpj@microsoft.com
<unknown>
Mon, 16 Mar 2009 16:46:19 +0000
(16:46 +0000)
committer
simonpj@microsoft.com
<unknown>
Mon, 16 Mar 2009 16:46:19 +0000
(16:46 +0000)
compiler/types/TyCon.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/TyCon.lhs
b/compiler/types/TyCon.lhs
index
120e1b9
..
2965f6c
100644
(file)
--- a/
compiler/types/TyCon.lhs
+++ b/
compiler/types/TyCon.lhs
@@
-811,9
+811,9
@@
isEnumerationTyCon _ = False
-- | Is this a 'TyCon', synonym or otherwise, that may have further instances appear?
isOpenTyCon :: TyCon -> Bool
-- | Is this a 'TyCon', synonym or otherwise, that may have further instances appear?
isOpenTyCon :: TyCon -> Bool
-isOpenTyCon (SynTyCon {synTcRhs = OpenSynTyCon _ _}) = True
-isOpenTyCon (AlgTyCon {algTcRhs = OpenTyCon {} }) = True
-isOpenTyCon _ = False
+isOpenTyCon (SynTyCon {synTcRhs = OpenSynTyCon {}}) = True
+isOpenTyCon (AlgTyCon {algTcRhs = OpenTyCon {}}) = True
+isOpenTyCon _ = False
-- | Extract the mapping from 'TyVar' indexes to indexes in the corresponding family
-- argument lists form an open 'TyCon' of any sort, if the given 'TyCon' is indeed
-- | Extract the mapping from 'TyVar' indexes to indexes in the corresponding family
-- argument lists form an open 'TyCon' of any sort, if the given 'TyCon' is indeed