[commit: ghc] master: Wibble to DmdAnal (5c7e4db)
git at git.haskell.org
git at git.haskell.org
Tue Apr 21 08:28:49 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/5c7e4db5ce84395eb0d727eb3b0f505a00191164/ghc
>---------------------------------------------------------------
commit 5c7e4db5ce84395eb0d727eb3b0f505a00191164
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Tue Apr 21 09:29:13 2015 +0100
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.
>---------------------------------------------------------------
5c7e4db5ce84395eb0d727eb3b0f505a00191164
compiler/stranal/DmdAnal.hs | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/compiler/stranal/DmdAnal.hs b/compiler/stranal/DmdAnal.hs
index 21a71de..a345e45 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
More information about the ghc-commits
mailing list