From d26620748326adf9cffc64dce0fbc9d069894b3e Mon Sep 17 00:00:00 2001 From: Max Bolingbroke Date: Fri, 26 Aug 2011 08:27:45 +0100 Subject: Rename factKind to constraintKind --- src/Haddock/Convert.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs index c209f761..6e534d05 100644 --- a/src/Haddock/Convert.hs +++ b/src/Haddock/Convert.hs @@ -21,7 +21,7 @@ import HsSyn import TcType ( tcSplitTyConApp_maybe, tcSplitSigmaTy ) import TypeRep import RnTypes ( mkIPName ) -import Kind ( liftedTypeKind, factKind ) +import Kind ( liftedTypeKind, constraintKind ) import Coercion ( splitKindFunTys, synTyConResKind ) import Name import Var @@ -266,7 +266,7 @@ synifyType _ (TyConApp tc tys) | isTupleTyCon tc, tyConArity tc == length tys = noLoc $ HsTupleTy (case tupleTyConSort tc of BoxedTuple -> HsBoxyTuple liftedTypeKind - FactTuple -> HsBoxyTuple factKind + FactTuple -> HsBoxyTuple constraintKind UnboxedTuple -> HsUnboxedTuple) (map (synifyType WithinType) tys) -- ditto for lists -- cgit v1.2.3