diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-05-11 14:31:57 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-05-12 19:28:00 -0400 |
| commit | d683b2e5b91a39a2bf16796f5800f605a0281004 (patch) | |
| tree | e9d561ed4b7901c62fcb949d9181e169f6af9952 /distrib/configure.ac.in | |
| parent | 5ad776abbb7c72d65d2ae27de5b2ec48b6e72cde (diff) | |
| download | haskell-d683b2e5b91a39a2bf16796f5800f605a0281004.tar.gz | |
Fix coercion optimisation for SelCo (#23362)
setNominalRole_maybe is supposed to output a nominal coercion.
In the SelCo case, it was not updating the stored role to Nominal,
causing #23362.
Diffstat (limited to 'distrib/configure.ac.in')
0 files changed, 0 insertions, 0 deletions