diff options
| author | Adam Gundry <adam@well-typed.com> | 2022-10-21 22:20:27 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-05-12 23:49:49 -0400 |
| commit | 4bf9fa0f216bb294c1bd3644363b008a8643a653 (patch) | |
| tree | 5cb834d2e1224d6adbb0ad34597291045f89f87b /testsuite/tests/dependent/should_fail/T11471.stderr | |
| parent | 59aa4676a49b4f9d09c1cd3cc3b47c3c54b6ed80 (diff) | |
| download | haskell-4bf9fa0f216bb294c1bd3644363b008a8643a653.tar.gz | |
Less coercion optimization for non-newtype axioms
See Note [Push transitivity inside newtype axioms only] for an explanation
of the change here. This change substantially improves the performance of
coercion optimization for programs involving transitive type family reductions.
-------------------------
Metric Decrease:
CoOpt_Singletons
LargeRecord
T12227
T12545
T13386
T15703
T5030
T8095
-------------------------
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T11471.stderr')
0 files changed, 0 insertions, 0 deletions