[commit: ghc] wip/rae: Fix comments to ghci stuff (821a880)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/821a88006421743ac3d6d92179937976d4dcea43/ghc

>---------------------------------------------------------------

commit 821a88006421743ac3d6d92179937976d4dcea43
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Sun May 29 23:17:24 2016 -0400

    Fix comments to ghci stuff


>---------------------------------------------------------------

821a88006421743ac3d6d92179937976d4dcea43
 compiler/typecheck/TcSimplify.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcSimplify.hs b/compiler/typecheck/TcSimplify.hs
index 90222ea..a3fc20a 100644
--- a/compiler/typecheck/TcSimplify.hs
+++ b/compiler/typecheck/TcSimplify.hs
@@ -514,11 +514,12 @@ the let binding.
 
 -}
 
--- | How should we infer the type?
+-- | How should we choose which constraints to quantify over?
 data InferMode = ApplyMR          -- ^ Apply the monomorphism restriction,
                                   -- never quantifying over any constraints
                | EagerDefaulting  -- ^ See Note [TcRnExprMode] in TcRnDriver,
-                                  -- the :type +d case
+                                  -- the :type +d case; this mode refuses
+                                  -- to quantify over any defaultable constraint
                | NoRestrictions   -- ^ Quantify over any constraint that
                                   -- satisfies TcType.pickQuantifiablePreds