From f32704c2e1c3e6263b413ddb619f80e29381934b Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 1 Aug 2002 12:49:41 +0000 Subject: [PATCH] [project @ 2002-08-01 12:49:41 by simonpj] Comments only --- ghc/compiler/typecheck/TcMonoType.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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, -- 1.7.10.4