X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypecheck%2FTcBinds.lhs;h=9ecbe7f330956cd047cf295f1c131f29c9a0608b;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=a61b07552e58f3a0c18b8a46fb1c08c848e3f6c4;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs
index a61b075..9ecbe7f 100644
--- a/ghc/compiler/typecheck/TcBinds.lhs
+++ b/ghc/compiler/typecheck/TcBinds.lhs
@@ -39,7 +39,8 @@ import Maybes		( assocMaybe, catMaybes, Maybe(..) )
 import Outputable	( pprNonOp )
 import PragmaInfo	( PragmaInfo(..) )
 import Pretty
-import Type		( mkTyVarTy, isTyVarTy, mkSigmaTy, splitSigmaTy,
+import Type		( mkTyVarTy, mkTyVarTys, isTyVarTy,
+			  mkSigmaTy, splitSigmaTy,
 			  splitRhoTy, mkForAllTy, splitForAllTy )
 import Util		( panic )
 \end{code}
@@ -401,7 +402,7 @@ tcPragmaSig (SpecSig name poly_ty maybe_spec_name src_loc)
     let
 	(main_tyvars, main_rho) = splitForAllTy main_ty
 	(main_theta,main_tau)   = splitRhoTy main_rho
-	main_arg_tys	        = map mkTyVarTy main_tyvars
+	main_arg_tys	        = mkTyVarTys main_tyvars
     in
 
 	-- Check that the specialised type is indeed an instance of