[commit: ghc] wip/T12919: Make it compile (114f79e)

[git at git.haskell.org]

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

On branch  : wip/T12919
Link       : http://ghc.haskell.org/trac/ghc/changeset/114f79ebc33d2ee035e37f6f23e06eec54abf6b1/ghc

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

commit 114f79ebc33d2ee035e37f6f23e06eec54abf6b1
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Fri Oct 6 15:33:19 2017 -0400

    Make it compile


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

114f79ebc33d2ee035e37f6f23e06eec54abf6b1
 compiler/types/Coercion.hs | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs
index 39b4ff7..2b881f4 100644
--- a/compiler/types/Coercion.hs
+++ b/compiler/types/Coercion.hs
@@ -1868,9 +1868,7 @@ buildCoercion orig_ty1 orig_ty2 = go orig_ty1 orig_ty2
       = go ty1 ty2 `mkCoherenceRightCo` co
 
     go ty1@(TyVarTy tv1) _tyvarty
-      = ASSERT( case _tyvarty of
-                  TyVarTy tv2 -> tv1 == tv2
-                  _           -> False )
+      = ASSERT( case _tyvarty of TyVarTy tv2 -> tv1 == tv2; _ -> False )
         mkNomReflCo ty1
 
     go (FunTy arg1 res1) (FunTy arg2 res2)
@@ -1898,9 +1896,7 @@ buildCoercion orig_ty1 orig_ty2 = go orig_ty1 orig_ty2
         mkForAllCo tv1 kind_co (go ty1 ty2')
 
     go ty1@(LitTy lit1) _lit2
-      = ASSERT( case _lit2 of
-                  LitTy lit2 -> lit1 == lit2
-                  _          -> False        )
+      = ASSERT( case _lit2 of LitTy lit2 -> lit1 == lit2; _ -> False )
         mkNomReflCo ty1
 
     go (CoercionTy co1) (CoercionTy co2)