[commit: ghc] wip/spj-tc-branch: Comments and white space only (7cf5c43)

[git at git.haskell.org]

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

On branch  : wip/spj-tc-branch
Link       : http://ghc.haskell.org/trac/ghc/changeset/7cf5c43b85ab90c4e8b3046cf59c704acab3473f/ghc

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

commit 7cf5c43b85ab90c4e8b3046cf59c704acab3473f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Mon Aug 29 09:04:24 2016 +0100

    Comments and white space only


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

7cf5c43b85ab90c4e8b3046cf59c704acab3473f
 compiler/hsSyn/HsBinds.hs       | 2 +-
 compiler/typecheck/TcRnTypes.hs | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/compiler/hsSyn/HsBinds.hs b/compiler/hsSyn/HsBinds.hs
index 2120e05..236892e 100644
--- a/compiler/hsSyn/HsBinds.hs
+++ b/compiler/hsSyn/HsBinds.hs
@@ -745,7 +745,7 @@ data Sig name
 
       -- | A signature for a class method
       --   False: ordinary class-method signature
-      --   True:  default class method signature
+      --   True:  generic-default class method signature
       -- e.g.   class C a where
       --          op :: a -> a                   -- Ordinary
       --          default op :: Eq a => a -> a   -- Generic default
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs
index 02e53af..78b0091 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -2091,10 +2091,10 @@ ppr_bag doc bag
 
 data Implication
   = Implic {
-      ic_tclvl :: TcLevel, -- TcLevel: unification variables
-                                -- free in the environment
+      ic_tclvl :: TcLevel,       -- TcLevel of unification variables
+                                 -- allocated /inside/ this implication
 
-      ic_skols  :: [TcTyVar],    -- Introduced skolems
+      ic_skols :: [TcTyVar],     -- Introduced skolems
       ic_info  :: SkolemInfo,    -- See Note [Skolems in an implication]
                                  -- See Note [Shadowing in a constraint]