diff options
Diffstat (limited to 'compiler/GHC/CoreToIface.hs')
| -rw-r--r-- | compiler/GHC/CoreToIface.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/CoreToIface.hs b/compiler/GHC/CoreToIface.hs index 941f79168e..c0c40fea1e 100644 --- a/compiler/GHC/CoreToIface.hs +++ b/compiler/GHC/CoreToIface.hs @@ -311,8 +311,8 @@ toIfaceCoercionX fr co go (FunCo { fco_role = r, fco_mult = w, fco_arg = co1, fco_res = co2 }) = IfaceFunCo r (go w) (go co1) (go co2) - go (ForAllCoX tv visL visR k co) - = IfaceForAllCoY(toIfaceBndr tv) + go (ForAllCo tv visL visR k co) + = IfaceForAllCo (toIfaceBndr tv) visL visR (toIfaceCoercionX fr' k) |