diff options
-rw-r--r-- | compiler/types/TyCoRep.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index e4fe0e8916..15cd6a5ffe 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -2844,6 +2844,7 @@ typeSizePlus (TyConApp _ ts) = \acc0 -> typeSizePlus (CastTy ty co) = typeSizePlus ty `sizerPlus` coercionSizePlus co typeSizePlus (CoercionTy co) = coercionSizePlus co +coercionSizePlus :: Coercion -> Int -> Int coercionSizePlus (Refl _ ty) = typeSizePlus ty coercionSizePlus (TyConAppCo _ _ args) = \acc0 -> foldl' (\acc arg -> coercionSizePlus arg acc) (acc0 + 1) args |