diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-05-06 15:34:32 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-05-06 15:34:32 +0100 |
| commit | abfa45f26f9a5d2bc67b18b7820e0b4039f12ad3 (patch) | |
| tree | 5eec92cd7363c79bee9f768eb3cb610c2209fb1a | |
| parent | ee62a1b6847e42f76383b2e70003f2feb9e8435c (diff) | |
| download | haskell-abfa45f26f9a5d2bc67b18b7820e0b4039f12ad3.tar.gz | |
Remove special case for EqPred in CoreView
| -rw-r--r-- | compiler/types/Type.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 1958a5cea8..0f77bcf8a3 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -254,7 +254,7 @@ coreView :: Type -> Maybe Type -- By being non-recursive and inlined, this case analysis gets efficiently -- joined onto the case analysis that the caller is already doing coreView (PredTy p) - | isEqPred p = Nothing +-- | isEqPred p = Nothing | otherwise = Just (predTypeRep p) coreView (TyConApp tc tys) | Just (tenv, rhs, tys') <- coreExpandTyCon_maybe tc tys = Just (mkAppTys (substTy (mkTopTvSubst tenv) rhs) tys') |