[ feature ] Automating Mid-Install Temporary Directory Cleanup

pack-admin.ipkg

@@ -6,9 +6,10 @@ authors = "Stefan Höck"
 
 brief = "Administration of pack's package collections"
 
-langversion >= 0.6.0
+langversion >= 0.7.0
 
-depends = base >= 0.6.0
+depends = base >= 0.7.0
+ , async
  , elab-util
  , filepath
  , getopts

pack.ipkg

@@ -6,14 +6,15 @@ authors = "Stefan Höck"
 
 brief = "A package manager for Idris2 with curated package collections"
 
-langversion >= 0.6.0
+langversion >= 0.7.0
 
 -- script to run before building
 prebuild = "bash version.sh"
 
 postbuild = "bash restore.sh"
 
-depends = base >= 0.6.0
+depends = base >= 0.7.0
+ , async
  , elab-util
  , filepath
  , getopts

src/Pack/Admin/Runner.idr

@@ -126,7 +126,7 @@ writeLatestDB : HasIO io => File Abs -> Env -> EitherT PackErr io ()
 writeLatestDB path e = write path (printDB e.db)
 
 export covering
-runCmd : HasIO io => EitherT PackErr io ()
+runCmd : EitherT PackErr IO ()
 runCmd = do
  pd <- getPackDir
  withTmpDir $ do

src/Pack/Core/IO.idr

@@ -1,6 +1,9 @@
 module Pack.Core.IO
 
 import public Control.Monad.Either
+import IO.Async.Signal
+import IO.Async.Type
+import IO.Async.Util
 import Pack.Config.Types
 import Pack.Core.Logging
 import Pack.Core.Types
@@ -326,15 +329,17 @@ mkTmpDir = go 100 0
  mkDir dir
  pure (TD dir)
 
-export
+export covering
 withTmpDir :
- {auto _ : HasIO io}
- -> {auto _ : PackDir}
- -> (TmpDir => EitherT PackErr io a)
- -> EitherT PackErr io a
+ {auto _ : PackDir}
+ -> (TmpDir => EitherT PackErr IO ())
+ -> EitherT PackErr IO ()
 withTmpDir f = do
  td <- mkTmpDir
- finally (rmDir tmpDir) f
+ liftIO $ syncApp $ ignore $ race
+ [ onSignal SigINT (liftIO $ run $ rmDir tmpDir)
+ , liftIO $ run $ finally (rmDir tmpDir) f
+ ]
 
  --------------------------------------------------------------------------------
  -- File Access

src/Pack/Runner.idr

@@ -139,9 +139,9 @@ isFetch _ = False
 
 ||| Main application entry point (modulo error handling).
 export covering
-runCmd : HasIO io => EitherT PackErr io ()
+runCmd : EitherT PackErr IO ()
 runCmd = do
- pd <- getPackDir
+ pd  <- getPackDir
  withTmpDir $ do
  cd <- CD <$> curDir
  cache <- emptyCache