Tidy up RuntimeUnkSkols a bit more
[ghc-hetmet.git] / compiler / typecheck / TcGenDeriv.lhs
index 3676671..6e5aedc 100644 (file)
@@ -41,6 +41,7 @@ import Name
 
 import HscTypes
 import PrelInfo
+import MkCore  ( eRROR_ID )
 import PrelNames
 import PrimOp
 import SrcLoc
@@ -1667,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