Commit 505a518b authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Comments and white space only

parent ec3edd56
......@@ -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
......
......@@ -2097,8 +2097,8 @@ 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_info :: SkolemInfo, -- See Note [Skolems in an implication]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment