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/ThToHs.hs | |
| 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/ThToHs.hs')
| -rw-r--r-- | compiler/GHC/ThToHs.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/ThToHs.hs b/compiler/GHC/ThToHs.hs index 556b251f4c..d5b4ef28f1 100644 --- a/compiler/GHC/ThToHs.hs +++ b/compiler/GHC/ThToHs.hs @@ -2032,7 +2032,7 @@ with the following parts: Due to the two forall quantifiers and constraint contexts (either of which might be empty), pattern synonym type signatures are treated specially in `GHC.HsToCore.Quote`, `GHC.ThToHs`, and -`typecheck/GHC.Tc.Gen.Splice.hs`: +`GHC.Tc.Gen.Splice`: (a) When desugaring a pattern synonym from HsSyn to TH.Dec in `GHC.HsToCore.Quote`, we represent its *full* type signature in TH, i.e.: @@ -2041,7 +2041,7 @@ specially in `GHC.HsToCore.Quote`, `GHC.ThToHs`, and (where ty is the AST representation of t1 -> t2 -> ... -> tn -> t) (b) When converting pattern synonyms from TH.Dec to HsSyn in - `GHC/ThToHs.hs`, we convert their TH type signatures back to an + `GHC.ThToHs`, we convert their TH type signatures back to an appropriate Haskell pattern synonym type of the form forall univs. reqs => forall exis. provs => t1 -> t2 -> ... -> tn -> t @@ -2049,7 +2049,7 @@ specially in `GHC.HsToCore.Quote`, `GHC.ThToHs`, and where initial empty `univs` type variables or an empty `reqs` constraint context are represented *explicitly* as `() =>`. - (c) When reifying a pattern synonym in `typecheck/GHC.Tc.Gen.Splice.hs`, we always + (c) When reifying a pattern synonym in `GHC.Tc.Gen.Splice`, we always return its *full* type, i.e.: ForallT univs reqs (ForallT exis provs ty) |