diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-04-07 22:29:24 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-04-14 20:01:02 +0200 |
| commit | 23e2a8a0d7e626bcc327baab029e8d3ee2c5729b (patch) | |
| tree | 267d37f7dafb11213202702e2231fc9a9cea09cf /compiler/GHC/Unit.hs | |
| parent | 3f2d0eb826cbd6414fe2f31085aec8e20fb2976f (diff) | |
| download | haskell-wip/T22194-flags.tar.gz | |
Make approximateWC a bit clevererwip/T22194-flags
This MR fixes #23224: making approximateWC more clever
See the long `Note [ApproximateWC]` in GHC.Tc.Solver
All this is delicate and ad-hoc -- but it /has/ to be: we are
talking about inferring a type for a binding in the presence of
GADTs, type families and whatnot: known difficult territory.
We just try as hard as we can.
Diffstat (limited to 'compiler/GHC/Unit.hs')
0 files changed, 0 insertions, 0 deletions