summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Errors
diff options
context:
space:
mode:
authorZubin Duggal <zubin.duggal@gmail.com>2022-03-02 14:21:58 +0530
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-03-29 13:07:22 -0400
commit789add55e0f5648981ffba77135b2a525369bf79 (patch)
tree0ada054d9b11af3c650a53f7b076db1cfb147d64 /compiler/GHC/Tc/Errors
parent2c12627caba908153bf0af92459d08e399aa8aad (diff)
downloadhaskell-789add55e0f5648981ffba77135b2a525369bf79.tar.gz
Fix all invalid haddock comments in the compiler
Fixes #20935 and #20924
Diffstat (limited to 'compiler/GHC/Tc/Errors')
-rw-r--r--compiler/GHC/Tc/Errors/Ppr.hs15
1 files changed, 8 insertions, 7 deletions
diff --git a/compiler/GHC/Tc/Errors/Ppr.hs b/compiler/GHC/Tc/Errors/Ppr.hs
index 29da277c8d..de8d893f80 100644
--- a/compiler/GHC/Tc/Errors/Ppr.hs
+++ b/compiler/GHC/Tc/Errors/Ppr.hs
@@ -526,9 +526,10 @@ instance Diagnostic TcRnMessage where
quotes (ppr_name child))
2 (pprNameProvenance gre))
- -- DuplicateRecordFields means that nameOccName might be a mangled
- -- $sel-prefixed thing, in which case show the correct OccName alone
- -- (but otherwise show the Name so it will have a module qualifier)
+ -- DuplicateRecordFields means that nameOccName might be a
+ -- mangled $sel-prefixed thing, in which case show the correct OccName
+ -- alone (but otherwise show the Name so it will have a module
+ -- qualifier)
ppr_name (FieldGreName fl) | flIsOverloaded fl = ppr fl
| otherwise = ppr (flSelector fl)
ppr_name (NormalGreName name) = ppr name
@@ -2984,8 +2985,8 @@ expandSynonymsToMatch ty1 ty2 = (ty1_ret, ty2_ret)
where
(ty1_ret, ty2_ret) = go ty1 ty2
- -- | Returns (type synonym expanded version of first type,
- -- type synonym expanded version of second type)
+ -- Returns (type synonym expanded version of first type,
+ -- type synonym expanded version of second type)
go :: Type -> Type -> (Type, Type)
go t1 t2
| t1 `pickyEqType` t2 =
@@ -3039,7 +3040,7 @@ expandSynonymsToMatch ty1 ty2 = (ty1_ret, ty2_ret)
(if t1_exps > t2_exps then drop dif t1_exp_tys else t1_exp_tys)
(if t2_exps > t1_exps then drop dif t2_exp_tys else t2_exp_tys)
- -- | Expand the top layer type synonyms repeatedly, collect expansions in a
+ -- Expand the top layer type synonyms repeatedly, collect expansions in a
-- list. The list does not include the original type.
--
-- Example, if you have:
@@ -3059,7 +3060,7 @@ expandSynonymsToMatch ty1 ty2 = (ty1_ret, ty2_ret)
tyExpansions :: Type -> [Type]
tyExpansions = unfoldr (\t -> (\x -> (x, x)) `fmap` tcView t)
- -- | Drop the type pairs until types in a pair look alike (i.e. the outer
+ -- Drop the type pairs until types in a pair look alike (i.e. the outer
-- constructors are the same).
followExpansions :: [(Type, Type)] -> (Type, Type)
followExpansions [] = pprPanic "followExpansions" empty