@@ -747,24 +747,28 @@ prettyPrintSingleError full level e = prettyPrintErrorMessage <$> onTypesInError
747-- Pretty print multiple errors
747-- Pretty print multiple errors
749prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
749prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
750−prettyPrintMultipleErrors full = flip evalState M.empty . prettyPrintMultipleErrorsWith Error "Error found:" "Multiple errors found:" full
750+prettyPrintMultipleErrors full = renderBox . prettyPrintMultipleErrorsBox full
753-- Pretty print multiple warnings
753-- Pretty print multiple warnings
755prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
755prettyPrintMultipleWarnings :: 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
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
758−prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap String
762+prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> State UnknownMap Box.Box
759prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do
763prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) = do
760 result <- prettyPrintSingleError full level e
764 result <- prettyPrintSingleError full level e
761− return $ renderBox $
765+ return $
762 Box.vcat Box.left [ Box.text intro
766 Box.vcat Box.left [ Box.text intro
765prettyPrintMultipleErrorsWith level _ intro full (MultipleErrors es) = do
769prettyPrintMultipleErrorsWith level _ intro full (MultipleErrors es) = do
766 result <- forM es $ (liftM $ Box.moveRight 2) . prettyPrintSingleError full level
770 result <- forM es $ (liftM $ Box.moveRight 2) . prettyPrintSingleError full level
767− return $ renderBox $
771+ return $
768 Box.vcat Box.left [ Box.text intro
772 Box.vcat Box.left [ Box.text intro
769 , Box.vsep 1 Box.left result
773 , Box.vsep 1 Box.left result