@@ -65,14 +65,13 @@ run :: [FilePath] -> Flags -> IO ()
6565run paths (Flags debug optimize maybeOutput report maybeDocs) =
6666 do style <- getStyle report
6767 Reporting.attemptWithStyle style Exit.makeToReport $ Task.run $
68− do root <- getRoot
68+ do root <- Task.mio Exit.MakeNoOutline Stuff.findRoot
6969 desiredMode <- getMode debug optimize
70− details <- getDetails style root
70+ details <- Task.eio Exit.MakeBadDetails (Details.load style root)
7171 case paths of
7272 [] ->
7373 do exposed <- getExposed details
7474 buildExposed style root details maybeDocs exposed
75− return ()
7675
7776 p:ps ->
7877 do artifacts <- buildPaths style root details (NE.List p ps)
@@ -123,11 +122,6 @@ getStyle report =
123122 Just Json -> return Reporting.json
124123
125124
126−getRoot :: Task FilePath
127−getRoot =
128− Task.mio Exit.MakeNoOutline Stuff.findRoot
129−
130−
131125getMode :: Bool -> Bool -> Task DesiredMode
132126getMode debug optimize =
133127 case (debug, optimize) of
@@ -137,11 +131,6 @@ getMode debug optimize =
137131 (False, True ) -> return Prod
138132
139133
140−getDetails :: Reporting.Style -> FilePath -> Task Details.Details
141−getDetails style root =
142− Task.eio Exit.MakeBlockedByDetailsProblem (Details.load style root)
143−
144−
145134getExposed :: Details.Details -> Task (NE.List ModuleName.Raw)
146135getExposed (Details.Details _ validOutline _ _ _) =
147136 case validOutline of