add some extra errors for `diff`
commit133b5123126335cd7c594832bbe8bdafba454a63
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 11 Jun 2019, 11:17 (7 years ago)
parent61dabf0
builder/src/Reporting/Exit.hs+3
@@ -116,13 +116,16 @@ initToReport exit =
116116
117117data Diff
118118 = DiffNoOutline
119+ | DiffBadOutline Outline
119120 | DiffApplication
121+ | DiffNoExposed
120122 | DiffUnpublished
121123 | DiffUnknownPackage Pkg.Name [Pkg.Name]
122124 | DiffUnknownVersion Pkg.Name V.Version [V.Version]
123125 | DiffDocsProblem DocsProblem
124126 | DiffBadRegistry RegistryProblem
125127 | DiffBadDetails Details
128+ | DiffBadBuild BuildProblem
126129
127130
128131diffToReport :: Diff -> Help.Report