diff options
| author | David Feuer <David.Feuer@gmail.com> | 2017-07-06 01:47:29 -0400 |
|---|---|---|
| committer | David Feuer <David.Feuer@gmail.com> | 2017-07-06 01:47:29 -0400 |
| commit | 15b43ab9732be8a5712df0fdfd270c60e6def2fd (patch) | |
| tree | 906c60e500c238660a36d2ebf7942e398bc8c36b | |
| parent | 182fbf59cb568eaa32487902eba31df619d6e673 (diff) | |
| download | haskell-wip/faster-stats.tar.gz | |
Add type signaturewip/faster-stats
| -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 |