on master help sign in
Fix stylish problems
commitab9a0fd4b52389a16b24f06f57e26e81ff5e64c2 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 22 Mar 2018, 16:11 (9 years ago) parent8c10469
1 file changed+2−2
src/Idris/Chaser.hs+2−2
src/Idris/Chaser.hs+2−2
@@ -49,7 +49,7 @@ modName (IBC fp src) = modName src
4949-- any module has a descendent which needs reloading, return its
5050-- source, otherwise return the IBC
5151getModuleFiles :: [ModuleTree] -> [IFileType]
52−getModuleFiles ts
52+getModuleFiles ts
5353 = let (files, rebuild) = execState (modList ts) ([], S.empty) in
5454 updateToSrc rebuild (nub files)
5555 where
@@ -82,7 +82,7 @@ getModuleFiles ts
8282 getSrc f = f
8383
8484 updateToSrc rebuilds [] = []
85− updateToSrc rebuilds (x : xs)
85+ updateToSrc rebuilds (x : xs)
8686 = if getSrc x `S.member` rebuilds
8787 then getSrc x : updateToSrc rebuilds xs
8888 else x : updateToSrc rebuilds xs