diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2022-04-08 09:50:17 +0200 |
|---|---|---|
| committer | Sebastian Graf <sebastian.graf@kit.edu> | 2022-04-12 17:54:58 +0200 |
| commit | b06f4f470b6bbe296cc828f8698e9d55cca39d73 (patch) | |
| tree | c0c9a9d203bcb1e23e9808054e6b8c863bae8871 /compiler/GHC/Driver/Errors/Ppr.hs | |
| parent | 4d2ee313f23a4454d12c9f94ff132f078dd64d31 (diff) | |
| download | haskell-b06f4f470b6bbe296cc828f8698e9d55cca39d73.tar.gz | |
Specialise: Check `typeDeterminesValue` before specialising on an interesting dictionarywip/T19644
I extracted the checks from `Note [Type determines value]` into its own
function, so that we share the logic properly. Then I made sure that we
actually call `typeDeterminesValue` everywhere we check for `interestingDict`.
Diffstat (limited to 'compiler/GHC/Driver/Errors/Ppr.hs')
0 files changed, 0 insertions, 0 deletions