@@ -199,7 +199,9 @@ pprintProv i e ExpectedType = text "Expected type"
199199pprintProv i e InferredVal = text "Inferred value"
200200pprintProv i e GivenVal = text "Given value"
201201pprintProv i e (SourceTerm tm)
202− = text "Type of " <> pprintTerm' i (zip (map fst e) (repeat False)) (delab i tm)
202+ = text "Type of " <>
203+ annotate (AnnTerm (zip (map fst e) (repeat False)) tm)
204+ (pprintTerm' i (zip (map fst e) (repeat False)) (delab i tm))
203205
204206pprintErr :: IState -> Err -> Doc OutputAnnotation
205207pprintErr i err = pprintErr' i (fmap (errReverse i) err)