From bb430fa0b7bc4fac254cdfd659f037af88c066df Mon Sep 17 00:00:00 2001
From: Arjun Kathuria <arjun.kathuria8@gmail.com>
Date: Tue, 10 Aug 2021 20:12:14 +0530
Subject: [PATCH] Adds the sanity check function for isolated installs

---
 lib/GHCup.hs | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/lib/GHCup.hs b/lib/GHCup.hs
index 4cd1ea1..da07ff2 100644
--- a/lib/GHCup.hs
+++ b/lib/GHCup.hs
@@ -2251,6 +2251,28 @@ upgradeGHCup mtarget force' = do
     --[ Other ]--
     -------------
 
+-- | Does basic checks for isolated installs
+-- Isolated Directory:
+--   1. if it doesn't exist -> proceed
+--   2. if it exists and is empty -> proceed
+--   3. if it exists and is non-empty -> panic and leave the house
+
+isolatedInstallSanityCheck :: ( MonadIO m
+                              , MonadThrow m
+                              ) =>
+                              FilePath ->
+                              Excepts '[IsolatedDirNotEmpty] m ()
+isolatedInstallSanityCheck isoDir = do
+  dirExists <- liftIO $ doesDirectoryExist isoDir
+  if not dirExists
+  then pure ()
+  else do
+    len <- liftIO $ length <$> listDirectory isoDir
+    let isDirEmpty = len == 0
+    if isDirEmpty
+    then pure ()
+    else (throwE $ IsolatedDirNotEmpty isoDir)
+
 
 -- | Creates @ghc-x.y.z@ and @ghc-x.y@ symlinks. This is used for
 -- both installing from source and bindist.