@@ -1181,31 +1181,32 @@ prettyPrintRef (PositionedDeclarationRef _ _ ref) = prettyPrintExport ref
1181-- Pretty print multiple errors
1181-- Pretty print multiple errors
1183prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
1183prettyPrintMultipleErrors :: Bool -> MultipleErrors -> String
1184−prettyPrintMultipleErrors full = renderBox . prettyPrintMultipleErrorsBox full
1184+prettyPrintMultipleErrors full = unlines . map renderBox . prettyPrintMultipleErrorsBox full
1187-- Pretty print multiple warnings
1187-- Pretty print multiple warnings
1189−prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
1189+prettyPrintMultipleWarnings :: Bool -> MultipleErrors -> String
1190−prettyPrintMultipleWarnings full = renderBox . prettyPrintMultipleWarningsBox full
1190+prettyPrintMultipleWarnings full = unlines . map renderBox . prettyPrintMultipleWarningsBox full
1192-- | Pretty print warnings as a Box
1192-- | Pretty print warnings as a Box
1193−prettyPrintMultipleWarningsBox :: Bool -> MultipleErrors -> Box.Box
1193+prettyPrintMultipleWarningsBox :: Bool -> MultipleErrors -> [Box.Box]
1194prettyPrintMultipleWarningsBox full = prettyPrintMultipleErrorsWith Warning "Warning found:" "Warning" full
1194prettyPrintMultipleWarningsBox full = prettyPrintMultipleErrorsWith Warning "Warning found:" "Warning" full
1196-- | Pretty print errors as a Box
1196-- | Pretty print errors as a Box
1197−prettyPrintMultipleErrorsBox :: Bool -> MultipleErrors -> Box.Box
1197+prettyPrintMultipleErrorsBox :: Bool -> MultipleErrors -> [Box.Box]
1198prettyPrintMultipleErrorsBox full = prettyPrintMultipleErrorsWith Error "Error found:" "Error" full
1198prettyPrintMultipleErrorsBox full = prettyPrintMultipleErrorsWith Error "Error found:" "Error" full
1200−prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> Box.Box
1200+prettyPrintMultipleErrorsWith :: Level -> String -> String -> Bool -> MultipleErrors -> [Box.Box]
1201prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) =
1201prettyPrintMultipleErrorsWith level intro _ full (MultipleErrors [e]) =
1202 let result = prettyPrintSingleError full level True e
1202 let result = prettyPrintSingleError full level True e
1203− in Box.vcat Box.left [ Box.text intro
1203+ in [ Box.vcat Box.left [ Box.text intro
1204− , result
1204+ , result
1206prettyPrintMultipleErrorsWith level _ intro full (MultipleErrors es) =
1207prettyPrintMultipleErrorsWith level _ intro full (MultipleErrors es) =
1207 let result = map (prettyPrintSingleError full level True) es
1208 let result = map (prettyPrintSingleError full level True) es
1208− in Box.vsep 1 Box.left $ concat $ zipWith withIntro [1 :: Int ..] result
1209+ in concat $ zipWith withIntro [1 :: Int ..] result
1210 withIntro i err = [ Box.text (intro ++ " " ++ show i ++ " of " ++ show (length es) ++ ":")
1211 withIntro i err = [ Box.text (intro ++ " " ++ show i ++ " of " ++ show (length es) ++ ":")
1211 , Box.moveRight 2 err
1212 , Box.moveRight 2 err