[commit: ghc] ghc-7.10: Wibble to DmdAnal (63205f7)
git at git.haskell.org
git at git.haskell.org
Thu May 7 09:02:24 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : ghc-7.10
Link : http://ghc.haskell.org/trac/ghc/changeset/63205f719287cb011388b4beddf30d3229238b9f/ghc
>---------------------------------------------------------------
commit 63205f719287cb011388b4beddf30d3229238b9f
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.
(cherry picked from commit 5c7e4db5ce84395eb0d727eb3b0f505a00191164)
>---------------------------------------------------------------
63205f719287cb011388b4beddf30d3229238b9f
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 b45fc2b..f1fe7f7 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
More information about the ghc-commits
mailing list