From: simonpj@microsoft.com <unknown>
Date: Sun, 19 Sep 2010 15:22:01 +0000 (+0000)
Subject: Include the "stupid theta" in the type of $con2tag
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=e4b5abb6ddfd07a7f95455c94faf2946a1bc078e;p=ghc-hetmet.git

Include the "stupid theta" in the type of $con2tag
---

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