[commit: ghc] wip/tdammers/D4568: Fix unintended Haddock (c349615)

[git at git.haskell.org]

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

On branch  : wip/tdammers/D4568
Link       : http://ghc.haskell.org/trac/ghc/changeset/c349615ac28a5ef8b13c6b037d177049d5f2063d/ghc

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

commit c349615ac28a5ef8b13c6b037d177049d5f2063d
Author: Tobias Dammers <tdammers at gmail.com>
Date:   Thu Apr 5 14:25:03 2018 +0200

    Fix unintended Haddock


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

c349615ac28a5ef8b13c6b037d177049d5f2063d
 compiler/coreSyn/CoreOpt.hs | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/compiler/coreSyn/CoreOpt.hs b/compiler/coreSyn/CoreOpt.hs
index 4b305fa..6c63361 100644
--- a/compiler/coreSyn/CoreOpt.hs
+++ b/compiler/coreSyn/CoreOpt.hs
@@ -960,8 +960,8 @@ pushCoTyArg :: CoercionR -> Type -> Maybe (Type, Maybe CoercionR)
 pushCoTyArg co ty
   -- The following is inefficient - don't do `eqType` here, the coercion
   -- optimizer will take care of it. See Trac #14737.
-  -- | tyL `eqType` tyR
-  -- = Just (ty, Nothing)
+  -- -- | tyL `eqType` tyR
+  -- -- = Just (ty, Nothing)
 
   | isForAllTy tyL
   = ASSERT2( isForAllTy tyR, ppr co $$ ppr ty )
@@ -993,8 +993,10 @@ pushCoValArg :: Coercion -> Maybe (Coercion, Maybe Coercion)
 -- If the second returned Coercion is actually Nothing, then no cast is necessary;
 -- the returned coercion would have been reflexive.
 pushCoValArg co
-  | tyL `eqType` tyR
-  = Just (mkRepReflCo arg, Nothing)
+  -- The following is inefficient - don't do `eqType` here, the coercion
+  -- optimizer will take care of it. See Trac #14737.
+  -- -- | tyL `eqType` tyR
+  -- -- = Just (mkRepReflCo arg, Nothing)
 
   | isFunTy tyL
   , (co1, co2) <- decomposeFunCo co