diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-11-26 11:56:56 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-11-26 11:56:56 +0000 |
| commit | c2430f0d336901ae17cf1452fb95adc5caa782b3 (patch) | |
| tree | 0587b319c17adf8f6a7d38055d222e2e841bf0e7 /compiler/iface | |
| parent | fb508470f62ec8d6fb0920a82c6174ea853887bc (diff) | |
| download | haskell-c2430f0d336901ae17cf1452fb95adc5caa782b3.tar.gz | |
Make Constraint and * look identical in Core (System FC)
Fixes Trac #7451. See Note [Kind Constraint and kind *] in Kind.lhs.
Diffstat (limited to 'compiler/iface')
| -rw-r--r-- | compiler/iface/IfaceType.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/iface/IfaceType.lhs b/compiler/iface/IfaceType.lhs index 4a35f0049b..7b38bcb1a3 100644 --- a/compiler/iface/IfaceType.lhs +++ b/compiler/iface/IfaceType.lhs @@ -195,7 +195,7 @@ pprParendIfaceType = ppr_ty tYCON_PREC isIfacePredTy :: IfaceType -> Bool isIfacePredTy _ = False -- FIXME: fix this to print iface pred tys correctly --- isIfacePredTy ty = ifaceTypeKind ty `eqKind` constraintKind +-- isIfacePredTy ty = isConstraintKind (ifaceTypeKind ty) ppr_ty :: Int -> IfaceType -> SDoc ppr_ty _ (IfaceTyVar tyvar) = ppr tyvar |