summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Stolarek <jan.stolarek@p.lodz.pl>2014-07-11 14:33:38 +0200
committerJan Stolarek <jan.stolarek@p.lodz.pl>2014-07-11 14:33:50 +0200
commitedae31ab65718f57a3f326175a9320dc456f30cf (patch)
treef528c82d2e2723c206812bbec0283460a1861adb
parent8e396b08e4e095ded8f6ff93f5b265a03015717e (diff)
downloadhaskell-edae31ab65718f57a3f326175a9320dc456f30cf.tar.gz
Comments only
-rw-r--r--compiler/types/TyCon.lhs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs
index d57ce12e26..c39f9d1729 100644
--- a/compiler/types/TyCon.lhs
+++ b/compiler/types/TyCon.lhs
@@ -1210,7 +1210,7 @@ isDecomposableTyCon :: TyCon -> Bool
-- Ultimately we may have injective associated types
-- in which case this test will become more interesting
--
--- It'd be unusual to call isInjectiveTyCon on a regular H98
+-- It'd be unusual to call isDecomposableTyCon on a regular H98
-- type synonym, because you should probably have expanded it first
-- But regardless, it's not decomposable
isDecomposableTyCon (SynTyCon {}) = False