Fix build on Windows/MinGW (#337)
This was causing the following error when trying to build under MinGW:
[28 of 38] Compiling Development.IDE.Core.FileStore
C:\Snapshot\src\ghcide\src\Development\IDE\Core\FileStore.hs:142:20: error:
Not in scope: `Dir.getModificationTime'
No module named `Dir' is imported.
|
142 | do time <- Dir.getModificationTime f
| ^^^^^^^^^^^^^^^^^^^^^^^
commitc147e625d3bcb8e57d3921fae52c5acc6555cfa6
authorNikos Baxevanis <nikos.baxevanis@gmail.com>
dateTue 21 Jan 2020, 16:15 (7 years ago)
parent2f5d0d3
src/Development/IDE/Core/FileStore.hs+1
@@ -40,6 +40,7 @@ import qualified Data.Rope.UTF16 as Rope
4040
4141#ifdef mingw32_HOST_OS
4242import Data.Time
43+import qualified System.Directory as Dir
4344#else
4445import Foreign.C.String
4546import Foreign.C.Types