X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=aecaf7f43c6c33e5a6a89ec8df02d4562bad7838;hp=d839aba3519accc218f8d09390493a34e1bf184a;hb=e891720545a2f088cc48ad62bad7c5b2ad7d183f;hpb=c7ad7938dc1d27a2471b0b803ac3e70102414a3d

diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs
index d839aba..aecaf7f 100644
--- a/compiler/typecheck/Inst.lhs
+++ b/compiler/typecheck/Inst.lhs
@@ -513,7 +513,7 @@ Zonking makes sure that the instance types are fully zonked.
 
 \begin{code}
 zonkInst :: Inst -> TcM Inst
-zonkInst dict@(Dict { tci_pred = pred}) = do
+zonkInst dict@(Dict {tci_pred = pred}) = do
     new_pred <- zonkTcPredType pred
     return (dict {tci_pred = new_pred})
 
@@ -544,7 +544,7 @@ zonkInst eqinst@(EqInst {tci_left = ty1, tci_right = ty2})
 		  (\co    -> liftM mkGivenCo $ zonkTcType co)
        ; ty1' <- zonkTcType ty1
        ; ty2' <- zonkTcType ty2
-       ; return (eqinst {tci_co = co', tci_left= ty1', tci_right = ty2' })
+       ; return (eqinst {tci_co = co', tci_left = ty1', tci_right = ty2' })
        }
 
 zonkInsts :: [Inst] -> TcRn [Inst]