fix test

Author: soulomoon

ghcide/test/exe/Progress.hs

@@ -1,4 +1,7 @@
+{-# LANGUAGE DataKinds      #-}
+{-# LANGUAGE GADTs          #-}
 {-# LANGUAGE PackageImports #-}
+
 module Progress (tests) where
 
 import           Control.Concurrent.STM
@@ -44,15 +47,15 @@ reportProgressTests = testGroup "recordProgress"
             InProgressModel{..} <- p
             (done, todo) @?= (length (filter (==0) (Map.elems current)), Map.size current)
 
-fromModel :: InProgressModel -> IO InProgressState
+fromModel :: InProgressModel -> IO (InProgressState 'ProgressStateInsideTracking)
 fromModel InProgressModel{..} = do
     doneVar <- newTVarIO done
     todoVar <- newTVarIO todo
     currentVar <- STM.newIO
     atomically $ for_ (Map.toList current) $ \(k,v) -> STM.insert v k currentVar
     return InProgressState{..}
 
-toModel :: InProgressState -> IO InProgressModel
+toModel :: InProgressState 'ProgressStateInsideTracking -> IO InProgressModel
 toModel InProgressState{..} = atomically $ do
     done <- readTVar doneVar
     todo <- readTVar todoVar