diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-10-11 16:17:41 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-10-11 16:17:41 +0100 |
| commit | 13fdca3d174ff15ac347c5db78370f457a3013ee (patch) | |
| tree | d722a90609f17f1c819fbdaa1c870928b232d226 /compiler | |
| parent | 4bb54a4522d44a81b2c47233f48252bd73c38279 (diff) | |
| download | haskell-13fdca3d174ff15ac347c5db78370f457a3013ee.tar.gz | |
Add a missing zonk in TcDerivInfer.simplifyDeriv
I'm astonished that anything worked without this!
Fixes Trac #14339
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcDerivInfer.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/typecheck/TcDerivInfer.hs b/compiler/typecheck/TcDerivInfer.hs index f598e70b99..9095977a07 100644 --- a/compiler/typecheck/TcDerivInfer.hs +++ b/compiler/typecheck/TcDerivInfer.hs @@ -676,6 +676,8 @@ simplifyDeriv pred tvs thetas -- Simplify the constraints ; solved_implics <- runTcSDeriveds $ solveWantedsAndDrop $ unionsWC wanteds + -- It's not yet zonked! Obviously zonk it before peering at it + ; solved_implics <- zonkWC solved_implics -- See [STEP DAC HOIST] -- Split the resulting constraints into bad and good constraints, |