Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 31 Oct 2014 12:32:36 +0000 (12:32 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 4 Nov 2014 10:38:05 +0000 (10:38 +0000)
compiler/stranal/WwLib.lhs

index 11f97ea..1f1fbdf 100644 (file)
@@ -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.