summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-01-30 08:45:46 -0500
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-02-01 12:29:26 -0500
commit06185102bb06d6d56e00d40172a6a473fc228501 (patch)
tree55d92897b9688ea6e1597fad2c33c1e13d1e0053 /compiler/GHC/Tc/Utils
parentfdda93b03e9be56122dd8445e7ee0f1d0f933a19 (diff)
downloadhaskell-06185102bb06d6d56e00d40172a6a473fc228501.tar.gz
Consistently upper-case "Note ["
This was achieved with git ls-tree --name-only HEAD -r | xargs sed -i -e 's/note \[/Note \[/g'
Diffstat (limited to 'compiler/GHC/Tc/Utils')
-rw-r--r--compiler/GHC/Tc/Utils/TcMType.hs2
-rw-r--r--compiler/GHC/Tc/Utils/TcType.hs2
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Utils/TcMType.hs b/compiler/GHC/Tc/Utils/TcMType.hs
index 3a0fdca51a..c510d29f63 100644
--- a/compiler/GHC/Tc/Utils/TcMType.hs
+++ b/compiler/GHC/Tc/Utils/TcMType.hs
@@ -1971,7 +1971,7 @@ skolemiseUnboundMetaTyVar skol_info tv
; return final_tv }
where
check_empty tv -- [Sept 04] Check for non-empty.
- = when debugIsOn $ -- See note [Silly Type Synonym]
+ = when debugIsOn $ -- See Note [Silly Type Synonym]
do { cts <- readMetaTyVar tv
; case cts of
Flexi -> return ()
diff --git a/compiler/GHC/Tc/Utils/TcType.hs b/compiler/GHC/Tc/Utils/TcType.hs
index 363ece84b2..ae35cea3a2 100644
--- a/compiler/GHC/Tc/Utils/TcType.hs
+++ b/compiler/GHC/Tc/Utils/TcType.hs
@@ -1804,7 +1804,7 @@ pickQuantifiablePreds qtvs theta
-> Nothing
| isIPClass cls
- -> Just pred -- See note [Inheriting implicit parameters]
+ -> Just pred -- See Note [Inheriting implicit parameters]
| pick_cls_pred flex_ctxt cls tys
-> Just pred