Add content-length property to downloads

This is optional for now. Fixes #367
2022-12-22 00:31:41 +08:00
parent d1075987de
commit 9d4c923649
19 changed files with 3043 additions and 79 deletions
--- a/lib/GHCup.hs
+++ b/lib/GHCup.hs
@@ -106,6 +106,7 @@ fetchToolBindist :: ( MonadFail m
                 -> Maybe FilePath
                 -> Excepts
                      '[ DigestError
+                       , ContentLengthError
                       , GPGError
                       , DownloadFailed
                       , NoDownload
@@ -288,6 +289,7 @@ upgradeGHCup :: ( MonadMask m
             -> Excepts
                  '[ CopyError
                   , DigestError
+                   , ContentLengthError
                   , GPGError
                   , GPGError
                   , DownloadFailed
@@ -308,7 +310,7 @@ upgradeGHCup mtarget force' fatal = do
  dli   <- liftE $ getDownloadInfo GHCup latestVer
  tmp   <- fromGHCupPath <$> lift withGHCupTmpDir
  let fn = "ghcup" <> exeExt
-  p <- liftE $ download (_dlUri dli) Nothing (Just (_dlHash dli)) tmp (Just fn) False
+  p <- liftE $ download (_dlUri dli) Nothing (Just (_dlHash dli)) (_dlCSize dli) tmp (Just fn) False
  let destDir = takeDirectory destFile
      destFile = fromMaybe (binDir </> fn) mtarget
  lift $ logDebug $ "mkdir -p " <> T.pack destDir