Wibble to DmdAnal
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 21 Apr 2015 08:29:13 +0000 (09:29 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 21 Apr 2015 08:29:13 +0000 (09:29 +0100)
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.

compiler/stranal/DmdAnal.hs

index 21a71de..a345e45 100644 (file)
@@ -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