diff options
Diffstat (limited to 'compiler/GHC/Core/Utils.hs')
-rw-r--r-- | compiler/GHC/Core/Utils.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Core/Utils.hs b/compiler/GHC/Core/Utils.hs index 565bf698bc..020b956d8f 100644 --- a/compiler/GHC/Core/Utils.hs +++ b/compiler/GHC/Core/Utils.hs @@ -2385,9 +2385,9 @@ isEmptyTy ty normSplitTyConApp_maybe :: FamInstEnvs -> Type -> Maybe (TyCon, [Type], Coercion) normSplitTyConApp_maybe fam_envs ty | let Reduction co ty1 = topNormaliseType_maybe fam_envs ty - `orElse` (mkReflRedn Representational ty) + `orElse` (mkReflRedn ty) , Just (tc, tc_args) <- splitTyConApp_maybe ty1 - = Just (tc, tc_args, co) + = Just (tc, tc_args, mkHydrateDCo Representational ty co ty1) normSplitTyConApp_maybe _ _ = Nothing {- |