X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FdeSugar%2FDsBinds.lhs;h=0bb7045ec5bd6bbf65478f4eed2a4c8363f511a7;hp=3fe8d54ee1a59e2ffe21156befaf6e15dc7a1dee;hb=6a944ae7fe1e8e2e456c68717188463263f8978f;hpb=c93e8323ab49dd369e8b5f04027462a6fc1b8249

diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs
index 3fe8d54..0bb7045 100644
--- a/compiler/deSugar/DsBinds.lhs
+++ b/compiler/deSugar/DsBinds.lhs
@@ -452,7 +452,7 @@ dsSpecs all_tvs dicts tvs poly_id mono_id inl_arity mono_bind prags
 	   	bs | not (null bs) -> do { warnDs (dead_msg bs); return Nothing } 
 	   	   | otherwise -> do
 
-	   { (spec_unf, unf_pairs) <- specUnfolding wrap_fn (idUnfolding poly_id)
+	   { (spec_unf, unf_pairs) <- specUnfolding wrap_fn (realIdUnfolding poly_id)
 
 	   ; let f_body = fix_up (Let mono_bind (Var mono_id))
                  spec_ty = exprType ds_spec_expr