X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMType.lhs;h=65330acd67ba166acba0f1adf560682cc7723f9e;hb=daa3fb945909feb28d7623aa2a075663d31076f0;hp=950d7339f841e017149775a53e3dbbbaf15b9f51;hpb=debb7b80e707c343a3a7d8993ffab19b83e5c52b;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs
index 950d733..65330ac 100644
--- a/compiler/typecheck/TcMType.lhs
+++ b/compiler/typecheck/TcMType.lhs
@@ -35,7 +35,7 @@ module TcMType (
   --------------------------------
   -- Instantiation
   tcInstTyVar, tcInstTyVars, tcInstSigTyVars,
-  tcInstType, tcInstSigType,
+  tcInstType, tcInstSigType, instMetaTyVar,
   tcInstSkolTyVars, tcInstSkolTyVar, tcInstSkolType, 
   tcSkolSigType, tcSkolSigTyVars, 
 
@@ -305,6 +305,7 @@ newMetaTyVar meta_info kind
 	; let name = mkSysTvName uniq fs 
 	      fs = case meta_info of
 			TauTv   -> fsLit "t"
+			TcsTv   -> fsLit "u"
 			SigTv _ -> fsLit "a"
 	; return (mkTcTyVar name kind (MetaTv meta_info ref)) }