Loosen the rules for instance declarations (Part 3)

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

diff --git a/ghc/compiler/typecheck/TcDeriv.lhs b/ghc/compiler/typecheck/TcDeriv.lhs
index 3974bf0..472ce6b 100644 (file)
--- a/ghc/compiler/typecheck/TcDeriv.lhs
+++ b/ghc/compiler/typecheck/TcDeriv.lhs
@@ -727,7 +727,7 @@ solveDerivEqns overlap_flag orig_eqns
     gen_soln (_, clas, tc,tyvars,deriv_rhs)
       = setSrcSpan (srcLocSpan (getSrcLoc tc))         $
        addErrCtxt (derivCtxt (Just clas) tc)   $
-       tcSimplifyDeriv tyvars deriv_rhs        `thenM` \ theta ->
+       tcSimplifyDeriv tc tyvars deriv_rhs     `thenM` \ theta ->
        returnM (sortLe (<=) theta)     -- Canonicalise before returning the soluction
 
     ------------------------------------------------------------------