on master help sign in
add wildcard for BuildID when destructuring details
fa1971bEvan Czaplicki
terminal/src/Develop/Generate/Index.hs+1−1
@@ -174,7 +174,7 @@ getExactDeps maybeOutline =
174 Left _ ->
174 Left _ ->
175 return Map.empty
175 return Map.empty
176
176
177− Right (Details.Details _ validOutline _ _ _) ->
177+ Right (Details.Details _ validOutline _ _ _ _) ->
178 case validOutline of
178 case validOutline of
179 Details.ValidApp _ ->
179 Details.ValidApp _ ->
180 return Map.empty
180 return Map.empty
terminal/src/Make.hs+1−1
@@ -139,7 +139,7 @@ getMode debug optimize =
139
139
140
140
141getExposed :: Details.Details -> Task (NE.List ModuleName.Raw)
141getExposed :: Details.Details -> Task (NE.List ModuleName.Raw)
142−getExposed (Details.Details _ validOutline _ _ _) =
142+getExposed (Details.Details _ validOutline _ _ _ _) =
143 case validOutline of
143 case validOutline of
144 Details.ValidApp _ ->
144 Details.ValidApp _ ->
145 Task.throw Exit.MakeAppNeedsFileNames
145 Task.throw Exit.MakeAppNeedsFileNames
terminal/src/Publish.hs+2−2
@@ -173,7 +173,7 @@ verifyBuild :: FilePath -> Task.Task Exit.Publish Docs.Documentation
173verifyBuild root =
173verifyBuild root =
174 reportBuildCheck $ BW.withScope $ \scope ->
174 reportBuildCheck $ BW.withScope $ \scope ->
175 Task.run $
175 Task.run $
176− do details@(Details.Details _ outline _ _ _) <-
176+ do details@(Details.Details _ outline _ _ _ _) <-
177 Task.eio Exit.PublishBadDetails $
177 Task.eio Exit.PublishBadDetails $
178 Details.load Reporting.silent scope root
178 Details.load Reporting.silent scope root
179
179
@@ -309,7 +309,7 @@ withPrepublishDir root callback =
309verifyZipBuild :: FilePath -> IO (Either Exit.Publish ())
309verifyZipBuild :: FilePath -> IO (Either Exit.Publish ())
310verifyZipBuild root =
310verifyZipBuild root =
311 BW.withScope $ \scope -> Task.run $
311 BW.withScope $ \scope -> Task.run $
312− do details@(Details.Details _ outline _ _ _) <-
312+ do details@(Details.Details _ outline _ _ _ _) <-
313 Task.eio Exit.PublishZipBadDetails $
313 Task.eio Exit.PublishZipBadDetails $
314 Details.load Reporting.silent scope root
314 Details.load Reporting.silent scope root
315
315