on master help sign in
Fix stylish problems
ab9a0fdEdwin Brady
src/Idris/Chaser.hs+2−2
@@ -49,7 +49,7 @@ modName (IBC fp src) = modName src
49-- any module has a descendent which needs reloading, return its
49-- any module has a descendent which needs reloading, return its
50-- source, otherwise return the IBC
50-- source, otherwise return the IBC
51getModuleFiles :: [ModuleTree] -> [IFileType]
51getModuleFiles :: [ModuleTree] -> [IFileType]
52−getModuleFiles ts
52+getModuleFiles ts
53 = let (files, rebuild) = execState (modList ts) ([], S.empty) in
53 = let (files, rebuild) = execState (modList ts) ([], S.empty) in
54 updateToSrc rebuild (nub files)
54 updateToSrc rebuild (nub files)
55 where
55 where
@@ -82,7 +82,7 @@ getModuleFiles ts
82 getSrc f = f
82 getSrc f = f
83
83
84 updateToSrc rebuilds [] = []
84 updateToSrc rebuilds [] = []
85− updateToSrc rebuilds (x : xs)
85+ updateToSrc rebuilds (x : xs)
86 = if getSrc x `S.member` rebuilds
86 = if getSrc x `S.member` rebuilds
87 then getSrc x : updateToSrc rebuilds xs
87 then getSrc x : updateToSrc rebuilds xs
88 else x : updateToSrc rebuilds xs
88 else x : updateToSrc rebuilds xs