@@ -354,11 +354,11 @@ pprintErr' i (IncompleteTerm t)
354354 = align (cat (punctuate (comma <> space)
355355 (map pprintIncomplete (nub $ getMissing [] [] t))))
356356 where
357− pprintIncomplete (fn, arg)
357+ pprintIncomplete (tm, arg)
358358 = text "Can't infer argument" <+> annName arg <+> text "to" <+>
359− annName fn
359+ annTm tm (pprintTerm i (delabSugared i tm))
360360
361− getMissing :: [Name] -> [Name] -> Term -> [(Name, Name)]
361+ getMissing :: [Name] -> [Name] -> Term -> [(Term, Name)]
362362 getMissing hs env (Bind n (Hole ty) sc)
363363 = getMissing (n : hs) (n : env) sc
364364 getMissing hs env (Bind n (Guess _ _) sc)
@@ -371,7 +371,7 @@ pprintErr' i (IncompleteTerm t)
371371 = getMissing hs env (binderTy b) ++
372372 getMissing hs (n : env) sc
373373 getMissing hs env ap@(App _ _ _)
374− | (P _ n _, args) <- unApply ap = getMissingArgs n args
374+ | (fn@(P _ n _), args) <- unApply ap = getMissingArgs fn args
375375 where
376376 getMissingArgs n [] = []
377377 getMissingArgs n (V i : as)