X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FdeSugar%2FDsMeta.hs;h=1406d63c6e396fa9c6577d78b153376354ec806d;hp=d85782b2001c1c3a36bc269daf814338748c98f7;hb=afef39736dcde6f4947a6f362f9e6b3586933db4;hpb=7a59afcebe45ea87c42006873f77eb4600d7316f diff --git a/compiler/deSugar/DsMeta.hs b/compiler/deSugar/DsMeta.hs index d85782b..1406d63 100644 --- a/compiler/deSugar/DsMeta.hs +++ b/compiler/deSugar/DsMeta.hs @@ -231,7 +231,7 @@ repLFunDep (L _ (xs, ys)) = do xs' <- mapM lookupBinder xs ys_list <- coreList nameTyConName ys' repFunDep xs_list ys_list -repInstD' (L loc (InstDecl ty binds _)) -- Ignore user pragmas for now +repInstD' (L loc (InstDecl ty binds _ _)) -- Ignore user pragmas for now = do { i <- addTyVarBinds tvs $ \tv_bndrs -> -- We must bring the type variables into scope, so their occurrences -- don't fail, even though the binders don't appear in the resulting