From 66658eedf0aa51de37ff6d2d009a2f37208985ca Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 31 Oct 2014 12:32:36 +0000 Subject: [PATCH] Comments only --- 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 11f97eab07..1f1fbdf745 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. -- GitLab