From e4b5abb6ddfd07a7f95455c94faf2946a1bc078e Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Sun, 19 Sep 2010 15:22:01 +0000
Subject: [PATCH] Include the "stupid theta" in the type of $con2tag

---
 compiler/typecheck/TcGenDeriv.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcGenDeriv.lhs b/compiler/typecheck/TcGenDeriv.lhs
index 4e95ad3..6e5aedc 100644
--- a/compiler/typecheck/TcGenDeriv.lhs
+++ b/compiler/typecheck/TcGenDeriv.lhs
@@ -1668,7 +1668,7 @@ genAuxBind loc (GenCon2Tag tycon)
     rdr_name = con2tag_RDR tycon
 
     sig_ty = HsCoreTy $ 
-             mkForAllTys (tyConTyVars tycon) $
+             mkSigmaTy (tyConTyVars tycon) (tyConStupidTheta tycon) $
              mkParentType tycon `mkFunTy` intPrimTy
 
     lots_of_constructors = tyConFamilySize tycon > 8
-- 
1.7.10.4