diff options
| -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') |