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/Tc/Solver.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/Tc/Solver.hs')
| -rw-r--r-- | compiler/GHC/Tc/Solver.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs index 8736206188..61477af714 100644 --- a/compiler/GHC/Tc/Solver.hs +++ b/compiler/GHC/Tc/Solver.hs @@ -795,7 +795,7 @@ It does *not* reduce type or data family applications or look through newtypes. Why is this useful? As one example, when coverage-checking an EmptyCase expression, it's possible that the type of the scrutinee will only reduce if some local equalities are solved for. See "Wrinkle: Local equalities" -in Note [Type normalisation] in Check. +in Note [Type normalisation] in "GHC.HsToCore.PmCheck". To accomplish its stated goal, tcNormalise first feeds the local constraints into solveSimpleGivens, then uses flattenType to simplify the desired type |