Simon Peyton Jones pushed to branch wip/T23162-part2 at Glasgow Haskell Compiler / GHC
Commits:
-
369e35de
by Simon Peyton Jones at 2025-12-08T15:06:49+00:00
1 changed file:
Changes:
| ... | ... | @@ -2295,7 +2295,7 @@ mkQCErr ctxt items |
| 2295 | 2295 | mkDictErr :: HasDebugCallStack => SolverReportErrCtxt -> NonEmpty ErrorItem -> TcM SolverReport
|
| 2296 | 2296 | -- Includes implict parameters
|
| 2297 | 2297 | mkDictErr ctxt orig_items@(item1 :| others)
|
| 2298 | - | ClassPred cls tys <- classifyPredType (errorItemPred item1)
|
|
| 2298 | + | ClassPred cls _ <- classifyPredType (errorItemPred item1)
|
|
| 2299 | 2299 | , isIPClass cls -- Implicit parameters; no need to look in global instance envts
|
| 2300 | 2300 | = do { (ctxt, binds, item1) <- relevantBindings True ctxt item1
|
| 2301 | 2301 | ; let msg = important ctxt $ UnboundImplicitParams (item1 :| others)
|