X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcType.lhs;h=a4d43dc448d6dcd81c22e2c9231a6f11f20824be;hp=9cc9170ea89ebf5760328a4c5d104a6776689470;hb=6bca92c3f75df35fcb2ec23d56107783373da7e6;hpb=e1231b2bcb1c9294c2ecdf150e9aad72a0caa253 diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 9cc9170..a4d43dc 100644 --- a/compiler/typecheck/TcType.lhs +++ b/compiler/typecheck/TcType.lhs @@ -814,8 +814,8 @@ mkDictTy clas tys = mkPredTy (ClassP clas tys) isDictTy :: Type -> Bool isDictTy ty | Just ty' <- tcView ty = isDictTy ty' -isDictTy (PredTy p) = isClassPred p -isDictTy other = False +isDictTy (PredTy p) = isClassPred p +isDictTy other = False \end{code} --------------------- Implicit parameters ---------------------------------