X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FdeSugar%2FDsMeta.hs;h=58524ea99e5f247659edf21d118f09f9d3705a2d;hp=f24641213d3967fbd7b670779ef659fa10ac8150;hb=654a1ba16e47d3ddabeb74b809ee6097c0770d35;hpb=ae52214482136fdeaaf9d741cf1211cf3cdce5c6 diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs index f246412..58524ea 100644 --- a/compiler/deSugar/DsMeta.hs +++ b/compiler/deSugar/DsMeta.hs @@ -398,6 +398,7 @@ repPred (HsClassP cls tys) = do tcon <- repTy (HsTyVar cls) tys1 <- repLTys tys repTapps tcon tys1 +repPred p@(HsEqualP _ _) = notHandled "Equational constraint" (ppr p) repPred p@(HsIParam _ _) = notHandled "Implicit parameter constraint" (ppr p) -- yield the representation of a list of types