[project @ 2002-08-01 12:49:41 by simonpj]

Comments only

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index 7358cd3..eedad78 100644 (file)
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -664,7 +664,8 @@ hoistForAllTys ty
     in
     case hoist no_shadow_ty of 
        (tvs, theta, body) -> mkForAllTys tvs (mkFunTys (nubBy tcEqType theta) body)
-               -- The 'nubBy' eliminates duplicate constraints
+               -- The 'nubBy' eliminates duplicate constraints,
+               -- notably implicit parameters
   where
     hoist ty
        | (tvs1, body_ty) <- tcSplitForAllTys ty,