@@ -22,8 +22,8 @@ import Idris.Unlit
2222
2323import Control.Monad.State
2424import Data.List
25−import qualified Data.Set as S
2625import qualified Data.Map as M
26+import qualified Data.Set as S
2727import Data.Time.Clock
2828import System.Directory
2929import Util.System (readSource)
@@ -57,8 +57,8 @@ getModuleFiles ts
5757 -- need rebuilding, which we keep track of in the Set.
5858 -- The order of the list matters - things which get built first appear
5959 -- in the list first. We'll remove any repetition later.
60− modList :: [ModuleTree] ->
61− State (S.Set IFileType,
60+ modList :: [ModuleTree] ->
61+ State (S.Set IFileType,
6262 M.Map IFileType (Bool, [IFileType])) [IFileType]
6363 modList [] = return []
6464 modList (m : ms) = do (_, fs) <- modTree S.empty m
@@ -76,7 +76,7 @@ getModuleFiles ts
7676 let rechkDep = or rechkDep_in
7777
7878 (rebuild, res) <- get
79−
79+
8080 -- Needs rechecking if 'rechk' is true, or if any of the
8181 -- modification times in 'deps' are later than tm, or
8282 -- if any dependency needed rechecking
@@ -86,12 +86,12 @@ getModuleFiles ts
8686 -- Remove duplicates, but keep the last...
8787 let rnub = reverse . nub . reverse
8888
89− let ret = if needsRechk
89+ let ret = if needsRechk
9090 then (needsRechk, rnub (getSrc file : concat toBuilds))
9191 else (needsRechk, rnub (file : concat toBuilds))
9292
9393 -- Cache the result
94− put (if needsRechk
94+ put (if needsRechk
9595 then S.union path rebuild
9696 else rebuild, M.insert file ret res)
9797 pure ret