diff options
Diffstat (limited to 'compiler/GHC/Types/Var.hs')
-rw-r--r-- | compiler/GHC/Types/Var.hs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/compiler/GHC/Types/Var.hs b/compiler/GHC/Types/Var.hs index 8baa5750f1..058b6ffc03 100644 --- a/compiler/GHC/Types/Var.hs +++ b/compiler/GHC/Types/Var.hs @@ -14,20 +14,20 @@ -- #name_types# -- GHC uses several kinds of name internally: -- --- * 'OccName.OccName': see "OccName#name_types" +-- * 'GHC.Types.Name.Occurrence.OccName': see "GHC.Types.Name.Occurrence#name_types" -- --- * 'RdrName.RdrName': see "RdrName#name_types" +-- * 'GHC.Types.Name.Reader.RdrName': see "GHC.Types.Name.Reader#name_types" -- --- * 'Name.Name': see "Name#name_types" +-- * 'GHC.Types.Name.Name': see "GHC.Types.Name#name_types" -- --- * 'Id.Id': see "Id#name_types" +-- * 'GHC.Types.Id.Id': see "GHC.Types.Id#name_types" -- --- * 'Var.Var' is a synonym for the 'Id.Id' type but it may additionally +-- * 'GHC.Types.Var.Var' is a synonym for the 'GHC.Types.Id.Id' type but it may additionally -- potentially contain type variables, which have a 'GHC.Core.TyCo.Rep.Kind' -- rather than a 'GHC.Core.TyCo.Rep.Type' and only contain some extra -- details during typechecking. -- --- These 'Var.Var' names may either be global or local, see "Var#globalvslocal" +-- These 'Var' names may either be global or local, see "GHC.Types.Var#globalvslocal" -- -- #globalvslocal# -- Global 'Id's and 'Var's are those that are imported or correspond @@ -443,7 +443,7 @@ updateVarTypeM upd var -- Is something required to appear in source Haskell ('Required'), -- permitted by request ('Specified') (visible type application), or -- prohibited entirely from appearing in source Haskell ('Inferred')? --- See Note [VarBndrs, TyCoVarBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep +-- See Note [VarBndrs, TyCoVarBinders, TyConBinders, and visibility] in "GHC.Core.TyCo.Rep" data ArgFlag = Invisible Specificity | Required deriving (Eq, Ord, Data) @@ -615,7 +615,7 @@ data VarBndr var argf = Bndr var argf -- -- A 'TyCoVarBinder' is the binder of a ForAllTy -- It's convenient to define this synonym here rather its natural --- home in GHC.Core.TyCo.Rep, because it's used in GHC.Core.DataCon.hs-boot +-- home in "GHC.Core.TyCo.Rep", because it's used in GHC.Core.DataCon.hs-boot -- -- A 'TyVarBinder' is a binder with only TyVar type TyCoVarBinder = VarBndr TyCoVar ArgFlag |