diff options
| author | simonpj@microsoft.com <unknown> | 2009-03-16 16:46:19 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-03-16 16:46:19 +0000 |
| commit | af6199f7e638e5559140c222c729d96b4b81fd98 (patch) | |
| tree | 2a42eb6b55a8f79f1dfe45538bfc4e7f233179c8 | |
| parent | 8c554937f8824da81e03e504936320b3321022ed (diff) | |
| download | haskell-af6199f7e638e5559140c222c729d96b4b81fd98.tar.gz | |
Layout only
| -rw-r--r-- | compiler/types/TyCon.lhs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs index 120e1b95e6..2965f6c3e6 100644 --- 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 -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 |