From: simonpj <unknown>
Date: Thu, 1 Aug 2002 12:49:41 +0000 (+0000)
Subject: [project @ 2002-08-01 12:49:41 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~1783
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=f32704c2e1c3e6263b413ddb619f80e29381934b;p=ghc-hetmet.git

[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
--- 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,