[commit: ghc] wip/new-flatten-skolems-Oct14: Comments only (9b82cfb)
git at git.haskell.org
git at git.haskell.org
Fri Oct 31 17:46:15 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/new-flatten-skolems-Oct14
Link : http://ghc.haskell.org/trac/ghc/changeset/9b82cfb8aac55e29ee7aa3789e967f647521bc16/ghc
>---------------------------------------------------------------
commit 9b82cfb8aac55e29ee7aa3789e967f647521bc16
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Fri Oct 31 12:32:36 2014 +0000
Comments only
>---------------------------------------------------------------
9b82cfb8aac55e29ee7aa3789e967f647521bc16
compiler/stranal/WwLib.lhs | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/compiler/stranal/WwLib.lhs b/compiler/stranal/WwLib.lhs
index 11f97ea..1f1fbdf 100644
--- a/compiler/stranal/WwLib.lhs
+++ b/compiler/stranal/WwLib.lhs
@@ -528,7 +528,8 @@ can still be specialised by the type-class specialiser, something like
BUT if f is strict in the Ord dictionary, we might unpack it, to get
fw :: (a->a->Bool) -> [a] -> Int# -> a
-and the type-class specialiser can't specialise that.
+and the type-class specialiser can't specialise that. An example is
+Trac #6056.
Moreover, dictinoaries can have a lot of fields, so unpacking them can
increase closure sizes.
More information about the ghc-commits
mailing list