X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs;h=18bef237ba5afbb90041114f5e1476bcbea072e2;hb=4e5faff9152918cd00dcdad9068b0f1eba1fcd68;hp=d2497161f0243995c7cb5fb9958ee6fb428126aa;hpb=d2359864dfb6d8cc419b8ee55f1948c93f796d0b;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcExpr.lhs b/compiler/typecheck/TcExpr.lhs
index d249716..18bef23 100644
--- a/compiler/typecheck/TcExpr.lhs
+++ b/compiler/typecheck/TcExpr.lhs
@@ -76,6 +76,7 @@ tcPolyExprNC expr res_ty
   = do	{ (gen_fn, expr') <- tcGen res_ty emptyVarSet (\_ -> tcPolyExprNC expr)
 		-- Note the recursive call to tcPolyExpr, because the
 		-- type may have multiple layers of for-alls
+		-- E.g. forall a. Eq a => forall b. Ord b => ....
 	; return (mkLHsWrap gen_fn expr') }
 
   | otherwise