Comments and white space only
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 29 Aug 2016 08:04:24 +0000 (09:04 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 13 Sep 2016 13:38:20 +0000 (14:38 +0100)
compiler/hsSyn/HsBinds.hs
compiler/typecheck/TcRnTypes.hs

index 2120e05..236892e 100644 (file)
@@ -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
index 61b00f3..9bfebd5 100644 (file)
@@ -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]