add a test

Author: pepeiborra

ghcide/src/Development/IDE/Core/FileStore.hs

@@ -19,7 +19,8 @@ module Development.IDE.Core.FileStore(
     resetInterfaceStore,
     getModificationTimeImpl,
     addIdeGlobal,
-    getFileContentsImpl
+    getFileContentsImpl,
+    getModTime
     ) where
 
 import           Control.Concurrent.STM                       (atomically)
@@ -31,7 +32,6 @@ import           Control.Monad.IO.Class
 import qualified Data.ByteString                              as BS
 import           Data.Either.Extra
 import qualified Data.HashMap.Strict                          as HM
-import           Data.Int                                     (Int64)
 import qualified Data.Map.Strict                              as Map
 import           Data.Maybe
 import qualified Data.Rope.UTF16                              as Rope

ghcide/test/exe/Main.hs

@@ -101,6 +101,7 @@ import qualified Language.LSP.Types                       as LSP
 import           Data.IORef.Extra                         (atomicModifyIORef_)
 import qualified Development.IDE.Plugin.HLS.GhcIde        as Ghcide
 import           Text.Regex.TDFA                          ((=~))
+import Development.IDE.Core.FileStore (getModTime)
 
 waitForProgressBegin :: Session ()
 waitForProgressBegin = skipManyTill anyMessage $ satisfyMaybe $ \case
@@ -5464,6 +5465,13 @@ unitTests = do
             actualOrder <- liftIO $ readIORef orderRef
 
             liftIO $ actualOrder @?= reverse [(1::Int)..20]
+     , testCase "timestamps have subsecond resolution" $ do
+         let f = "/tmp/ghcide-timestamp-test"
+         writeFile f ""
+         t <- getModTime f
+         writeFile f ""
+         t' <- getModTime f
+         assertBool "Timestamps do not have subsecond resolution" (t /= t')
      ]
 
 testIde :: IDE.Arguments -> Session () -> IO ()