In an AbsBinds, the 'dicts' can include EqInsts

[ghc-hetmet.git] / compiler / typecheck / TcInstDcls.lhs

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 5d1e63a..0025ef2 100644 (file)
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -525,7 +525,7 @@ tcInstDecl2 (InstInfo { iSpec = ispec, iBinds = NewTypeDerived })
        ; let dict_bind = noLoc $ VarBind (instToId this_dict) (noLoc body)
 
        ; return (unitBag $ noLoc $
-                 AbsBinds  tvs (map instToId dfun_dicts)
+                 AbsBinds  tvs (map instToVar dfun_dicts)
                            [(tvs, dfun_id, instToId this_dict, [])] 
                            (dict_bind `consBag` sc_binds)) }
   where