X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FInst.lhs;h=49fba3529f2e2be45cfae37c9602bf060f2de426;hp=49fc942b8c91e709ecfa5f4b0e2558b64ed5bc7d;hb=84923cc7de2a93c22a2f72daf9ac863959efae13;hpb=3ded6e65b730c2b5eb9a9519448bbcd905c5d7fa diff --git a/compiler/typecheck/Inst.lhs b/compiler/typecheck/Inst.lhs index 49fc942..49fba35 100644 --- a/compiler/typecheck/Inst.lhs +++ b/compiler/typecheck/Inst.lhs @@ -751,7 +751,7 @@ lookupSimpleInst (Dict {tci_pred = pred, tci_loc = loc}) (theta, _) = tcSplitPhiTy dfun_rho src_loc = instLocSpan loc dfun = HsVar dfun_id - tys = map (substTyVar tenv') tyvars + tys = substTyVars tenv' tyvars ; if null theta then returnM (GenInst [] (L src_loc $ HsWrap (mkWpTyApps tys) dfun)) else do