diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-21 09:29:13 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2015-05-07 11:02:46 +0200 |
commit | 63205f719287cb011388b4beddf30d3229238b9f (patch) | |
tree | 0cb2d3bd80450bdb003b1bcacc66276ba8c2970b | |
parent | d4cfe23da37c85a2c550b7eebd16709114333172 (diff) | |
download | haskell-63205f719287cb011388b4beddf30d3229238b9f.tar.gz |
Wibble to DmdAnal
This fixes a typo in d5773a4939b1feea51ec0db6624c9462751e948a
Teach DmdAnal that coercions are value arguments!
(Trac #10288)
Sorry about that; I'm not sure how it slipped through.
(cherry picked from commit 5c7e4db5ce84395eb0d727eb3b0f505a00191164)
-rw-r--r-- | compiler/stranal/DmdAnal.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/stranal/DmdAnal.hs b/compiler/stranal/DmdAnal.hs index b45fc2b619..f1fe7f76c2 100644 --- a/compiler/stranal/DmdAnal.hs +++ b/compiler/stranal/DmdAnal.hs @@ -167,10 +167,10 @@ dmdAnal' env dmd (App fun (Type ty)) -- Lots of the other code is there to make this -- beautiful, compositional, application rule :-) dmdAnal' env dmd (App fun arg) - = -- This case handles value arguments (type args handled above) - -- Crucially, coercions /are/ handled here, because they are - -- value arguments (Trac #10288) - = let + = -- This case handles value arguments (type args handled above) + -- Crucially, coercions /are/ handled here, because they are + -- value arguments (Trac #10288) + let call_dmd = mkCallDmd dmd (fun_ty, fun') = dmdAnal env call_dmd fun (arg_dmd, res_ty) = splitDmdTy fun_ty |