diff options
Diffstat (limited to 'compiler/stranal')
-rw-r--r-- | compiler/stranal/DmdAnal.hs | 2 | ||||
-rw-r--r-- | compiler/stranal/WwLib.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/stranal/DmdAnal.hs b/compiler/stranal/DmdAnal.hs index e7887b94db..79ae20f8fb 100644 --- a/compiler/stranal/DmdAnal.hs +++ b/compiler/stranal/DmdAnal.hs @@ -1245,7 +1245,7 @@ binders the CPR property. Specifically MkT x y | y>0 -> ... | otherwise -> x Here we don't have the unboxed 'x' available. Hence the - is_var_scrut test when making use of the strictness annoatation. + is_var_scrut test when making use of the strictness annotation. Slightly ad-hoc, because even if the scrutinee *is* a variable it might not be a onre of the arguments to the original function, or a sub-component thereof. But it's simple, and nothing terrible diff --git a/compiler/stranal/WwLib.hs b/compiler/stranal/WwLib.hs index e342ea1abd..9e9f4a143a 100644 --- a/compiler/stranal/WwLib.hs +++ b/compiler/stranal/WwLib.hs @@ -551,7 +551,7 @@ BUT if f is strict in the Ord dictionary, we might unpack it, to get 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 +Moreover, dictionaries can have a lot of fields, so unpacking them can increase closure sizes. Conclusion: don't unpack dictionaries. |