git.iko.soy/Idris-dev
on master help sign in
Remove unix dependency
d13cd8eEdwin Brady
idris.cabal+1−1
compare with master
unifiedsplit
@@ -39,7 +39,7 @@ Executable idris
39
39
40 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
40 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,
41 containers, process, transformers, filepath, directory,
41 containers, process, transformers, filepath, directory,
42− binary, bytestring, unix, epic>=0.9.2
42+ binary, bytestring, old-time, epic>=0.9.2
43
43
44 Extensions: MultiParamTypeClasses, FunctionalDependencies,
44 Extensions: MultiParamTypeClasses, FunctionalDependencies,
45 FlexibleInstances, TemplateHaskell
45 FlexibleInstances, TemplateHaskell
src/Idris/IBC.hs+3−4
@@ -17,7 +17,6 @@ import Control.Monad
17import Control.Monad.State hiding (get, put)
17import Control.Monad.State hiding (get, put)
18import System.FilePath
18import System.FilePath
19import System.Directory
19import System.Directory
20−import System.Posix.Files
21
20
22import Paths_idris
21import Paths_idris
23
22
@@ -114,9 +113,9 @@ process i fn
114timestampOlder :: FilePath -> FilePath -> IO ()
113timestampOlder :: FilePath -> FilePath -> IO ()
115timestampOlder src ibc = do srcok <- doesFileExist src
114timestampOlder src ibc = do srcok <- doesFileExist src
116 when srcok $ do
115 when srcok $ do
117− srcs <- getFileStatus src
116+ srct <- getModificationTime src
118− ibcs <- getFileStatus ibc
117+ ibct <- getModificationTime ibc
119− if (modificationTime srcs > modificationTime ibcs)
118+ if (srct > ibct)
120 then fail "Needs reloading"
119 then fail "Needs reloading"
121 else return ()
120 else return ()
122
121