[project @ 2000-10-25 07:09:52 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMonoType.lhs

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index 93d86c4..cc7bb71 100644 (file)
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -5,7 +5,7 @@
 
 \begin{code}
 module TcMonoType ( tcHsType, tcHsSigType, tcHsBoxedSigType, 
-                   tcContext, tcClassContext,
+                   tcContext, tcClassContext, checkAmbiguity,
 
                        -- Kind checking
                    kcHsTyVar, kcHsTyVars, mkTyClTyVars,
@@ -374,6 +374,7 @@ tcHsType full_ty@(HsForAllTy (Just tv_names) ctxt ty)
     checkAmbiguity full_ty tyvars theta tau    `thenTc_`
     returnTc (mkSigmaTy tyvars theta tau)
 
+checkAmbiguity :: RenamedHsType -> [TyVar] -> ThetaType -> Type -> TcM ()
   -- Check for ambiguity
   --   forall V. P => tau
   -- is ambiguous if P contains generic variables
@@ -393,7 +394,7 @@ tcHsType full_ty@(HsForAllTy (Just tv_names) ctxt ty)
   -- This is the is_free test below.
 
 checkAmbiguity full_ty forall_tyvars theta tau
-  = mapTc check_pred theta
+  = mapTc_ check_pred theta
   where
     tau_vars         = tyVarsOfType tau
     fds                      = instFunDepsOfTheta theta