[commit: ghc] wip/new-flatten-skolems-Oct14: Comments only (9e6c0e8)
git at git.haskell.org
git at git.haskell.org
Fri Oct 31 13:44:10 UTC 2014
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/new-flatten-skolems-Oct14
Link : http://ghc.haskell.org/trac/ghc/changeset/9e6c0e81a48a739d1397c06033b6505d9e96d22c/ghc
>---------------------------------------------------------------
commit 9e6c0e81a48a739d1397c06033b6505d9e96d22c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Fri Oct 31 12:32:36 2014 +0000
Comments only
>---------------------------------------------------------------
9e6c0e81a48a739d1397c06033b6505d9e96d22c
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