diff options
| author | Takenobu Tani <takenobu.hs@gmail.com> | 2020-05-27 22:43:46 +0900 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-06-01 06:39:05 -0400 |
| commit | 11390e3ab038a18c2a7bf6b2423657614a439afb (patch) | |
| tree | eccde174cd2054fd87e89da0f6aa5eac2f1dd744 /compiler/GHC/Core/Coercion | |
| parent | 7002d0cbbe1581dd157b530e95c62195f37cfe00 (diff) | |
| download | haskell-11390e3ab038a18c2a7bf6b2423657614a439afb.tar.gz | |
Clean up file paths for new module hierarchy
This updates comments only.
This patch replaces file references according to new module hierarchy.
See also:
* https://gitlab.haskell.org/ghc/ghc/-/wikis/Make-GHC-codebase-more-modular
* https://gitlab.haskell.org/ghc/ghc/issues/13009
Diffstat (limited to 'compiler/GHC/Core/Coercion')
| -rw-r--r-- | compiler/GHC/Core/Coercion/Opt.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Coercion/Opt.hs b/compiler/GHC/Core/Coercion/Opt.hs index e8a276e9ed..5b53936354 100644 --- a/compiler/GHC/Core/Coercion/Opt.hs +++ b/compiler/GHC/Core/Coercion/Opt.hs @@ -866,7 +866,7 @@ False) and that all is OK. But, all is not OK: we want to use the first branch of the axiom in this case, not the second. The problem is that the parameters of the first branch can unify with the supplied coercions, thus meaning that the first branch should be taken. See also Note [Apartness] in -types/FamInstEnv.hs. +GHC/Core/FamInstEnv.hs. Note [Why call checkAxInstCo during optimisation] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |