diff options
Diffstat (limited to 'compiler/GHC/Tc/Module.hs')
| -rw-r--r-- | compiler/GHC/Tc/Module.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Module.hs b/compiler/GHC/Tc/Module.hs index 8f3cec19d0..174055bd01 100644 --- a/compiler/GHC/Tc/Module.hs +++ b/compiler/GHC/Tc/Module.hs @@ -2526,8 +2526,9 @@ tcRnExpr hsc_env mode rdr_expr -- Generalise uniq <- newUnique ; let { fresh_it = itName uniq (getLoc rdr_expr) } ; - (qtvs, dicts, _, residual, _) - <- simplifyInfer tclvl infer_mode + ((qtvs, dicts, _, _), residual) + <- captureConstraints $ + simplifyInfer tclvl infer_mode [] {- No sig vars -} [(fresh_it, res_ty)] lie ; |