aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMax Bolingbroke <batterseapower@hotmail.com>2011-08-26 08:27:45 +0100
committerMax Bolingbroke <batterseapower@hotmail.com>2011-08-26 08:27:45 +0100
commitd26620748326adf9cffc64dce0fbc9d069894b3e (patch)
tree2ba600a9346c3654b1f18ccb30506b5bce86acd5
parentfb11671ea6927db9b4f48d8e59546218c90acdca (diff)
Rename factKind to constraintKind
-rw-r--r--src/Haddock/Convert.hs4
1 files changed, 2 insertions, 2 deletions
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