From 06185102bb06d6d56e00d40172a6a473fc228501 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Sun, 30 Jan 2022 08:45:46 -0500 Subject: Consistently upper-case "Note [" This was achieved with git ls-tree --name-only HEAD -r | xargs sed -i -e 's/note \[/Note \[/g' --- compiler/GHC/Types/TyThing.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/GHC/Types/TyThing.hs') diff --git a/compiler/GHC/Types/TyThing.hs b/compiler/GHC/Types/TyThing.hs index ad57abf773..8a12506a63 100644 --- a/compiler/GHC/Types/TyThing.hs +++ b/compiler/GHC/Types/TyThing.hs @@ -139,7 +139,7 @@ Examples: -- names returned by 'GHC.Iface.Load.ifaceDeclImplicitBndrs', in the sense that -- TyThing.getOccName should define a bijection between the two lists. -- This invariant is used in 'GHC.IfaceToCore.tc_iface_decl_fingerprint' (see --- note [Tricky iface loop]) +-- Note [Tricky iface loop]) -- The order of the list does not matter. implicitTyThings :: TyThing -> [TyThing] implicitTyThings (AnId _) = [] -- cgit v1.2.1