@@ -98,7 +98,7 @@ pshow i (CantResolve c) = "Can't resolve type class " ++ show (delab i c)
98pshow i (CantResolveAlts as) = "Can't disambiguate name: " ++ showSep ", " as
98pshow i (CantResolveAlts as) = "Can't disambiguate name: " ++ showSep ", " as
99pshow i (NoTypeDecl n) = "No type declaration for " ++ show n
99pshow i (NoTypeDecl n) = "No type declaration for " ++ show n
100pshow i (NoSuchVariable n) = "No such variable " ++ show n
100pshow 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)
102pshow i UniverseError = "Universe inconsistency"
102pshow i UniverseError = "Universe inconsistency"
103pshow i ProgramLineComment = "Program line next to comment"
103pshow i ProgramLineComment = "Program line next to comment"
104pshow i (Inaccessible n) = show n ++ " is not an accessible pattern variable"
104pshow i (Inaccessible n) = show n ++ " is not an accessible pattern variable"