Fix interactive annoyance in vim
Sometimes if you edit too fast, the file won't reload because there's
only 1 second granularity on modification time! So reload if equal too.
commita2ab10c0aa3fd53fd4fa48abe0d8f80dd11e13d9
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateMon 22 Dec 2014, 10:21 (12 years ago)
parent052e3be
src/Idris/Chaser.hs+1−1
@@ -126,7 +126,7 @@ buildTree built fp = btree [] fp
126126 if exist then do
127127 ibct <- runIO $ getModificationTime ibc
128128 srct <- runIO $ getModificationTime src
129− return (srct > ibct)
129+ return (srct >= ibct)
130130 else return False
131131
132132 children :: Bool -> FilePath -> [FilePath] -> Idris [ModuleTree]