X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcClassDcl.lhs;h=0fb82cb76a305eafc156c0f1da378b377857e1f1;hb=c279f61e3762b137c035ca0bae960415a8916f03;hp=2d113b7bb57c030026948d6ba72c058b54347016;hpb=77166b1729061531eeb77c33f4d3b2581f7d4c41;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs
index 2d113b7..0fb82cb 100644
--- a/compiler/typecheck/TcClassDcl.lhs
+++ b/compiler/typecheck/TcClassDcl.lhs
@@ -528,7 +528,8 @@ mkGenericInstance clas (hs_ty, binds) = do
 	-- and wrap them as forall'd tyvars, so that kind inference
 	-- works in the standard way
     let
-	sig_tvs = map (noLoc.UserTyVar) (nameSetToList (extractHsTyVars (noLoc hs_ty)))
+	sig_tvs = userHsTyVarBndrs $ map noLoc $ nameSetToList $
+                  extractHsTyVars (noLoc hs_ty)
 	hs_forall_ty = noLoc $ mkExplicitHsForAllTy sig_tvs (noLoc []) (noLoc hs_ty)
 
 	-- Type-check the instance type, and check its form