X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FCoercion.lhs;h=05f1601431b92bc4cd94ec71659d1188e1800250;hp=35cf5a5a7b1cbe15ee84685ee67b04633e0925fa;hb=7b3a6b7645b86f55a8e7109c139b0a3a5a7f43d2;hpb=c1540c3def6281ea67b5a4ce7499b1aa982faa25

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 35cf5a5..05f1601 100644
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -531,9 +531,9 @@ mkForAllTyCoI :: TyVar -> CoercionI -> CoercionI
 mkForAllTyCoI _ IdCo = IdCo
 mkForAllTyCoI tv (ACo co) = ACo $ ForAllTy tv co
 
+fromACo :: CoercionI -> Coercion
 fromACo (ACo co) = co
 
-
 mkClassPPredCoI :: Class -> [Type] -> [CoercionI] -> CoercionI
 -- mkClassPPredCoI cls tys cois = coi
 --    coi : PredTy (cls tys) ~ predTy (cls (tys `cast` cois))