@@ -98,7 +98,7 @@ pshow i (CantResolve c) = "Can't resolve type class " ++ show (delab i c)
9898pshow i (CantResolveAlts as) = "Can't disambiguate name: " ++ showSep ", " as
9999pshow i (NoTypeDecl n) = "No type declaration for " ++ show n
100100pshow i (NoSuchVariable n) = "No such variable " ++ show n
101−pshow i (IncompleteTerm t) = "Incomplete term " ++ show (delab i t)
101+pshow i (IncompleteTerm t) = "Incomplete term " ++ showImp True (delab i t)
102102pshow i UniverseError = "Universe inconsistency"
103103pshow i ProgramLineComment = "Program line next to comment"
104104pshow i (Inaccessible n) = show n ++ " is not an accessible pattern variable"