X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInteract.lhs;h=fd66d0ac0ce6d3d8245f863e33d1cdc429f163f3;hp=d17974675c95698455dc30ba90f200d7bedb1f06;hb=b855273185a7b86c65172c10674c98bab1052e2c;hpb=224ef3094189bc9a33f23285b5dccbffdd8d7de0 diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index d179746..fd66d0a 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -1053,7 +1053,7 @@ doInteractWithInert (CIPCan { cc_id = id1, cc_flavor = ifl, cc_ip_nm = nm1, cc_i Derived {} -> pprPanic "Unexpected derived IP" (ppr workItem) Wanted {} -> do { setIPBind (cc_id workItem) $ - EvCast id1 (mkSymCoercion (mkCoVarCoercion co_var)) + EvCast id1 (mkSymCo (mkCoVarCo co_var)) ; mkIRStopK "IP/IP interaction (solved)" cans } }