diff options
| author | Adam Gundry <adam@well-typed.com> | 2022-10-23 21:09:39 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-05-12 23:49:49 -0400 |
| commit | dc0c957439c2fae14547de24ff665fc4f5db56a7 (patch) | |
| tree | 57d279e226efc6d80b429ce8fe08d63bb54901fb /compiler/GHC/Tc/Solver/Rewrite.hs | |
| parent | 4bf9fa0f216bb294c1bd3644363b008a8643a653 (diff) | |
| download | haskell-dc0c957439c2fae14547de24ff665fc4f5db56a7.tar.gz | |
Move checkAxInstCo to GHC.Core.Lint
A consequence of the previous change is that checkAxInstCo is no longer
called during coercion optimization, so it can be moved back where it belongs.
Also includes some edits to Note [Conflict checking with AxiomInstCo] as
suggested by @simonpj.
Diffstat (limited to 'compiler/GHC/Tc/Solver/Rewrite.hs')
0 files changed, 0 insertions, 0 deletions