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