diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-10-31 12:32:36 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-04 10:38:05 +0000 |
| commit | 66658eedf0aa51de37ff6d2d009a2f37208985ca (patch) | |
| tree | 25a00ab09710573d1f5ad85e778bccebd11a4a60 /compiler/stranal | |
| parent | 7c79633688238086ad60e1d23e0a424bb4eb325f (diff) | |
| download | haskell-66658eedf0aa51de37ff6d2d009a2f37208985ca.tar.gz | |
Comments only
Diffstat (limited to 'compiler/stranal')
| -rw-r--r-- | compiler/stranal/WwLib.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
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. |