@@ -65,14 +65,13 @@ run :: [FilePath] -> Flags -> IO ()
65run paths (Flags debug optimize maybeOutput report maybeDocs) =
65run paths (Flags debug optimize maybeOutput report maybeDocs) =
66 do style <- getStyle report
66 do style <- getStyle report
67 Reporting.attemptWithStyle style Exit.makeToReport $ Task.run $
67 Reporting.attemptWithStyle style Exit.makeToReport $ Task.run $
68− do root <- getRoot
68+ do root <- Task.mio Exit.MakeNoOutline Stuff.findRoot
69 desiredMode <- getMode debug optimize
69 desiredMode <- getMode debug optimize
70− details <- getDetails style root
70+ details <- Task.eio Exit.MakeBadDetails (Details.load style root)
71 case paths of
71 case paths of
73 do exposed <- getExposed details
73 do exposed <- getExposed details
74 buildExposed style root details maybeDocs exposed
74 buildExposed style root details maybeDocs exposed
78 do artifacts <- buildPaths style root details (NE.List p ps)
77 do artifacts <- buildPaths style root details (NE.List p ps)
@@ -123,11 +122,6 @@ getStyle report =
123 Just Json -> return Reporting.json
122 Just Json -> return Reporting.json
126−getRoot :: Task FilePath
128− Task.mio Exit.MakeNoOutline Stuff.findRoot
131getMode :: Bool -> Bool -> Task DesiredMode
125getMode :: Bool -> Bool -> Task DesiredMode
132getMode debug optimize =
126getMode debug optimize =
133 case (debug, optimize) of
127 case (debug, optimize) of
@@ -137,11 +131,6 @@ getMode debug optimize =
137 (False, True ) -> return Prod
131 (False, True ) -> return Prod
140−getDetails :: Reporting.Style -> FilePath -> Task Details.Details
141−getDetails style root =
142− Task.eio Exit.MakeBlockedByDetailsProblem (Details.load style root)
145getExposed :: Details.Details -> Task (NE.List ModuleName.Raw)
134getExposed :: Details.Details -> Task (NE.List ModuleName.Raw)
146getExposed (Details.Details _ validOutline _ _ _) =
135getExposed (Details.Details _ validOutline _ _ _) =
147 case validOutline of
136 case validOutline of