diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-21 09:29:13 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-04-21 09:29:13 +0100 |
| commit | 5c7e4db5ce84395eb0d727eb3b0f505a00191164 (patch) | |
| tree | d6c46a0784318a4c78ef7dff7d8917f7931577ee /compiler/stranal/DmdAnal.hs | |
| parent | f2d1b7fcbbc55e33375a7321222a9f4ee189aa38 (diff) | |
| download | haskell-5c7e4db5ce84395eb0d727eb3b0f505a00191164.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.
Diffstat (limited to 'compiler/stranal/DmdAnal.hs')
| -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 21a71de14d..a345e45327 100644 --- a/compiler/stranal/DmdAnal.hs +++ b/compiler/stranal/DmdAnal.hs @@ -169,10 +169,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 |