X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FTyCon.lhs;fp=compiler%2Ftypes%2FTyCon.lhs;h=963f93c2e30711920351efc20446a40c82a91188;hp=09596993569fc1eab3e51e2e734b344f387bdfd2;hb=362750fbc91116ccc12b8b30d9a496803fa036f3;hpb=0884a2cb09cd5f609b6163a225ca3b8cce942250 diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs index 0959699..963f93c 100644 --- a/compiler/types/TyCon.lhs +++ b/compiler/types/TyCon.lhs @@ -836,7 +836,7 @@ isOpenSynTyCon :: TyCon -> Bool isOpenSynTyCon tycon = isSynTyCon tycon && isOpenTyCon tycon isDecomposableTyCon :: TyCon -> Bool --- True iff we can deocmpose (T a b c) into ((T a b) c) +-- True iff we can decompose (T a b c) into ((T a b) c) -- Specifically NOT true of synonyms (open and otherwise) and coercions isDecomposableTyCon (SynTyCon {}) = False isDecomposableTyCon (CoTyCon {}) = False