d13cd8e · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Remove unix dependency

commitd13cd8e9e112121860fa724e562350e04550c97a authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateSat 7 Jan 2012, 01:38 (15 years ago) parent2e9fcd4

2 files changed+4−5

unifiedsplit

idris.cabal+1−1

@@ -39,7 +39,7 @@ Executable idris

3939

4040 Build-depends: base>=4 && <5, parsec, mtl, Cabal, readline,

4141 containers, process, transformers, filepath, directory,

42− binary, bytestring, unix, epic>=0.9.2

42+ binary, bytestring, old-time, epic>=0.9.2

4343

4444 Extensions: MultiParamTypeClasses, FunctionalDependencies,

4545 FlexibleInstances, TemplateHaskell

src/Idris/IBC.hs+3−4

@@ -17,7 +17,6 @@ import Control.Monad

1717import Control.Monad.State hiding (get, put)

1818import System.FilePath

1919import System.Directory

20−import System.Posix.Files

2120

2221import Paths_idris

2322

@@ -114,9 +113,9 @@ process i fn

114113timestampOlder :: FilePath -> FilePath -> IO ()

115114timestampOlder src ibc = do srcok <- doesFileExist src

116115 when srcok $ do

117− srcs <- getFileStatus src

118− ibcs <- getFileStatus ibc

119− if (modificationTime srcs > modificationTime ibcs)

116+ srct <- getModificationTime src

117+ ibct <- getModificationTime ibc

118+ if (srct > ibct)

120119 then fail "Needs reloading"

121120 else return ()

122121