Simon Peyton Jones pushed to branch wip/T23162-part2 at Glasgow Haskell Compiler / GHC
Commits:
-
435c7237
by Simon Peyton Jones at 2025-12-19T08:16:59+00:00
1 changed file:
Changes:
| ... | ... | @@ -4202,7 +4202,7 @@ pprTcSolverReportMsg _ (AmbiguityPreventsSolvingCt item ambigs) = |
| 4202 | 4202 | pprArising (errorItemCtLoc item) $$
|
| 4203 | 4203 | text "prevents the constraint" <+> quotes (pprParendType $ errorItemPred item)
|
| 4204 | 4204 | <+> text "from being solved."
|
| 4205 | -pprTcSolverReportMsg ctxt@(CEC {cec_encl = implics})
|
|
| 4205 | +pprTcSolverReportMsg ctxt
|
|
| 4206 | 4206 | (CannotResolveInstance item unifiers candidates rel_binds mb_HasField_msg)
|
| 4207 | 4207 | = pprWithInvisibleBits invis_bits $
|
| 4208 | 4208 | vcat
|
| ... | ... | @@ -4370,7 +4370,6 @@ pprTcSolverReportMsg ctxt (OverlappingInstances item matches unifiers) = |
| 4370 | 4370 | ])]
|
| 4371 | 4371 | where
|
| 4372 | 4372 | ct_loc = errorItemCtLoc item
|
| 4373 | - orig = ctLocOrigin ct_loc
|
|
| 4374 | 4373 | pred = errorItemPred item
|
| 4375 | 4374 | (clas, tys) = getClassPredTys pred
|
| 4376 | 4375 | tyCoVars = tyCoVarsOfTypesList tys
|