X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcGenDeriv.lhs;h=3fb18485670d879486a38cb1de236ebf0241e1e1;hb=e9f9ec1e57d53b9302a395ce0d02c0fa59e28341;hp=bcf1f07665321f65cf58026069e74fc4c3a82861;hpb=0dcea0d97a4bc0b1d5818faded64944fba5a29ec;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcGenDeriv.lhs b/compiler/typecheck/TcGenDeriv.lhs
index bcf1f07..3fb1848 100644
--- a/compiler/typecheck/TcGenDeriv.lhs
+++ b/compiler/typecheck/TcGenDeriv.lhs
@@ -1598,7 +1598,8 @@ genAuxBind loc (GenCon2Tag tycon)
     get_tag_rhs = L loc $ ExprWithTySig 
 			(nlHsLam (mkSimpleHsAlt (nlVarPat a_RDR) 
 					      (nlHsApp (nlHsVar getTag_RDR) a_Expr)))
-			(noLoc (mkExplicitHsForAllTy (map (noLoc.UserTyVar) tvs) (noLoc []) con2tag_ty))
+			(noLoc (mkExplicitHsForAllTy (userHsTyVarBndrs (map noLoc tvs)) 
+                                                     (noLoc []) con2tag_ty))
 
     con2tag_ty = nlHsTyConApp (getRdrName tycon) (map nlHsTyVar tvs)
 		`nlHsFunTy`