[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