X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fdeforest%2FCyclic.lhs;h=08b65d78bfc8e184a3c893204e4e6a705db987b2;hb=0596517a9b4b2b32e5d375a986351102ac4540fc;hp=62f1fe0470a1744518ef28fa2690ba749997ca31;hpb=6c381e873e222417d9a67aeec77b9555eca7b7a8;p=ghc-hetmet.git

diff --git a/ghc/compiler/deforest/Cyclic.lhs b/ghc/compiler/deforest/Cyclic.lhs
index 62f1fe0..08b65d7 100644
--- a/ghc/compiler/deforest/Cyclic.lhs
+++ b/ghc/compiler/deforest/Cyclic.lhs
@@ -13,7 +13,7 @@
 > import DefUtils
 > import Def2Core 	( d2c, defPanic )
 
-> import Type		( glueTyArgs, quantifyTy, mkForallTy, mkTyVarTy,
+> import Type		( glueTyArgs, quantifyTy, mkForallTy, mkTyVarTys,
 >			  TyVarTemplate
 >			)
 > import Digraph	( dfs )
@@ -372,7 +372,7 @@ expressions and function right hand sides that call this function.
 > mkLoopFunApp val_args ty_args f =
 > 	foldl App
 >	  (foldl CoTyApp (Var (DefArgVar f))
->	    (map mkTyVarTy ty_args))
+>	    (mkTyVarTys ty_args))
 >	  	(map mkVar val_args)
 
 -----------------------------------------------------------------------------