@@ -747,24 +747,28 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
747747-- Pretty print multiple errors
748748--
749749prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
750−prettyPrintMultipleErrors full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error found:" "Multiple errors found:" full
750+prettyPrintMultipleErrors full = renderBox . prettyPrintMultipleErrorsBox full
751751
752752-- |
753753-- Pretty print multiple warnings
754754--
755755prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
756−prettyPrintMultipleWarnings full = flip evalState M.empty . prettyPrintMultipleErrorsWith Warning "Warning found:" "Multiple warnings found:" full
756+prettyPrintMultipleWarnings full = renderBox . flip evalState M.empty . prettyPrintMultipleErrorsWith Warning "Warning found:" "Multiple warnings found:" full
757757
758−prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap String
758+-- | Pretty print errors as a Box
759+prettyPrintMultipleErrorsBox :: Bool -> MultipleErrors -> Box.Box
760+prettyPrintMultipleErrorsBox full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error found:" "Multiple errors found:" full
761+
762+prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap Box.Box
759763prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do
760764 result <- prettyPrintSingleError full level e
761− return $ renderBox $
765+ return $
762766 Box.vcat Box.left [ Box.text intro
763767 , result
764768 ]
765769prettyPrintMultipleErrorsWith level _ intro full (MultipleErrors es) = do
766770 result <- forM es $ (liftM $ Box.moveRight 2) . prettyPrintSingleError full level
767− return $ renderBox $
771+ return $
768772 Box.vcat Box.left [ Box.text intro
769773 , Box.vsep 1 Box.left result
770774 ]