[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