[commit: ghc] wip/tdammers/T11735: This should really have been in the previous commit. (ee83b71)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/tdammers/T11735
Link       : http://ghc.haskell.org/trac/ghc/changeset/ee83b713d4b8767594e5c9597e3e6f2bbc1f1525/ghc

>---------------------------------------------------------------

commit ee83b713d4b8767594e5c9597e3e6f2bbc1f1525
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Sat Jan 27 09:55:21 2018 -0500

    This should really have been in the previous commit.


>---------------------------------------------------------------

ee83b713d4b8767594e5c9597e3e6f2bbc1f1525
 compiler/coreSyn/CoreOpt.hs    | 4 ++--
 compiler/simplCore/Simplify.hs | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/coreSyn/CoreOpt.hs b/compiler/coreSyn/CoreOpt.hs
index d4ddd84..6521cc4 100644
--- a/compiler/coreSyn/CoreOpt.hs
+++ b/compiler/coreSyn/CoreOpt.hs
@@ -1000,12 +1000,12 @@ pushCoValArg co
               -- then co1 :: tyL1 ~ tyR1
               --      co2 :: tyL2 ~ tyR2
   = ASSERT2( isFunTy tyR, ppr co $$ ppr arg )
-    Just (mkSymCo co1, co2)
+    Just (mkSymCo co1, Just co2)
 
   | otherwise
   = Nothing
   where
-    (arg, res)   = splitFunTy tyR
+    (arg, _)     = splitFunTy tyR
     Pair tyL tyR = coercionKind co
 
 pushCoercionIntoLambda
diff --git a/compiler/simplCore/Simplify.hs b/compiler/simplCore/Simplify.hs
index 3d94dae..a0df602 100644
--- a/compiler/simplCore/Simplify.hs
+++ b/compiler/simplCore/Simplify.hs
@@ -1228,7 +1228,7 @@ simplCast env body co0 cont0
         -- If the first parameter is Nothing, then simplifying revealed a
         -- reflexive coercion. Omit.
        addCoerce0 :: Maybe OutCoercion -> SimplCont -> SimplM SimplCont
-       addCoerce0 Nothing   cont = cont
+       addCoerce0 Nothing   cont = return cont
        addCoerce0 (Just co) cont = addCoerce co cont
 
        addCoerce :: OutCoercion -> SimplCont -> SimplM SimplCont