use new error name for when build fails on local files
commit2f5e741706d3b27c876c536018601115f7e67bcb
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 24 Jun 2019, 16:50 (7 years ago)
parent8f7a976
builder/src/Reporting.hs+2−2
@@ -364,10 +364,10 @@ toFinalMessage done result =
364364
365365 Left problem ->
366366 case problem of
367− Exit.BuildModuleProblems _ [] ->
367+ Exit.BuildBadModules _ [] ->
368368 "Detected problems in 1 module."
369369
370− Exit.BuildModuleProblems _ (_:ps) ->
370+ Exit.BuildBadModules _ (_:ps) ->
371371 "Detected problems in " ++ show (2 + length ps) ++ " modules."
372372
373373 Exit.BuildProjectProblem _ ->