[commit: ghc] master's head updated: Merge branch 'no-pred-ty' (b3bc5f4)

[Max Bolingbroke]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

Branch 'master' now includes:

     6bad38a... Remove bogus isCoercionKind function and its sole use
     d982622... There are no predicate kinds in external core: remove Keq
     902d460... Fix handing of CoVars in SetLevels: it wasn't renaming occurrences of case-bound coercion variabes
     c02ff7c... Zap demand information if the simplifier reduces the arity: fixes CoreLint failure
     b98267a... Remove the "Ghastly special case" from dataTcOccs
     9729fe7... Implement -XConstraintKind
     80d1963... Minor refactoring of dsLCoercion, plus comments
     0bdafd5... ConstraintKind -> ConstraintKinds
     536359d... Add Constraint as a legitmiate tycon in Kinds
     aba74af... Comments and layout
     c4c9810... Nuke isCertainlyPredReprTy
     ff94f97... Comments, and rename FactTuple to ConstraintTuple
     99a52b0... Move exprIsConApp_maybe to CoreSubst so we can use it in VSO. Fix VSO bug with unlifted let bindings.
     b3bc5f4... Merge branch 'no-pred-ty'