diff options
| author | Takenobu Tani <takenobu.hs@gmail.com> | 2020-05-30 23:11:59 +0900 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-10 03:39:59 -0400 |
| commit | 2487912938f188cb264e4a11d21bf750adccc5e7 (patch) | |
| tree | 13843cfd8f27bf6f1672a4e37d6af0e04bb34d18 /compiler/GHC/HsToCore/Binds.hs | |
| parent | a47e6442bc4be4a33339499d876792ba109e8d32 (diff) | |
| download | haskell-2487912938f188cb264e4a11d21bf750adccc5e7.tar.gz | |
Clarify leaf module names for new module hierarchy
This updates comments only.
This patch replaces leaf module names according to new module
hierarchy [1][2] as followings:
* Expand leaf names to easily find the module path:
for instance, `Id.hs` to `GHC.Types.Id`.
* Modify leaf names according to new module hierarchy:
for instance, `Convert.hs` to `GHC.ThToHs`.
* Fix typo:
for instance, `GHC.Core.TyCo.Rep.hs` to `GHC.Core.TyCo.Rep`
See also !3375
[1]: https://gitlab.haskell.org/ghc/ghc/-/wikis/Make-GHC-codebase-more-modular
[2]: https://gitlab.haskell.org/ghc/ghc/issues/13009
Diffstat (limited to 'compiler/GHC/HsToCore/Binds.hs')
| -rw-r--r-- | compiler/GHC/HsToCore/Binds.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/HsToCore/Binds.hs b/compiler/GHC/HsToCore/Binds.hs index 4c30aed8ff..8b53e87641 100644 --- a/compiler/GHC/HsToCore/Binds.hs +++ b/compiler/GHC/HsToCore/Binds.hs @@ -156,7 +156,7 @@ dsHsBind dflags b@(FunBind { fun_id = L loc fun -- oracle. -- addTyCsDs: Add type evidence to the refinement type -- predicate of the coverage checker - -- See Note [Type and Term Equality Propagation] in PmCheck + -- See Note [Type and Term Equality Propagation] in "GHC.HsToCore.PmCheck" matchWrapper (mkPrefixFunRhs (L loc (idName fun))) Nothing matches @@ -298,7 +298,7 @@ dsAbsBinds dflags tyvars dicts exports ; let mk_bind (ABE { abe_wrap = wrap , abe_poly = global , abe_mono = local, abe_prags = spec_prags }) - -- See Note [AbsBinds wrappers] in HsBinds + -- See Note [AbsBinds wrappers] in "GHC.Hs.Binds" = do { tup_id <- newSysLocalDs tup_ty ; core_wrap <- dsHsWrapper wrap ; let rhs = core_wrap $ mkLams tyvars $ mkLams dicts $ @@ -962,7 +962,7 @@ Consider After type checking the LHS becomes (foo alpha (C alpha)), where alpha is an unbound meta-tyvar. The zonker in GHC.Tc.Utils.Zonk is careful not to turn the free alpha into Any (as it usually does). Instead it turns it -into a TyVar 'a'. See Note [Zonking the LHS of a RULE] in Ghc.Tc.Syntax. +into a TyVar 'a'. See Note [Zonking the LHS of a RULE] in "GHC.Tc.Utils.Zonk". Now we must quantify over that 'a'. It's /really/ inconvenient to do that in the zonker, because the HsExpr data type is very large. But it's /easy/ |