[commit: ghc] wip/faster-stats: Add type signature (15b43ab)
git at git.haskell.org
git at git.haskell.org
Thu Jul 6 05:48:31 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/faster-stats
Link : http://ghc.haskell.org/trac/ghc/changeset/15b43ab9732be8a5712df0fdfd270c60e6def2fd/ghc
>---------------------------------------------------------------
commit 15b43ab9732be8a5712df0fdfd270c60e6def2fd
Author: David Feuer <David.Feuer at gmail.com>
Date: Thu Jul 6 01:47:29 2017 -0400
Add type signature
>---------------------------------------------------------------
15b43ab9732be8a5712df0fdfd270c60e6def2fd
compiler/types/TyCoRep.hs | 1 +
1 file changed, 1 insertion(+)
diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs
index e4fe0e8..15cd6a5 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
More information about the ghc-commits
mailing list