diff options
| author | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-26 08:27:45 +0100 |
|---|---|---|
| committer | Max Bolingbroke <batterseapower@hotmail.com> | 2011-08-26 08:27:45 +0100 |
| commit | d26620748326adf9cffc64dce0fbc9d069894b3e (patch) | |
| tree | 2ba600a9346c3654b1f18ccb30506b5bce86acd5 /src/Haddock | |
| parent | fb11671ea6927db9b4f48d8e59546218c90acdca (diff) | |
Rename factKind to constraintKind
Diffstat (limited to 'src/Haddock')
| -rw-r--r-- | src/Haddock/Convert.hs | 4 |
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 |