diff options
| -rw-r--r-- | compiler/types/Coercion.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/types/Coercion.hs b/compiler/types/Coercion.hs index 81331e0b8e..a95d12c934 100644 --- a/compiler/types/Coercion.hs +++ b/compiler/types/Coercion.hs @@ -1198,6 +1198,7 @@ mkSubCo (FunCo Nominal arg res) = FunCo Representational (downgradeRole Representational Nominal arg) (downgradeRole Representational Nominal res) +mkSubCo co@(SubCo _) = co mkSubCo co = ASSERT2( coercionRole co == Nominal, ppr co <+> ppr (coercionRole co) ) SubCo co |