diff options
| author | Takenobu Tani <takenobu.hs@gmail.com> | 2020-05-29 18:48:51 +0900 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-01 06:39:05 -0400 |
| commit | 8f2e5732b0eec2d99b821a7f622aee8b2c00739a (patch) | |
| tree | 6f6f69d9441987b95d1a1284cb879cb29a4f221e /compiler/GHC/HsToCore | |
| parent | 11390e3ab038a18c2a7bf6b2423657614a439afb (diff) | |
| download | haskell-8f2e5732b0eec2d99b821a7f622aee8b2c00739a.tar.gz | |
Modify file paths to module paths for new module hierarchy
This updates comments only.
This patch replaces module references according to new module
hierarchy [1][2].
For files under the `compiler/` directory, I replace them as
module paths instead of file paths. For instance,
`GHC.Unit.State` instead of `compiler/GHC/Unit/State.hs` [3].
For current and future haddock's markup, this patch encloses
the module name with "" [4].
[1]: https://gitlab.haskell.org/ghc/ghc/-/wikis/Make-GHC-codebase-more-modular
[2]: https://gitlab.haskell.org/ghc/ghc/issues/13009
[3]: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3375#note_276613
[4]: https://haskell-haddock.readthedocs.io/en/latest/markup.html#linking-to-modules
Diffstat (limited to 'compiler/GHC/HsToCore')
| -rw-r--r-- | compiler/GHC/HsToCore/PmCheck/Oracle.hs | 4 | ||||
| -rw-r--r-- | compiler/GHC/HsToCore/PmCheck/Types.hs | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/HsToCore/PmCheck/Oracle.hs b/compiler/GHC/HsToCore/PmCheck/Oracle.hs index b2a4587b1b..b16b5e5907 100644 --- a/compiler/GHC/HsToCore/PmCheck/Oracle.hs +++ b/compiler/GHC/HsToCore/PmCheck/Oracle.hs @@ -1276,7 +1276,7 @@ for all other cases, apart from EmptyCase). This gave rise to #10746. Instead, we do the following: 1. We normalise the outermost type family redex, data family redex or newtype, - using pmTopNormaliseType (in GHC/Core/FamInstEnv.hs). This computes 3 + using pmTopNormaliseType (in "GHC.Core.FamInstEnv"). This computes 3 things: (a) A normalised type src_ty, which is equal to the type of the scrutinee in source Haskell (does not normalise newtypes or data families) @@ -1291,7 +1291,7 @@ we do the following: newtype rewrite performed in (b). For an example see also Note [Type normalisation] - in GHC/Core/FamInstEnv.hs. + in "GHC.Core.FamInstEnv". 2. Function Check.checkEmptyCase' performs the check: - If core_ty is not an algebraic type, then we cannot check for diff --git a/compiler/GHC/HsToCore/PmCheck/Types.hs b/compiler/GHC/HsToCore/PmCheck/Types.hs index 8740c9acdb..0c3c9f3286 100644 --- a/compiler/GHC/HsToCore/PmCheck/Types.hs +++ b/compiler/GHC/HsToCore/PmCheck/Types.hs @@ -271,7 +271,7 @@ The impact of this treatment of overloaded literals is the following: * We have instant equality check for overloaded literals (we do not rely on the term oracle which is rather expensive, both in terms of performance and memory). This significantly improves the performance of functions `covered` - `uncovered` and `divergent` in GHC/HsToCore/PmCheck.hs and effectively addresses + `uncovered` and `divergent` in "GHC.HsToCore.PmCheck" and effectively addresses #11161. * The warnings issued are simpler. |