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

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