diff options
Diffstat (limited to 'compiler/GHC/Types')
| -rw-r--r-- | compiler/GHC/Types/Name.hs | 1 | ||||
| -rw-r--r-- | compiler/GHC/Types/Name/Occurrence.hs | 1 | ||||
| -rw-r--r-- | compiler/GHC/Types/Tickish.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Types/Var.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Types/Var/Env.hs | 1 |
5 files changed, 5 insertions, 2 deletions
diff --git a/compiler/GHC/Types/Name.hs b/compiler/GHC/Types/Name.hs index b34f32de43..d919919e81 100644 --- a/compiler/GHC/Types/Name.hs +++ b/compiler/GHC/Types/Name.hs @@ -199,6 +199,7 @@ TL;DR: we make the `n_occ` field lazy. {- Note [About the NameSorts] +~~~~~~~~~~~~~~~~~~~~~~~~~~ 1. Initially, top-level Ids (including locally-defined ones) get External names, and all other local Ids get Internal names diff --git a/compiler/GHC/Types/Name/Occurrence.hs b/compiler/GHC/Types/Name/Occurrence.hs index cb98413279..7aabf83dd9 100644 --- a/compiler/GHC/Types/Name/Occurrence.hs +++ b/compiler/GHC/Types/Name/Occurrence.hs @@ -132,6 +132,7 @@ data NameSpace = VarName -- Variables, including "real" data constructors deriving( Eq, Ord ) -- Note [Data Constructors] +-- ~~~~~~~~~~~~~~~~~~~~~~~~ -- see also: Note [Data Constructor Naming] in GHC.Core.DataCon -- -- $real_vs_source_data_constructors diff --git a/compiler/GHC/Types/Tickish.hs b/compiler/GHC/Types/Tickish.hs index 30827bb1fb..480bb2befd 100644 --- a/compiler/GHC/Types/Tickish.hs +++ b/compiler/GHC/Types/Tickish.hs @@ -59,7 +59,7 @@ data TickishPass {- Note [Tickish passes] - + ~~~~~~~~~~~~~~~~~~~~~ Tickish annotations store different information depending on where they are used. Here's a summary of the differences between the passes. diff --git a/compiler/GHC/Types/Var.hs b/compiler/GHC/Types/Var.hs index 5ca0d00028..0a6dc6079a 100644 --- a/compiler/GHC/Types/Var.hs +++ b/compiler/GHC/Types/Var.hs @@ -620,7 +620,7 @@ Currently there are nine different uses of 'VarBndr': * TyCon.TyConTyCoBinder = VarBndr TyCoVar TyConBndrVis Binders of a PromotedDataCon - See Note [Promoted GADT data construtors] in GHC.Core.TyCon + See Note [Promoted GADT data constructors] in GHC.Core.TyCon * IfaceType.IfaceForAllBndr = VarBndr IfaceBndr ArgFlag * IfaceType.IfaceForAllSpecBndr = VarBndr IfaceBndr Specificity diff --git a/compiler/GHC/Types/Var/Env.hs b/compiler/GHC/Types/Var/Env.hs index 683face5c9..55ea2a0dda 100644 --- a/compiler/GHC/Types/Var/Env.hs +++ b/compiler/GHC/Types/Var/Env.hs @@ -324,6 +324,7 @@ rnBndr2_var (RV2 { envL = envL, envR = envR, in_scope = in_scope }) bL bR | otherwise = uniqAway' in_scope bL -- Note [Rebinding] + -- ~~~~~~~~~~~~~~~~ -- If the new var is the same as the old one, note that -- the extendVarEnv *deletes* any current renaming -- E.g. (\x. \x. ...) ~ (\y. \z. ...) |