[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