diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-05-14 13:52:44 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-24 01:55:24 -0400 |
| commit | a426abb9b41de6097e888b9fdca7b275306b17c9 (patch) | |
| tree | 0ffe12ea44262510e2bf3f1ce979849aef9fd171 /compiler/GHC/Rename | |
| parent | 37430251c3f684c46e893552dba78653d80e5243 (diff) | |
| download | haskell-a426abb9b41de6097e888b9fdca7b275306b17c9.tar.gz | |
Rename GHC.Hs.Types into GHC.Hs.Type
See discussion in https://gitlab.haskell.org/ghc/ghc/issues/13009#note_268610
Diffstat (limited to 'compiler/GHC/Rename')
| -rw-r--r-- | compiler/GHC/Rename/HsType.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/GHC/Rename/HsType.hs b/compiler/GHC/Rename/HsType.hs index 35e683652e..5f82f6935a 100644 --- a/compiler/GHC/Rename/HsType.hs +++ b/compiler/GHC/Rename/HsType.hs @@ -101,7 +101,7 @@ data HsSigWcTypeScoping -- This only applies to RULES that do not explicitly bind their type -- variables. If a RULE explicitly quantifies its type variables, then -- 'NeverBind' is used instead. See also - -- @Note [Pattern signature binders and scoping]@ in "GHC.Hs.Types". + -- @Note [Pattern signature binders and scoping]@ in "GHC.Hs.Type". | BindUnlessForall -- ^ Unless there's forall at the top, do the same thing as 'AlwaysBind'. -- This is only ever used in places where the \"@forall@-or-nothing\" rule @@ -118,7 +118,7 @@ data HsSigWcTypeScoping -- but if the user had written @(y :: b)@ instead of @y@ in the term -- variable binders, then @b@ would be rejected for being out of scope. -- See also @Note [Pattern signature binders and scoping]@ in - -- "GHC.Hs.Types". + -- "GHC.Hs.Type". rnHsSigWcType :: HsDocContext -> Maybe SDoc @@ -143,7 +143,7 @@ rnHsPatSigType :: HsSigWcTypeScoping -- ScopedTypeVariables isn't enabled -- Wildcards are allowed -- --- See Note [Pattern signature binders and scoping] in GHC.Hs.Types +-- See Note [Pattern signature binders and scoping] in GHC.Hs.Type rnHsPatSigType scoping ctx inf_err sig_ty thing_inside = do { ty_sig_okay <- xoptM LangExt.ScopedTypeVariables ; checkErr ty_sig_okay (unexpectedPatSigTypeErr sig_ty) @@ -298,7 +298,7 @@ partition_nwcs free_vars ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Identifiers starting with an underscore are always parsed as type variables. It is only here in the renamer that we give the special treatment. -See Note [The wildcard story for types] in GHC.Hs.Types. +See Note [The wildcard story for types] in GHC.Hs.Type. It's easy! When we collect the implicitly bound type variables, ready to bring them into scope, and NamedWildCards is on, we partition the |