[commit: ghc] master: Comments and white space only (505a518)

git at git.haskell.org git at git.haskell.org
Tue Sep 13 15:35:30 UTC 2016


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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/505a518b07edc61db763eadad46d48a3671d6f2e/ghc

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

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

    Comments and white space only


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

505a518b07edc61db763eadad46d48a3671d6f2e
 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 61b00f3..9bfebd5 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -2097,10 +2097,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]
 



More information about the ghc-commits mailing list