Fix handling of stray versions wrt #116

Add test case for issue #116
Update ghcup in old yamls
2021-03-07 12:02:13 +01:00 · 2021-03-07 11:59:45 +01:00 · 2021-03-06 16:02:09 +01:00 · 2021-03-02 19:37:09 +01:00 · 2021-03-02 19:22:14 +01:00 · 2021-03-02 12:39:24 +01:00
26 changed files with 872 additions and 2689 deletions
--- a/.gitlab/script/ghcup_version.sh
+++ b/.gitlab/script/ghcup_version.sh
@@ -107,6 +107,10 @@ fi
 eghcup rm $(ghc --numeric-version)
 # https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/116
 eghcup install cabal -u https://oleg.fi/cabal-install-3.4.0.0-rc4/cabal-install-3.4.0.0-x86_64-ubuntu-16.04.tar.xz 3.4.0.0-rc4
 eghcup rm cabal 3.4.0.0-rc4
 eghcup upgrade
 eghcup upgrade -f
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,7 +1,14 @@
 # Revision history for ghcup
-## 0.1.13 -- ????-??-??
+## 0.1.14 -- ????-??-??
 * Fix error messages and overhaul pretty printing wrt [#115](https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/115)
 ## 0.1.13 -- 2021-02-26
 * Support ARMv7/AARCH64
 * Add command line completions for installed and available versions wrt [MR #70](https://gitlab.haskell.org/haskell/ghcup-hs/-/merge_requests/70)
 * Allow to cycle through set tools wrt [#114](https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/114)
 * Fix item selection with unavailable versions wrt [#107](https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/107)
 * Allow for dynamic post-install, post-remove and pre-compile msgs wrt [MR #68](https://gitlab.haskell.org/haskell/ghcup-hs/-/merge_requests/68)
 * Alert user if upgraded ghcup is shadowed by old ghcup wrt [#111](https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/111)
--- a/README.md
+++ b/README.md
@@ -18,6 +18,7 @@ Similar in scope to [rustup](https://github.com/rust-lang-nursery/rustup.rs), [p
     * [Shell-completion](#shell-completion)
     * [Cross support](#cross-support)
     * [XDG support](#xdg-support)
     * [Env variables](#env-variables)
     * [Installing custom bindists](#installing-custom-bindists)
   * [Design goals](#design-goals)
   * [How](#how)
@@ -124,6 +125,17 @@ Then you can control the locations via XDG environment variables as such:
 * `XDG_BIN_HOME`: binaries end up here (default: `~/.local/bin`)
 * `XDG_CONFIG_HOME`: the config file is stored in `ghcup` subdir as `config.yaml` (default: `~/.config`)
 ### Env variables
 This is the complete list of env variables that change GHCup behavior:
 * `GHCUP_USE_XDG_DIRS`: see [XDG support](#xdg-support) above
 * `TMPDIR`: where ghcup does the work (unpacking, building, ...)
 * `GHCUP_INSTALL_BASE_PREFIX`: the base of ghcup (default: `$HOME`)
 * `GHCUP_CURL_OPTS`: additional options that can be passed to curl
 * `GHCUP_WGET_OPTS`: additional options that can be passed to wget
 * `CC`/`LD` etc.: full environment is passed to the build system when compiling GHC via GHCup
 ### Installing custom bindists
 There are a couple of good use cases to install custom bindists:
--- a/app/ghcup-gen/Validate.hs
+++ b/app/ghcup-gen/Validate.hs
@@ -32,6 +32,7 @@ import           Optics
 import           System.Exit
 import           System.IO
 import           Text.ParserCombinators.ReadP
 import           Text.PrettyPrint.HughesPJClass ( prettyShow )
 import           Text.Regex.Posix
 import qualified Data.ByteString               as B
@@ -83,7 +84,7 @@ validate dls = do
 where
  checkHasRequiredPlatforms t v tags arch pspecs = do
    let v' = prettyVer v
-        arch' = prettyArch arch
+        arch' = prettyShow arch
    when (not $ any (== Linux UnknownLinux) pspecs) $ do
      lift $ $(logError)
        [i|Linux UnknownLinux missing for for #{t} #{v'} #{arch'}|]
@@ -99,7 +100,7 @@ validate dls = do
    -- (although it could be static)
    when (not $ any (== Linux Alpine) pspecs) $
      case t of
-        GHCup -> (lift $ $(logError) [i|Linux Alpine missing for #{t} #{v'} #{arch}|]) >> addError
+        GHCup | arch `elem` [A_64, A_32] -> (lift $ $(logError) [i|Linux Alpine missing for #{t} #{v'} #{arch}|]) >> addError
        Cabal | v > [vver|2.4.1.0|]
              , arch `elem` [A_64, A_32] -> (lift $ $(logError) [i|Linux Alpine missing for #{t} #{v'} #{arch'}|]) >> addError
        GHC | Latest `elem` tags || Recommended `elem` tags
--- a/app/ghcup/BrickMain.hs
+++ b/app/ghcup/BrickMain.hs
@@ -16,7 +16,6 @@ import           GHCup.Types
 import           GHCup.Utils
 import           GHCup.Utils.File
 import           GHCup.Utils.Logger
 import           GHCup.Utils.Prelude     hiding ((!?))
 import           Brick
 import           Brick.Widgets.Border
@@ -48,6 +47,7 @@ import           Prelude                 hiding ( appendFile )
 import           System.Environment
 import           System.Exit
 import           System.IO.Unsafe
 import           Text.PrettyPrint.HughesPJClass ( prettyShow )
 import           URI.ByteString
 import qualified GHCup.Types                   as GT
@@ -418,39 +418,31 @@ install' BrickState { appData = BrickData {..} } (_, ListResult {..}) = do
              , DownloadFailed
              , NoUpdate
              , TarDirDoesNotExist
              , VerNotFound
              ]
  (run $ do
      case lTool of
        GHC   -> do
-          vi <- liftE @_ @'[VerNotFound] $ getVersionInfo lVer GHC dls
+          let vi = getVersionInfo lVer GHC dls
            ?? VerNotFound lVer GHC
          liftE $ installGHCBin dls lVer pfreq $> vi
        Cabal -> do
-          vi <- liftE @_ @'[VerNotFound] $ getVersionInfo lVer Cabal dls
+          let vi = getVersionInfo lVer Cabal dls
            ?? VerNotFound lVer Cabal
          liftE $ installCabalBin dls lVer pfreq $> vi
        GHCup -> do
-          let vi = fromJust $ snd <$> getLatest dls GHCup
+          let vi = snd <$> getLatest dls GHCup
          liftE $ upgradeGHCup dls Nothing False pfreq $> vi
        HLS   -> do
-          vi <- liftE @_ @'[VerNotFound] $ getVersionInfo lVer HLS dls
+          let vi = getVersionInfo lVer HLS dls
            ?? VerNotFound lVer HLS
          liftE $ installHLSBin dls lVer pfreq $> vi
    )
    >>= \case
          VRight vi                         -> do
-            forM_ (_viPostInstall vi) $ \msg ->
+            forM_ (join $ fmap _viPostInstall vi) $ \msg ->
              runLogger $ $(logInfo) msg
            pure $ Right ()
          VLeft  (V (AlreadyInstalled _ _)) -> pure $ Right ()
          VLeft (V (BuildFailed _ e)) ->
            pure $ Left [i|Build failed with #{e}|]
          VLeft (V NoDownload) ->
            pure $ Left [i|No available version for #{prettyVer lVer}|]
          VLeft (V NoUpdate) -> pure $ Right ()
-          VLeft e -> pure $ Left [i|#{e}
+          VLeft e -> pure $ Left [i|#{prettyShow e}
 Also check the logs in ~/.ghcup/logs|]
@@ -474,7 +466,7 @@ set' _ (_, ListResult {..}) = do
    )
    >>= \case
          VRight _ -> pure $ Right ()
-          VLeft  e -> pure $ Left [i|#{e}|]
+          VLeft  e -> pure $ Left (prettyShow e)
 del' :: BrickState -> (Int, ListResult) -> IO (Either String ())
@@ -483,24 +475,22 @@ del' BrickState { appData = BrickData {..} } (_, ListResult {..}) = do
  l        <- readIORef logger'
  let runLogger = myLoggerT l
-  let run = runLogger . flip runReaderT settings . runE @'[NotInstalled, VerNotFound]
+  let run = runLogger . flip runReaderT settings . runE @'[NotInstalled]
  (run $ do
-      vi <- liftE @_ @'[VerNotFound] $ getVersionInfo lVer lTool dls
+      let vi = getVersionInfo lVer lTool dls
        ?? VerNotFound lVer lTool
      case lTool of
-        GHC   -> liftE $ rmGHCVer (GHCTargetVersion lCross lVer) $> Just vi
+        GHC   -> liftE $ rmGHCVer (GHCTargetVersion lCross lVer) $> vi
-        Cabal -> liftE $ rmCabalVer lVer $> Just vi
+        Cabal -> liftE $ rmCabalVer lVer $> vi
-        HLS   -> liftE $ rmHLSVer lVer $> Just vi
+        HLS   -> liftE $ rmHLSVer lVer $> vi
        GHCup -> pure Nothing
    )
    >>= \case
-          VRight (Just vi) -> do
+          VRight vi -> do
-            forM_ (_viPostRemove vi) $ \msg ->
+            forM_ (join $ fmap _viPostRemove vi) $ \msg ->
              runLogger $ $(logInfo) msg
            pure $ Right ()
-          VRight _ -> pure $ Right ()
+          VLeft  e -> pure $ Left (prettyShow e)
          VLeft  e -> pure $ Left [i|#{e}|]
 changelog' :: BrickState -> (Int, ListResult) -> IO (Either String ())
@@ -515,7 +505,7 @@ changelog' BrickState { appData = BrickData {..} } (_, ListResult {..}) = do
            FreeBSD -> "xdg-open"
      exec cmd True [serializeURIRef' uri] Nothing Nothing >>= \case
        Right _ -> pure $ Right ()
-        Left  e -> pure $ Left [i|#{e}|]
+        Left  e -> pure $ Left $ prettyShow e
 settings' :: IORef AppState
@@ -595,7 +585,7 @@ getDownloads' = do
  case r of
    VRight a -> pure $ Right a
-    VLeft  e -> pure $ Left [i|#{e}|]
+    VLeft  e -> pure $ Left (prettyShow e)
 getAppData :: Maybe GHCupDownloads
--- a/app/ghcup/Main.hs
+++ b/app/ghcup/Main.hs
@@ -44,7 +44,7 @@ import           Data.Bifunctor
 import           Data.Char
 import           Data.Either
 import           Data.Functor
-import           Data.List                      ( intercalate, sort )
+import           Data.List                      ( intercalate, nub, sort, sortBy )
 import           Data.List.NonEmpty             (NonEmpty ((:|)))
 import           Data.Maybe
 import           Data.String.Interpolate
@@ -66,10 +66,12 @@ import           System.Environment
 import           System.Exit
 import           System.IO               hiding ( appendFile )
 import           Text.Read               hiding ( lift )
 import           Text.PrettyPrint.HughesPJClass ( prettyShow )
 import           URI.ByteString
 import qualified Data.ByteString               as B
 import qualified Data.ByteString.UTF8          as UTF8
 import qualified Data.Map.Strict               as M
 import qualified Data.Text                     as T
 import qualified Data.Text.IO                  as T
 import qualified Data.Text.Encoding            as E
@@ -112,9 +114,14 @@ data ToolVersion = ToolVersion GHCTargetVersion -- target is ignored for cabal
                 | ToolTag Tag
 prettyToolVer :: ToolVersion -> String
-prettyToolVer (ToolVersion v') = T.unpack $ prettyTVer v'
+prettyToolVer (ToolVersion v') = T.unpack $ tVerToText v'
 prettyToolVer (ToolTag t) = show t
 toSetToolVer :: Maybe ToolVersion -> SetToolVersion
 toSetToolVer (Just (ToolVersion v')) = SetToolVersion v'
 toSetToolVer (Just (ToolTag t')) = SetToolTag t'
 toSetToolVer Nothing = SetRecommended
 data InstallCommand = InstallGHC InstallOptions
                    | InstallCabal InstallOptions
@@ -131,8 +138,14 @@ data SetCommand = SetGHC SetOptions
                | SetCabal SetOptions
                | SetHLS SetOptions
 -- a superset of ToolVersion
 data SetToolVersion = SetToolVersion GHCTargetVersion
                    | SetToolTag Tag
                    | SetRecommended
                    | SetNext
 data SetOptions = SetOptions
-  { sToolVer :: Maybe ToolVersion
+  { sToolVer :: SetToolVersion
  }
 data ListOptions = ListOptions
@@ -192,10 +205,10 @@ data ChangeLogOptions = ChangeLogOptions
 -- by default. For example:
 --
 -- > invertableSwitch "recursive" True (help "do not recurse into directories")
-- 
+--
-- This example makes --recursive enabled by default, so 
+-- This example makes --recursive enabled by default, so
 -- the help is shown only for --no-recursive.
-invertableSwitch 
+invertableSwitch
    :: String              -- ^ long option
    -> Char                -- ^ short option for the non-default option
    -> Bool                -- ^ is switch enabled by default?
@@ -363,7 +376,7 @@ com =
          (  command
              "install-cabal"
              ((info
-                 ((InstallCabalLegacy <$> installOpts) <**> helper)
+                 ((InstallCabalLegacy <$> installOpts (Just Cabal)) <**> helper)
                 (  progDesc "Install or update cabal"
                 <> footerDoc (Just $ text installCabalFooter)
                 )
@@ -413,7 +426,7 @@ installParser =
          "ghc"
          (   InstallGHC
          <$> (info
-                (installOpts <**> helper)
+                (installOpts (Just GHC) <**> helper)
                (  progDesc "Install GHC"
                <> footerDoc (Just $ text installGHCFooter)
                )
@@ -423,7 +436,7 @@ installParser =
           "cabal"
           (   InstallCabal
           <$> (info
-                 (installOpts <**> helper)
+                 (installOpts (Just Cabal) <**> helper)
                 (  progDesc "Install Cabal"
                 <> footerDoc (Just $ text installCabalFooter)
                 )
@@ -433,7 +446,7 @@ installParser =
           "hls"
           (   InstallHLS
           <$> (info
-                 (installOpts <**> helper)
+                 (installOpts (Just HLS) <**> helper)
                 (  progDesc "Install haskell-languge-server"
                 <> footerDoc (Just $ text installHLSFooter)
                 )
@@ -441,7 +454,7 @@ installParser =
           )
      )
    )
-    <|> (Right <$> installOpts)
+    <|> (Right <$> installOpts Nothing)
 where
  installHLSFooter :: String
  installHLSFooter = [s|Discussion:
@@ -472,8 +485,8 @@ Examples:
  ghcup install ghc -u https://gitlab.haskell.org/api/v4/projects/1/jobs/artifacts/master/raw/ghc-x86_64-fedora27-linux.tar.xz?job=validate-x86_64-linux-fedora27 head|]
-installOpts :: Parser InstallOptions
+installOpts :: Maybe Tool -> Parser InstallOptions
-installOpts =
+installOpts tool =
  (\p (u, v) b -> InstallOptions v p u b)
    <$> (optional
          (option
@@ -495,9 +508,9 @@ installOpts =
                    )
                  )
                )
-            <*> (Just <$> toolVersionArgument)
+            <*> (Just <$> toolVersionArgument Nothing tool)
            )
-        <|> ((,) <$> pure Nothing <*> optional toolVersionArgument)
+        <|> (pure (Nothing, Nothing))
        )
    <*> flag
          False
@@ -514,7 +527,7 @@ setParser =
          "ghc"
          (   SetGHC
          <$> (info
-                (setOpts <**> helper)
+                (setOpts (Just GHC) <**> helper)
                (  progDesc "Set GHC version"
                <> footerDoc (Just $ text setGHCFooter)
                )
@@ -524,7 +537,7 @@ setParser =
           "cabal"
           (   SetCabal
           <$> (info
-                 (setOpts <**> helper)
+                 (setOpts (Just Cabal) <**> helper)
                 (  progDesc "Set Cabal version"
                 <> footerDoc (Just $ text setCabalFooter)
                 )
@@ -534,7 +547,7 @@ setParser =
           "hls"
           (   SetHLS
           <$> (info
-                 (setOpts <**> helper)
+                 (setOpts (Just HLS) <**> helper)
                 (  progDesc "Set haskell-language-server version"
                 <> footerDoc (Just $ text setHLSFooter)
                 )
@@ -542,7 +555,7 @@ setParser =
           )
      )
    )
-    <|> (Right <$> setOpts)
+    <|> (Right <$> setOpts Nothing)
 where
  setGHCFooter :: String
  setGHCFooter = [s|Discussion:
@@ -559,8 +572,10 @@ setParser =
    Sets the the current haskell-language-server version.|]
-setOpts :: Parser SetOptions
+setOpts :: Maybe Tool -> Parser SetOptions
-setOpts = SetOptions <$> optional toolVersionArgument
+setOpts tool = SetOptions <$>
    (fromMaybe SetRecommended <$>
      optional (setVersionArgument (Just ListInstalled) tool))
 listOpts :: Parser ListOptions
 listOpts =
@@ -592,29 +607,29 @@ rmParser =
  (Left <$> subparser
      (  command
          "ghc"
-          (RmGHC <$> (info (rmOpts <**> helper) (progDesc "Remove GHC version")))
+          (RmGHC <$> (info (rmOpts (Just GHC) <**> helper) (progDesc "Remove GHC version")))
      <> command
           "cabal"
           (   RmCabal
-           <$> (info (versionParser' <**> helper)
+           <$> (info (versionParser' (Just ListInstalled) (Just Cabal) <**> helper)
                     (progDesc "Remove Cabal version")
               )
           )
      <> command
           "hls"
           (   RmHLS
-           <$> (info (versionParser' <**> helper)
+           <$> (info (versionParser' (Just ListInstalled) (Just HLS) <**> helper)
                     (progDesc "Remove haskell-language-server version")
               )
           )
      )
    )
-    <|> (Right <$> rmOpts)
+    <|> (Right <$> rmOpts Nothing)
-rmOpts :: Parser RmOptions
+rmOpts :: Maybe Tool -> Parser RmOptions
-rmOpts = RmOptions <$> versionArgument
+rmOpts tool = RmOptions <$> versionArgument (Just ListInstalled) tool
 changelogP :: Parser ChangeLogOptions
@@ -636,7 +651,7 @@ changelogP =
            )
          )
        )
-    <*> optional toolVersionArgument
+    <*> optional (toolVersionArgument Nothing Nothing)
 compileP :: Parser CompileCommand
 compileP = subparser
@@ -765,13 +780,85 @@ toolVersionParser = verP' <|> toolP
          )
 -- | same as toolVersionParser, except as an argument.
-toolVersionArgument :: Parser ToolVersion
+toolVersionArgument :: Maybe ListCriteria -> Maybe Tool -> Parser ToolVersion
-toolVersionArgument =
+toolVersionArgument criteria tool =
-  argument (eitherReader toolVersionEither) (metavar "VERSION|TAG")
+  argument (eitherReader toolVersionEither)
    (metavar "VERSION|TAG"
    <> completer (tagCompleter (fromMaybe GHC tool) [])
    <> foldMap (completer . versionCompleter criteria) tool)
-versionArgument :: Parser GHCTargetVersion
+setVersionArgument :: Maybe ListCriteria -> Maybe Tool -> Parser SetToolVersion
-versionArgument = argument (eitherReader tVersionEither) (metavar "VERSION")
+setVersionArgument criteria tool =
  argument (eitherReader setEither)
    (metavar "VERSION|TAG|next"
    <> completer (tagCompleter (fromMaybe GHC tool) ["next"])
    <> foldMap (completer . versionCompleter criteria) tool)
 where
  setEither s' =
        parseSet s'
    <|> bimap id SetToolTag (tagEither s')
    <|> bimap id SetToolVersion (tVersionEither s')
  parseSet s' = case fmap toLower s' of
                  "next" -> Right SetNext
                  other  -> Left [i|Unknown tag/version #{other}|]
 versionArgument :: Maybe ListCriteria -> Maybe Tool -> Parser GHCTargetVersion
 versionArgument criteria tool = argument (eitherReader tVersionEither) (metavar "VERSION" <> foldMap (completer . versionCompleter criteria) tool)
 tagCompleter :: Tool -> [String] -> Completer
 tagCompleter tool add = listIOCompleter $ do
  let loggerConfig = LoggerConfig
        { lcPrintDebug = False
        , colorOutter  = mempty
        , rawOutter    = mempty
        }
      runLogger = myLoggerT loggerConfig
  dirs <- getDirs
  let simpleSettings = Settings False False Never Curl False GHCupURL
      simpleAppState = AppState simpleSettings dirs defaultKeyBindings
      runEnv = runLogger . flip runReaderT simpleAppState
  mGhcUpInfo <- runEnv . runE $ readFromCache
  case mGhcUpInfo of
    VRight dls -> do
      let allTags = filter (\t -> t /= Old)
            $ join
            $ M.elems
            $ availableToolVersions (_ghcupDownloads dls) tool
      pure $ nub $ (add ++) $ fmap tagToString allTags
    VLeft _ -> pure  (nub $ ["recommended", "latest"] ++ add)
 versionCompleter :: Maybe ListCriteria -> Tool -> Completer
 versionCompleter criteria tool = listIOCompleter $ do
  let loggerConfig = LoggerConfig
        { lcPrintDebug = False
        , colorOutter  = mempty
        , rawOutter    = mempty
        }
      runLogger = myLoggerT loggerConfig
  mpFreq <- runLogger . runE $ platformRequest
  forFold mpFreq $ \pfreq -> do
    dirs <- getDirs
    let simpleSettings = Settings False False Never Curl False GHCupURL
        simpleAppState = AppState simpleSettings dirs defaultKeyBindings
        runEnv = runLogger . flip runReaderT simpleAppState
    mGhcUpInfo <- runEnv . runE $ readFromCache
    forFold mGhcUpInfo $ \(GHCupInfo _ dls) -> do
      installedVersions <- runEnv $ listVersions dls (Just tool) criteria pfreq
      return $ T.unpack . prettyVer . lVer <$> installedVersions
 versionParser :: Parser GHCTargetVersion
 versionParser = option
@@ -779,10 +866,10 @@ versionParser = option
  (short 'v' <> long "version" <> metavar "VERSION" <> help "The target version"
  )
-versionParser' :: Parser Version
+versionParser' :: Maybe ListCriteria -> Maybe Tool -> Parser Version
-versionParser' = argument
+versionParser' criteria tool = argument
-  (eitherReader (bimap show id . version . T.pack))
+  (eitherReader (first show . version . T.pack))
-  (metavar "VERSION")
+  (metavar "VERSION"  <> foldMap (completer . versionCompleter criteria) tool)
 tagEither :: String -> Either String Tag
@@ -792,7 +879,7 @@ tagEither s' = case fmap toLower s' of
  ('b':'a':'s':'e':'-':ver') -> case pvp (T.pack ver') of
                                  Right x -> Right (Base x)
                                  Left  _ -> Left [i|Invalid PVP version for base #{ver'}|]
-  other         -> Left ([i|Unknown tag #{other}|])
+  other         -> Left [i|Unknown tag #{other}|]
 tVersionEither :: String -> Either String GHCTargetVersion
@@ -1041,10 +1128,11 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                      , NotInstalled
                      , BuildFailed
                      , TagNotFound
                      , VerNotFound
                      , DigestError
                      , DownloadFailed
                      , TarDirDoesNotExist
                      , NextVerNotFound
                      , NoToolVersionSet
                      ]
          let runInstTool = runInstTool' appstate
@@ -1057,7 +1145,8 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                  @'[ FileDoesNotExistError
                    , NotInstalled
                    , TagNotFound
-                    , VerNotFound
+                    , NextVerNotFound
                    , NoToolVersionSet
                    ]
          let
@@ -1067,7 +1156,8 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                . runE
                  @'[ NotInstalled
                    , TagNotFound
-                    , VerNotFound
+                    , NextVerNotFound
                    , NoToolVersionSet
                    ]
          let
@@ -1077,13 +1167,14 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                . runE
                  @'[ NotInstalled
                    , TagNotFound
-                    , VerNotFound
+                    , NextVerNotFound
                    , NoToolVersionSet
                    ]
          let runListGHC = runLogger . flip runReaderT appstate
          let runRm =
-                runLogger . flip runReaderT appstate . runE @'[NotInstalled, VerNotFound]
+                runLogger . flip runReaderT appstate . runE @'[NotInstalled]
          let runDebugInfo =
                runLogger
@@ -1107,7 +1198,6 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                      , UnknownArchive
                      , TarDirDoesNotExist
                      , NotInstalled
                      , VerNotFound
 #if !defined(TAR)
                      , ArchiveResult
 #endif
@@ -1137,7 +1227,7 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                    VRight r -> pure r
                    VLeft e -> do
                      runLogger
-                        ($(logError) [i|Error determining Platform: #{e}|])
+                        ($(logError) $ T.pack $ prettyShow e)
                      exitWith (ExitFailure 2)
@@ -1152,7 +1242,7 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                    VRight r -> pure r
                    VLeft  e -> do
                      runLogger
-                        ($(logError) [i|Error fetching download info: #{e}|])
+                        ($(logError) $ T.pack $ prettyShow e)
                      exitWith (ExitFailure 2)
          case optCommand of
@@ -1184,30 +1274,23 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                    >>= \case
                          VRight vi -> do
                            runLogger $ $(logInfo) ("GHC installation successful")
-                            forM_ (_viPostInstall vi) $ \msg ->
+                            forM_ (join $ fmap _viPostInstall vi) $ \msg ->
                              runLogger $ $(logInfo) msg
                            pure ExitSuccess
                          VLeft (V (AlreadyInstalled _ v)) -> do
                            runLogger $ $(logWarn)
                              [i|GHC ver #{prettyVer v} already installed; if you really want to reinstall it, you may want to run 'ghcup rm ghc #{prettyVer v}' first|]
                            pure ExitSuccess
-                          VLeft (V (BuildFailed tmpdir e)) -> do
+                          VLeft err@(V (BuildFailed tmpdir _)) -> do
                            case keepDirs settings of
-                              Never -> runLogger ($(logError) [i|Build failed with #{e}|])
+                              Never -> runLogger ($(logError) $ T.pack $ prettyShow err)
-                              _ -> runLogger ($(logError) [i|Build failed with #{e}
+                              _ -> runLogger ($(logError) [i|#{prettyShow err}
    Check the logs at #{logsDir} and the build directory #{tmpdir} for more clues.
    Make sure to clean up #{tmpdir} afterwards.|])
                            pure $ ExitFailure 3
                          VLeft (V NoDownload) -> do
                            runLogger $ do
                              case instVer of
                                Just iver -> $(logError) [i|No available GHC version for #{prettyToolVer iver}|]
                                Nothing -> $(logError) [i|No available recommended GHC version|]
                            pure $ ExitFailure 3
                          VLeft e -> do
                            runLogger $ do
-                              $(logError) [i|#{e}|]
+                              $(logError) $ T.pack $ prettyShow e
                              $(logError) [i|Also check the logs in #{logsDir}|]
                            pure $ ExitFailure 3
@@ -1229,23 +1312,16 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                  >>= \case
                        VRight vi -> do
                          runLogger $ $(logInfo) ("Cabal installation successful")
-                          forM_ (_viPostInstall vi) $ \msg ->
+                          forM_ (join $ fmap _viPostInstall vi) $ \msg ->
                            runLogger $ $(logInfo) msg
                          pure ExitSuccess
                        VLeft (V (AlreadyInstalled _ v)) -> do
                          runLogger $ $(logWarn)
                            [i|Cabal ver #{prettyVer v} already installed; if you really want to reinstall it, you may want to run 'ghcup rm cabal #{prettyVer v}' first|]
                          pure ExitSuccess
                        VLeft (V NoDownload) -> do
                          runLogger $ do
                            case instVer of
                              Just iver -> $(logError) [i|No available Cabal version for #{prettyToolVer iver}|]
                              Nothing -> $(logError) [i|No available recommended Cabal version|]
                          pure $ ExitFailure 4
                        VLeft e -> do
                          runLogger $ do
-                            $(logError) [i|#{e}|]
+                            $(logError) $ T.pack $ prettyShow e
                            $(logError) [i|Also check the logs in #{logsDir}|]
                          pure $ ExitFailure 4
@@ -1266,30 +1342,23 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                  >>= \case
                        VRight vi -> do
                          runLogger $ $(logInfo) ("HLS installation successful")
-                          forM_ (_viPostInstall vi) $ \msg ->
+                          forM_ (join $ fmap _viPostInstall vi) $ \msg ->
                            runLogger $ $(logInfo) msg
                          pure ExitSuccess
                        VLeft (V (AlreadyInstalled _ v)) -> do
                          runLogger $ $(logWarn)
                            [i|HLS ver #{prettyVer v} already installed; if you really want to reinstall it, you may want to run 'ghcup rm hls #{prettyVer v}' first|]
                          pure ExitSuccess
                        VLeft (V NoDownload) -> do
                          runLogger $ do
                            case instVer of
                              Just iver -> $(logError) [i|No available HLS version for #{prettyToolVer iver}|]
                              Nothing -> $(logError) [i|No available recommended HLS version|]
                          pure $ ExitFailure 4
                        VLeft e -> do
                          runLogger $ do
-                            $(logError) [i|#{e}|]
+                            $(logError) $ T.pack $ prettyShow e
                            $(logError) [i|Also check the logs in #{logsDir}|]
                          pure $ ExitFailure 4
          let setGHC' SetOptions{..} =
                (runSetGHC $ do
-                    v <- liftE $ fst <$> fromVersion dls sToolVer GHC
+                    v <- liftE $ fst <$> fromVersion' dls sToolVer GHC
                    liftE $ setGHC v SetGHCOnly
                  )
                  >>= \case
@@ -1299,80 +1368,84 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                                [i|GHC #{prettyVer _tvVersion} successfully set as default version#{maybe "" (" for cross target " <>) _tvTarget}|]
                          pure ExitSuccess
                        VLeft e -> do
-                          runLogger ($(logError) [i|#{e}|])
+                          runLogger $ $(logError) $ T.pack $ prettyShow e
                          pure $ ExitFailure 5
          let setCabal' SetOptions{..} =
                (runSetCabal $ do
-                    v <- liftE $ fst <$> fromVersion dls sToolVer Cabal
+                    v <- liftE $ fst <$> fromVersion' dls sToolVer Cabal
                    liftE $ setCabal (_tvVersion v)
                    pure v
                  )
                  >>= \case
-                        VRight _ -> pure ExitSuccess
+                        VRight (GHCTargetVersion{..}) -> do
                          runLogger
                            $ $(logInfo)
                                [i|Cabal #{prettyVer _tvVersion} successfully set as default version|]
                          pure ExitSuccess
                        VLeft  e -> do
-                          runLogger ($(logError) [i|#{e}|])
+                          runLogger $ $(logError) $ T.pack $ prettyShow e
                          pure $ ExitFailure 14
          let setHLS' SetOptions{..} =
                (runSetHLS $ do
-                    v <- liftE $ fst <$> fromVersion dls sToolVer HLS
+                    v <- liftE $ fst <$> fromVersion' dls sToolVer HLS
                    liftE $ setHLS (_tvVersion v)
                    pure v
                  )
                  >>= \case
-                        VRight _ -> pure ExitSuccess
+                        VRight (GHCTargetVersion{..}) -> do
                          runLogger
                            $ $(logInfo)
                                [i|HLS #{prettyVer _tvVersion} successfully set as default version|]
                          pure ExitSuccess
                        VLeft  e -> do
-                          runLogger ($(logError) [i|#{e}|])
+                          runLogger $ $(logError) $ T.pack $ prettyShow e
                          pure $ ExitFailure 14
          let rmGHC' RmOptions{..} =
                (runRm $ do
                    liftE $
                      rmGHCVer ghcVer
-                    vi <- liftE @_ @'[VerNotFound] $ getVersionInfo (_tvVersion ghcVer) GHC dls
+                    pure (getVersionInfo (_tvVersion ghcVer) GHC dls)
                      ?? VerNotFound (_tvVersion ghcVer) GHC
                    pure vi
                  )
                  >>= \case
                        VRight vi -> do
-                          forM_ (_viPostRemove vi) $ \msg ->
+                          forM_ (join $ fmap _viPostRemove vi) $ \msg ->
                            runLogger $ $(logInfo) msg
                          pure ExitSuccess
                        VLeft  e -> do
-                          runLogger ($(logError) [i|#{e}|])
+                          runLogger $ $(logError) $ T.pack $ prettyShow e
                          pure $ ExitFailure 7
          let rmCabal' tv =
                (runRm $ do
                    liftE $
                      rmCabalVer tv
-                    vi <- liftE @_ @'[VerNotFound] $ getVersionInfo tv Cabal dls
+                    pure (getVersionInfo tv Cabal dls)
                      ?? VerNotFound tv Cabal
                    pure vi
                  )
                  >>= \case
                        VRight vi -> do
-                          forM_ (_viPostRemove vi) $ \msg ->
+                          forM_ (join $ fmap _viPostRemove vi) $ \msg ->
                            runLogger $ $(logInfo) msg
                          pure ExitSuccess
                        VLeft  e -> do
-                          runLogger ($(logError) [i|#{e}|])
+                          runLogger $ $(logError) $ T.pack $ prettyShow e
                          pure $ ExitFailure 15
          let rmHLS' tv =
                (runRm $ do
                    liftE $
                      rmHLSVer tv
-                    vi <- liftE @_ @'[VerNotFound] $ getVersionInfo tv HLS dls
+                    pure (getVersionInfo tv HLS dls)
                      ?? VerNotFound tv HLS
                    pure vi
                  )
                  >>= \case
                        VRight vi -> do
-                          forM_ (_viPostRemove vi) $ \msg ->
+                          forM_ (join $ fmap _viPostRemove vi) $ \msg ->
                            runLogger $ $(logInfo) msg
                          pure ExitSuccess
                        VLeft  e -> do
-                          runLogger ($(logError) [i|#{e}|])
+                          runLogger $ $(logError) $ T.pack $ prettyShow e
                          pure $ ExitFailure 15
@@ -1419,14 +1492,13 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                        putStrLn $ prettyDebugInfo dinfo
                        pure ExitSuccess
                      VLeft e -> do
-                        runLogger ($(logError) [i|#{e}|])
+                        runLogger $ $(logError) $ T.pack $ prettyShow e
                        pure $ ExitFailure 8
            Compile (CompileGHC GHCCompileOptions {..}) ->
              (runCompileGHC $ do
-                vi <- liftE @_ @'[VerNotFound] $ getVersionInfo targetVer GHC dls
+                let vi = getVersionInfo targetVer GHC dls
-                  ?? VerNotFound targetVer GHC
+                forM_ (join $ fmap _viPreCompile vi) $ \msg -> do
                forM_ (_viPreCompile vi) $ \msg -> do
                  lift $ $(logInfo) msg
                  lift $ $(logInfo)
                    ("...waiting for 5 seconds, you can still abort...")
@@ -1447,23 +1519,22 @@ Report bugs at <https://gitlab.haskell.org/haskell/ghcup-hs/issues>|]
                      VRight vi -> do
                        runLogger $ $(logInfo)
                          ("GHC successfully compiled and installed")
-                        forM_ (_viPostInstall vi) $ \msg ->
+                        forM_ (join $ fmap _viPostInstall vi) $ \msg ->
                          runLogger $ $(logInfo) msg
                        pure ExitSuccess
                      VLeft (V (AlreadyInstalled _ v)) -> do
                        runLogger $ $(logWarn)
                          [i|GHC ver #{prettyVer v} already installed; if you really want to reinstall it, you may want to run 'ghcup rm ghc #{prettyVer v}' first|]
                        pure ExitSuccess
-                      VLeft (V (BuildFailed tmpdir e)) -> do
+                      VLeft err@(V (BuildFailed tmpdir _)) -> do
                        case keepDirs settings of
-                          Never -> runLogger ($(logError) [i|Build failed with #{e}
+                          Never -> runLogger $ $(logError) $ T.pack $ prettyShow err
-Check the logs at #{logsDir}|])
+                          _ -> runLogger ($(logError) [i|#{prettyShow err}
                          _ -> runLogger ($(logError) [i|Build failed with #{e}
 Check the logs at #{logsDir} and the build directory #{tmpdir} for more clues.
 Make sure to clean up #{tmpdir} afterwards.|])
                        pure $ ExitFailure 9
                      VLeft e -> do
-                        runLogger ($(logError) [i|#{e}|])
+                        runLogger $ $(logError) $ T.pack $ prettyShow e
                        pure $ ExitFailure 9
            Upgrade (uOpts) force -> do
@@ -1488,7 +1559,7 @@ Make sure to clean up #{tmpdir} afterwards.|])
                  runLogger $ $(logWarn) [i|No GHCup update available|]
                  pure ExitSuccess
                VLeft e -> do
-                  runLogger ($(logError) [i|#{e}|])
+                  runLogger $ $(logError) $ T.pack $ prettyShow e
                  pure $ ExitFailure 11
            ToolRequirements ->
@@ -1505,10 +1576,7 @@ Make sure to clean up #{tmpdir} afterwards.|])
                >>= \case
                      VRight _ -> pure ExitSuccess
                      VLeft  e -> do
-                        runLogger
+                        runLogger $ $(logError) $ T.pack $ prettyShow e
                          ($(logError)
                            [i|Error getting tool requirements: #{e}|]
                          )
                        pure $ ExitFailure 12
            ChangeLog (ChangeLogOptions {..}) -> do
@@ -1553,31 +1621,72 @@ Make sure to clean up #{tmpdir} afterwards.|])
            ef@(ExitFailure _) -> exitWith ef
  pure ()
-
+fromVersion :: (MonadFail m, MonadReader AppState m, MonadThrow m, MonadIO m, MonadCatch m)
 fromVersion :: Monad m
            => GHCupDownloads
            -> Maybe ToolVersion
            -> Tool
-            -> Excepts '[TagNotFound, VerNotFound] m (GHCTargetVersion, VersionInfo)
+            -> Excepts '[TagNotFound, NextVerNotFound, NoToolVersionSet] m (GHCTargetVersion, Maybe VersionInfo)
-fromVersion av Nothing tool =
+fromVersion av tv tool = fromVersion' av (toSetToolVer tv) tool
-  (\(x, y) -> (mkTVer x, y)) <$> getRecommended av tool
+
 fromVersion' :: (MonadFail m, MonadReader AppState m, MonadThrow m, MonadIO m, MonadCatch m)
             => GHCupDownloads
             -> SetToolVersion
             -> Tool
             -> Excepts '[TagNotFound, NextVerNotFound, NoToolVersionSet] m (GHCTargetVersion, Maybe VersionInfo)
 fromVersion' av SetRecommended tool =
  (\(x, y) -> (mkTVer x, Just y)) <$> getRecommended av tool
    ?? TagNotFound Recommended tool
-fromVersion av (Just (ToolVersion v)) tool = do
+fromVersion' av (SetToolVersion v) tool = do
-  vi <- getVersionInfo (_tvVersion v) tool av ?? VerNotFound (_tvVersion v) tool
+  let vi = getVersionInfo (_tvVersion v) tool av
  case pvp $ prettyVer (_tvVersion v) of
    Left _ -> pure (v, vi)
    Right (PVP (major' :|[minor'])) ->
      case getLatestGHCFor (fromIntegral major') (fromIntegral minor') av of
-        Just (v', vi') -> pure (GHCTargetVersion (_tvTarget v) v', vi')
+        Just (v', vi') -> pure (GHCTargetVersion (_tvTarget v) v', Just vi')
        Nothing -> pure (v, vi)
    Right _ -> pure (v, vi)
-fromVersion av (Just (ToolTag Latest)) tool =
+fromVersion' av  (SetToolTag Latest) tool =
-  (\(x, y) -> (mkTVer x, y)) <$> getLatest av tool ?? TagNotFound Latest tool
+  (\(x, y) -> (mkTVer x, Just y)) <$> getLatest av tool ?? TagNotFound Latest tool
-fromVersion av (Just (ToolTag Recommended)) tool =
+fromVersion' av (SetToolTag Recommended) tool =
-  (\(x, y) -> (mkTVer x, y)) <$> getRecommended av tool ?? TagNotFound Recommended tool
+  (\(x, y) -> (mkTVer x, Just y)) <$> getRecommended av tool ?? TagNotFound Recommended tool
-fromVersion av (Just (ToolTag (Base pvp''))) GHC =
+fromVersion' av (SetToolTag (Base pvp'')) GHC =
-  (\(x, y) -> (mkTVer x, y)) <$> getLatestBaseVersion av pvp'' ?? TagNotFound (Base pvp'') GHC
+  (\(x, y) -> (mkTVer x, Just y)) <$> getLatestBaseVersion av pvp'' ?? TagNotFound (Base pvp'') GHC
-fromVersion _ (Just (ToolTag t')) tool =
+fromVersion' av SetNext tool = do
  next <- case tool of
    GHC -> do
      set <- fmap _tvVersion $ ghcSet Nothing !? NoToolVersionSet tool
      ghcs <- rights <$> lift getInstalledGHCs
      (headMay
        . tail
        . dropWhile (\GHCTargetVersion {..} -> _tvVersion /= set)
        . cycle
        . sortBy (\x y -> compare (_tvVersion x) (_tvVersion y))
        . filter (\GHCTargetVersion {..} -> _tvTarget == Nothing)
        $ ghcs) ?? NoToolVersionSet tool
    Cabal -> do
      set <- cabalSet !? NoToolVersionSet tool
      cabals <- rights <$> lift getInstalledCabals
      (fmap (GHCTargetVersion Nothing)
        . headMay
        . tail
        . dropWhile (/= set)
        . cycle
        . sort
        $ cabals) ?? NoToolVersionSet tool
    HLS -> do
      set <- hlsSet !? NoToolVersionSet tool
      hlses <- rights <$> lift getInstalledHLSs
      (fmap (GHCTargetVersion Nothing)
        . headMay
        . tail
        . dropWhile (/= set)
        . cycle
        . sort
        $ hlses) ?? NoToolVersionSet tool
    GHCup -> fail "GHCup cannot be set"
  let vi = getVersionInfo (_tvVersion next) tool av
  pure (next, vi)
 fromVersion' _ (SetToolTag t') tool =
  throwE $ TagNotFound t' tool
@@ -1781,7 +1890,7 @@ GHCup base dir: #{toFilePath diBaseDir}
 GHCup bin dir: #{toFilePath diBinDir}
 GHCup GHC directory: #{toFilePath diGHCDir}
 GHCup cache directory: #{toFilePath diCacheDir}
-Architecture: #{prettyArch diArch}
+Architecture: #{prettyShow diArch}
-Platform: #{prettyPlatform diPlatform}
+Platform: #{prettyShow diPlatform}
 Version: #{describe_result}|]
--- a/8
+++ b/8
@@ -69,7 +69,7 @@ _done() {
 download_ghcup() {
 	_plat="$(uname -s)"
 	_arch=$(uname -m)
-	_ghver="0.1.12"
+	_ghver="0.1.13"
 	_base_url="https://downloads.haskell.org/~ghcup"
    case "${_plat}" in
@@ -89,6 +89,12 @@ download_ghcup() {
 				i*86)
 					_url=${_base_url}/${_ghver}/i386-linux-ghcup-${_ghver}
 					;;
 				armv7*)
 					_url=${_base_url}/${_ghver}/armv7-linux-ghcup-${_ghver}
 					;;
 				aarch64|arm64|armv8l)
 					_url=${_base_url}/${_ghver}/aarch64-linux-ghcup-${_ghver}
 					;;
 				*) die "Unknown architecture: ${_arch}"
 					;;
 			esac
--- a/cabal.ghc8104.project
+++ b/cabal.ghc8104.project
@@ -1,7 +1,7 @@
 with-compiler: ghc-8.10.3
 packages: ./ghcup.cabal
 with-compiler: ghc-8.10.4
 optional-packages: ./3rdparty/*/*.cabal
 source-repository-package
@@ -22,6 +22,11 @@ source-repository-package
    tag: bf6d28cf989b70286e12fecc183d5bbf5454a1a2
    subdir: hpath-directory
 source-repository-package
    type: git
    location: https://github.com/hasufell/streamly.git
    tag: f921e78236c6b44a6673b5e1a1803d2e7102d806
 optimization: 2
 package streamly
--- a/cabal.ghc8104.project.freeze
+++ b/cabal.ghc8104.project.freeze
@@ -7,7 +7,7 @@ constraints: any.Cabal ==3.2.1.0,
             any.StateVar ==1.2.1,
             any.abstract-deque ==0.3,
             abstract-deque -usecas,
-             any.aeson ==1.5.5.1,
+             any.aeson ==1.5.6.0,
             aeson -bytestring-builder -cffi -developer -fast,
             any.aeson-pretty ==0.8.8,
             aeson-pretty -lib-only,
@@ -20,11 +20,11 @@ constraints: any.Cabal ==3.2.1.0,
             any.array ==0.5.4.0,
             any.ascii-string ==1.0.1.4,
             any.assoc ==1.0.2,
-             any.async ==2.2.2,
+             any.async ==2.2.3,
             async -bench,
             any.atomic-primops ==0.8.4,
             atomic-primops -debug,
-             any.attoparsec ==0.13.2.4,
+             any.attoparsec ==0.13.2.5,
             attoparsec -developer,
             any.auto-update ==0.1.6,
             any.base ==4.14.1.0,
@@ -52,7 +52,7 @@ constraints: any.Cabal ==3.2.1.0,
             chs-deps -cross,
             any.clock ==0.8.2,
             clock -llvm,
-             any.cmdargs ==0.10.20,
+             any.cmdargs ==0.10.21,
             cmdargs +quotation -testprog,
             any.colour ==2.3.5,
             any.comonad ==5.0.8,
@@ -68,9 +68,9 @@ constraints: any.Cabal ==3.2.1.0,
             any.cryptohash-sha256 ==0.11.102.0,
             cryptohash-sha256 -exe +use-cbits,
             any.data-default-class ==0.1.2.0,
-             any.data-fix ==0.3.0,
+             any.data-fix ==0.3.1,
             any.deepseq ==1.4.4.0,
-             any.deferred-folds ==0.9.15,
+             any.deferred-folds ==0.9.16,
             any.directory ==1.3.6.0,
             any.distributive ==0.6.2.1,
             distributive +semigroups +tagged,
@@ -79,22 +79,22 @@ constraints: any.Cabal ==3.2.1.0,
             any.easy-file ==0.2.2,
             any.errors ==2.3.0,
             any.exceptions ==0.10.4,
-             any.fast-logger ==3.0.2,
+             any.fast-logger ==3.0.3,
             any.filepath ==1.4.2.1,
             any.focus ==1.0.2,
-             any.foldl ==1.4.10,
+             any.foldl ==1.4.11,
             any.free ==5.1.6,
             any.fusion-plugin-types ==0.1.0,
             any.generic-arbitrary ==0.1.0,
-             any.generics-sop ==0.5.1.0,
+             any.generics-sop ==0.5.1.1,
-             any.ghc-boot-th ==8.10.3,
+             any.ghc-boot-th ==8.10.4,
             any.ghc-prim ==0.6.1,
             ghcup -internal-downloader -tar -tui,
             any.happy ==1.20.0,
-             any.hashable ==1.3.0.0,
+             any.hashable ==1.3.1.0,
-             hashable -examples +integer-gmp +sse2 -sse41,
+             hashable +integer-gmp,
             any.haskell-src-exts ==1.23.1,
-             any.haskell-src-meta ==0.8.5,
+             any.haskell-src-meta ==0.8.7,
             any.haskus-utils-data ==1.3,
             any.haskus-utils-types ==1.5,
             any.haskus-utils-variant ==3.0,
@@ -113,6 +113,7 @@ constraints: any.Cabal ==3.2.1.0,
             any.hspec-golden-aeson ==0.7.0.0,
             any.indexed-profunctors ==0.1,
             any.indexed-traversable ==0.1.1,
             any.indexed-traversable-instances ==0.1,
             any.integer-gmp ==1.0.3.0,
             any.integer-logarithms ==1.0.3.1,
             integer-logarithms -check-bounds +integer-gmp,
@@ -130,10 +131,10 @@ constraints: any.Cabal ==3.2.1.0,
             math-functions +system-erf +system-expm1,
             any.megaparsec ==9.0.1,
             megaparsec -dev,
-             any.microlens ==0.4.11.2,
+             any.microlens ==0.4.12.0,
             any.microlens-mtl ==0.2.0.1,
             any.microlens-th ==0.4.3.9,
-             any.mmorph ==1.1.4,
+             any.mmorph ==1.1.5,
             any.monad-control ==1.0.2.3,
             any.monad-logger ==0.3.36,
             monad-logger +template_haskell,
@@ -146,10 +147,11 @@ constraints: any.Cabal ==3.2.1.0,
             network -devel,
             any.old-locale ==1.0.0.7,
             any.old-time ==1.1.0.3,
-             any.optics ==0.3,
+             any.optics ==0.4,
-             any.optics-core ==0.3.0.1,
+             any.optics-core ==0.4,
-             any.optics-extra ==0.3,
+             optics-core -explicit-generic-labels,
-             any.optics-th ==0.3.0.2,
+             any.optics-extra ==0.4,
             any.optics-th ==0.4,
             any.optics-vl ==0.2.1,
             any.optparse-applicative ==0.16.1.0,
             optparse-applicative +process,
@@ -157,21 +159,20 @@ constraints: any.Cabal ==3.2.1.0,
             os-release -devel,
             any.parallel ==3.2.2.0,
             any.parsec ==3.1.14.0,
-             any.parser-combinators ==1.2.1,
+             any.parser-combinators ==1.3.0,
             parser-combinators -dev,
             any.pretty ==1.1.3.6,
             any.pretty-terminal ==0.1.0.0,
             any.primitive ==0.7.0.1,
-             any.primitive-extras ==0.8,
+             any.primitive-extras ==0.8.2,
             any.primitive-unlifted ==0.1.3.0,
             any.process ==1.6.9.0,
-             any.profunctors ==5.6.1,
+             any.profunctors ==5.6.2,
             any.quickcheck-arbitrary-adt ==0.3.1.0,
             any.quickcheck-io ==0.2.0,
             any.random ==1.2.0,
-             any.recursion-schemes ==5.2.1,
+             any.recursion-schemes ==5.2.2,
             recursion-schemes +template-haskell,
             any.regex-base ==0.94.0.0,
             any.regex-posix ==0.96.0.0,
             regex-posix -_regex-posix-clib,
             any.resourcet ==1.2.4.2,
@@ -198,7 +199,7 @@ constraints: any.Cabal ==3.2.1.0,
             any.strict ==0.4.0.1,
             strict +assoc,
             any.strict-base ==0.4.0.0,
-             any.string-interpolate ==0.3.0.2,
+             any.string-interpolate ==0.3.1.0,
             string-interpolate -bytestring-builder -extended-benchmarks -text-builder,
             any.syb ==0.7.2.1,
             any.tagged ==0.8.6.1,
@@ -216,8 +217,7 @@ constraints: any.Cabal ==3.2.1.0,
             text-short -asserts,
             any.tf-random ==0.5,
             any.th-abstraction ==0.4.2.0,
-             any.th-compat ==0.1,
+             any.th-compat ==0.1.1,
             any.th-expand-syns ==0.4.6.0,
             any.th-lift ==0.8.2,
             any.th-lift-instances ==0.1.18,
             any.th-orphans ==0.13.11,
@@ -245,17 +245,17 @@ constraints: any.Cabal ==3.2.1.0,
             any.uri-bytestring ==0.3.3.0,
             uri-bytestring -lib-werror,
             any.utf8-string ==1.0.2,
-             any.uuid-types ==1.0.3,
+             any.uuid-types ==1.0.4,
             any.vector ==0.12.2.0,
             vector +boundschecks -internalchecks -unsafechecks -wall,
             any.vector-algorithms ==0.8.0.4,
             vector-algorithms +bench +boundschecks -internalchecks -llvm +properties -unsafechecks,
-             any.versions ==4.0.2,
+             any.versions ==4.0.3,
-             any.vty ==5.32,
+             any.vty ==5.33,
             any.wcwidth ==0.0.2,
             wcwidth -cli +split-base,
             any.word8 ==0.1.3,
             any.yaml ==0.11.5.0,
             yaml +no-examples +no-exe,
             zlib -non-blocking-ffi -pkg-config -static
-index-state: hackage.haskell.org 2021-02-04T20:08:20Z
+index-state: hackage.haskell.org 2021-02-27T05:49:45Z
--- a/cabal.ghc884.project
+++ b/cabal.ghc884.project
@@ -1,14 +1,8 @@
-- Generated by stackage-to-hackage
+packages: ./ghcup.cabal
 index-state: 2020-10-24T20:53:55Z
 with-compiler: ghc-8.8.4
-packages:
+optional-packages: ./3rdparty/*/*.cabal
    ./
  , 3rdparty/lzma/
  , 3rdparty/lzma-clib/
  , 3rdparty/zlib/
 source-repository-package
    type: git
@@ -20,28 +14,30 @@ source-repository-package
    type: git
    location: https://github.com/hasufell/hpath.git
    tag: bf6d28cf989b70286e12fecc183d5bbf5454a1a2
-    subdir: hpath-directory
+    subdir: hpath-io
            hpath-io
 source-repository-package
    type: git
-    location: https://github.com/hasufell/text-conversions.git
+    location: https://github.com/hasufell/hpath.git
-    tag: 9abf0e5e5664a3178367597c32db19880477a53c
+    tag: bf6d28cf989b70286e12fecc183d5bbf5454a1a2
    subdir: hpath-directory
-allow-older: *
+source-repository-package
-allow-newer: *
+    type: git
    location: https://github.com/hasufell/streamly.git
    tag: f921e78236c6b44a6673b5e1a1803d2e7102d806
-package lzma
+optimization: 2
    ghc-options: -O2
-package lzma-clib
+package streamly
-    ghc-options: -O2
+    ghc-options: -O2 -fspec-constr-recursive=16 -fmax-worker-args=16
 package zlib
    ghc-options: -O2
 package ghcup
    ghc-options: -O2 -fspec-constr-recursive=16 -fmax-worker-args=16
-package streamly
+constraints: http-io-streams -brotli
-    ghc-options: -O2 -fspec-constr-recursive=16 -fmax-worker-args=16
+
 package libarchive
  flags: -system-libarchive
 allow-newer: base, ghc-prim, template-haskell
--- a/cabal.ghc884.project.freeze
+++ b/cabal.ghc884.project.freeze
--- a/ghcup-0.0.2.yaml
+++ b/ghcup-0.0.2.yaml
@@ -1384,7 +1384,7 @@ ghcupDownloads:
              dlUri: https://oleg.fi/cabal-install-3.4.0.0-rc4/cabal-install-3.4.0.0-x86_64-freebsd-12.1-release.tar.xz
              dlHash: 9705e16d03497b46be4ad477e6c64d10890af853eafa8a9adf6dba89aa9e05f7
  GHCup:
-    0.1.11:
+    0.1.13:
      viTags:
      - Recommended
      - Latest
@@ -1394,22 +1394,22 @@ ghcupDownloads:
        A_64:
          Linux_UnknownLinux:
            unknown_versioning: &ghcup-64
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.11/x86_64-linux-ghcup-0.1.11
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-linux-ghcup-0.1.13
-              dlHash: 99d97c9a1dce76892001e5cffd50cc23bf804f2282998c546d1b965aa2179699
+              dlHash: 674266bb9fa85bbafd3c620c68fae4b3cc62507bd6ad9b116603e860bdee1f5a
          Darwin:
            unknown_versioning:
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.11/x86_64-apple-darwin-ghcup-0.1.11
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-apple-darwin-ghcup-0.1.13
-              dlHash: 4b91dcd9bfdc40534156b8fadea3f317b3c44af1255169895f4911a221f819c6
+              dlHash: 5e45cb0b69cd8ee4f7793b84042d4bd121609fa59531ef760fc98fa10c466e4d
          FreeBSD:
            unknown_versioning:
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.11/x86_64-portbld-freebsd-ghcup-0.1.11
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-portbld-freebsd-ghcup-0.1.13
-              dlHash: 6f04ce98d3f3eb9299ce74f8264aa956f0dc38a64a3bd12ee048b7f146e9e1b4
+              dlHash: 79ce3143a100b60b5294fa831abf091b9699e0bf3addb6c9956de706fc954902
          Linux_Alpine:
            unknown_versioning: *ghcup-64
        A_32:
          Linux_UnknownLinux:
            unknown_versioning: &ghcup-32
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.11/i386-linux-ghcup-0.1.11
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/i386-linux-ghcup-0.1.13
-              dlHash: ec339e4c2b8b4d502f66a03c0d3f112cb68cd922dd3c4a6f66323628cf6a76c2
+              dlHash: 4d7646027215b29384f1409399f66bd348421de8a6d53e47ae47c3b465e18fb0
          Linux_Alpine:
            unknown_versioning: *ghcup-32
--- a/ghcup-0.0.3.yaml
+++ b/ghcup-0.0.3.yaml
@@ -1451,7 +1451,7 @@ ghcupDownloads:
              dlUri: https://oleg.fi/cabal-install-3.4.0.0-rc4/cabal-install-3.4.0.0-x86_64-freebsd-12.1-release.tar.xz
              dlHash: 9705e16d03497b46be4ad477e6c64d10890af853eafa8a9adf6dba89aa9e05f7
  GHCup:
-    0.1.12:
+    0.1.13:
      viTags:
      - Recommended
      - Latest
@@ -1461,23 +1461,23 @@ ghcupDownloads:
        A_64:
          Linux_UnknownLinux:
            unknown_versioning: &ghcup-64
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/x86_64-linux-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-linux-ghcup-0.1.13
-              dlHash: 83088569ddf2d35df494f440dedd9c8eb2a53276d665f7de731f6554986c2ddb
+              dlHash: 674266bb9fa85bbafd3c620c68fae4b3cc62507bd6ad9b116603e860bdee1f5a
          Darwin:
            unknown_versioning:
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/x86_64-apple-darwin-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-apple-darwin-ghcup-0.1.13
-              dlHash: 1336efb0851e1ed267838f97f6c36cbceb5363ad0ae359f04f1bc43d0c5f2cef
+              dlHash: 5e45cb0b69cd8ee4f7793b84042d4bd121609fa59531ef760fc98fa10c466e4d
          FreeBSD:
            unknown_versioning:
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/x86_64-portbld-freebsd-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-portbld-freebsd-ghcup-0.1.13
-              dlHash: a72123e972a53d667574c7d276a81842701a07fce2b434e4d856e561c34772fe
+              dlHash: 79ce3143a100b60b5294fa831abf091b9699e0bf3addb6c9956de706fc954902
          Linux_Alpine:
            unknown_versioning: *ghcup-64
        A_32:
          Linux_UnknownLinux:
            unknown_versioning: &ghcup-32
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/i386-linux-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/i386-linux-ghcup-0.1.13
-              dlHash: 4bc79a272dfcd16143f08d9f8e33f2fef66dc53f3a0659bdab56ac3cbecf9e84
+              dlHash: 4d7646027215b29384f1409399f66bd348421de8a6d53e47ae47c3b465e18fb0
          Linux_Alpine:
            unknown_versioning: *ghcup-32
  HLS:
--- a/ghcup-0.0.4.yaml
+++ b/ghcup-0.0.4.yaml
@@ -138,6 +138,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/7.10.3/ghc-7.10.3-src.tar.xz
        dlSubdir: ghc-7.10.3
        dlHash: cf90cedce1c28fd0e2b9e72fe8a938756668d18ea1fcc884a19f698658ac4fef
      viPostRemove: &ghc-post-remove "After removing GHC you might also want to clean up your cabal store at: ~/.cabal/store/ghc-<ghcver>"
      viArch:
        A_64:
          Linux_Debian:
@@ -201,6 +202,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.0.2/ghc-8.0.2-src.tar.xz
        dlSubdir: ghc-8.0.2
        dlHash: 11625453e1d0686b3fa6739988f70ecac836cadc30b9f0c8b49ef9091d6118b1
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -259,6 +261,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.2.2/ghc-8.2.2-src.tar.xz
        dlSubdir: ghc-8.2.2
        dlHash: bb8ec3634aa132d09faa270bbd604b82dfa61f04855655af6f9d14a9eedc05fc
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -326,6 +329,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.4.1/ghc-8.4.1-src.tar.xz
        dlSubdir: ghc-8.4.1
        dlHash: 39ae2f25192408f355693e5a3c8b6ff613ddb7c4da998fdf26210143a61839d2
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -375,6 +379,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.4.2/ghc-8.4.2-src.tar.xz
        dlSubdir: ghc-8.4.2
        dlHash: 01cc32f24a06bf3b2428351b6d7fec791e82d042426d29ad9e5a245b35f0047b
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -429,6 +434,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-src.tar.xz
        dlSubdir: ghc-8.4.3
        dlHash: ae47afda985830de8811243255aa3744dfb9207cb980af74393298b2b62160d6
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -477,6 +483,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.4.4/ghc-8.4.4-src.tar.xz
        dlSubdir: ghc-8.4.4
        dlHash: 11117735a58e507c481c09f3f39ae5a314e9fbf49fc3109528f99ea7959004b2
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -550,6 +557,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.6.1/ghc-8.6.1-src.tar.xz
        dlSubdir: ghc-8.6.1
        dlHash: 2c25c26d1e5c47c7cbb2a1d8e6456524033e7a71409184dd3125e3fc5a3c7036
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -604,6 +612,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.6.2/ghc-8.6.2-src.tar.xz
        dlSubdir: ghc-8.6.2
        dlHash: caaa819d21280ecde90a4773143dee188711e9ff175a27cfbaee56eb851d76d5
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -649,6 +658,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.6.3/ghc-8.6.3-src.tar.xz
        dlSubdir: ghc-8.6.3
        dlHash: 9f9e37b7971935d88ba80426c36af14b1e0b3ec1d9c860f44a4391771bc07f23
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -712,6 +722,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.6.4/ghc-8.6.4-src.tar.xz
        dlSubdir: ghc-8.6.4
        dlHash: 5b5d07e4463203a433c3ed3df461ba6cce11b6d2b9b264db31f3429075d0303a
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -760,6 +771,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.6.5/ghc-8.6.5-src.tar.xz
        dlSubdir: ghc-8.6.5
        dlHash: 4d4aa1e96f4001b934ac6193ab09af5d6172f41f5a5d39d8e43393b9aafee361
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -839,6 +851,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.8.1/ghc-8.8.1-src.tar.xz
        dlSubdir: ghc-8.8.1
        dlHash: 908a83d9b814da74585de9d39687189e6260ec3848131f9d9236cab8a123721a
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -897,6 +910,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-src.tar.xz
        dlSubdir: ghc-8.8.2
        dlHash: 01cea54d90686b97bcc9960b108beaffccd4336dee930dcf9beaf52b1f370a0b
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -955,6 +969,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.8.3/ghc-8.8.3-src.tar.xz
        dlSubdir: ghc-8.8.3
        dlHash: e0dcc0aaf3e234c5978f29e6df62947e97720ab404ec0158343df211c5480f89
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -1023,6 +1038,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.8.4/ghc-8.8.4-src.tar.xz
        dlSubdir: ghc-8.8.4
        dlHash: f0505e38b2235ff9f1090b51f44d6c8efd371068e5a6bb42a2a6d8b67b5ffc2d
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -1096,6 +1112,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.10.1/ghc-8.10.1-src.tar.xz
        dlSubdir: ghc-8.10.1
        dlHash: 4e3b07f83a266b3198310f19f71e371ebce97c769b14f0d688f4cbf2a2a1edf5
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -1185,6 +1202,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.10.2/ghc-8.10.2-src.tar.xz
        dlSubdir: ghc-8.10.2
        dlHash: 9c573a4621a78723950617c223559bdc325ea6a3409264aedf68f05510b0880b
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -1273,6 +1291,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.10.3/ghc-8.10.3-src.tar.xz
        dlSubdir: ghc-8.10.3
        dlHash: ccdc8319549028a708d7163e2967382677b1a5a379ff94d948195b5cf46eb931
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -1362,6 +1381,8 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/8.10.4/ghc-8.10.4-src.tar.xz
        dlSubdir: ghc-8.10.4
        dlHash: 52af871b4e08550257d720c2944ac85727d0b948407cef1bebfe7508c224910e
      viPostRemove: *ghc-post-remove
      viPreCompile: "If you have autoconf >= 2.70 you'll need this patch https://gitlab.haskell.org/ghc/ghc/-/snippets/2040 (see the --patchdir option)"
      viArch:
        A_64:
          Linux_Debian:
@@ -1451,6 +1472,7 @@ ghcupDownloads:
        dlUri: https://downloads.haskell.org/~ghc/9.0.1/ghc-9.0.1-src.tar.xz
        dlSubdir: ghc-9.0.1
        dlHash: a5230314e4065f9fcc371dfe519748fd85c825b279abf72a24e09b83578a35f9
      viPostRemove: *ghc-post-remove
      viArch:
        A_64:
          Linux_Debian:
@@ -1671,7 +1693,7 @@ ghcupDownloads:
              dlUri: https://downloads.haskell.org/~ghcup/unofficial-bindists/cabal/3.4.0.0/cabal-install-3.4.0.0-armv7-linux-bootstrapped.tar.xz
              dlHash: 16c0d1eaba24bed14f3e152970179a45d9f9bb5cc839b2c210ad06eb7d4826ed
  GHCup:
-    0.1.12:
+    0.1.13:
      viTags:
      - Recommended
      - Latest
@@ -1681,31 +1703,42 @@ ghcupDownloads:
        A_64:
          Linux_UnknownLinux:
            unknown_versioning: &ghcup-64
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/x86_64-linux-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-linux-ghcup-0.1.13
-              dlHash: 83088569ddf2d35df494f440dedd9c8eb2a53276d665f7de731f6554986c2ddb
+              dlHash: 674266bb9fa85bbafd3c620c68fae4b3cc62507bd6ad9b116603e860bdee1f5a
          Darwin:
            unknown_versioning:
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/x86_64-apple-darwin-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-apple-darwin-ghcup-0.1.13
-              dlHash: 1336efb0851e1ed267838f97f6c36cbceb5363ad0ae359f04f1bc43d0c5f2cef
+              dlHash: 5e45cb0b69cd8ee4f7793b84042d4bd121609fa59531ef760fc98fa10c466e4d
          FreeBSD:
            unknown_versioning:
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/x86_64-portbld-freebsd-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/x86_64-portbld-freebsd-ghcup-0.1.13
-              dlHash: a72123e972a53d667574c7d276a81842701a07fce2b434e4d856e561c34772fe
+              dlHash: 79ce3143a100b60b5294fa831abf091b9699e0bf3addb6c9956de706fc954902
          Linux_Alpine:
            unknown_versioning: *ghcup-64
        A_32:
          Linux_UnknownLinux:
            unknown_versioning: &ghcup-32
-              dlUri: https://downloads.haskell.org/~ghcup/0.1.12/i386-linux-ghcup-0.1.12
+              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/i386-linux-ghcup-0.1.13
-              dlHash: 4bc79a272dfcd16143f08d9f8e33f2fef66dc53f3a0659bdab56ac3cbecf9e84
+              dlHash: 4d7646027215b29384f1409399f66bd348421de8a6d53e47ae47c3b465e18fb0
          Linux_Alpine:
            unknown_versioning: *ghcup-32
        A_ARM64:
          Linux_UnknownLinux:
            unknown_versioning:
              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/aarch64-linux-ghcup-0.1.13
              dlHash: c60be7ca13454a9ea5cfe1aacd57809a01605c9533f40a433543d443ac16e439
        A_ARM:
          Linux_UnknownLinux:
            unknown_versioning:
              dlUri: https://downloads.haskell.org/~ghcup/0.1.13/armv7-linux-ghcup-0.1.13
              dlHash: d0d047dce694a43ce2872c28ad05b22541c43d6e222eed172b9f909f5dbadb8c
  HLS:
    1.0.0:
      viTags:
        - Recommended
        - Latest
      viChangeLog: https://github.com/haskell/haskell-language-server/blob/master/ChangeLog.md#100
      viPostInstall: "This is just the server part of your LSP configuration. Consult the README on how to configure HLS, your project and your LSP client in your editor: https://github.com/haskell/haskell-language-server/blob/master/README.md"
      viArch:
        A_64:
          Linux_UnknownLinux:
--- a/ghcup.cabal
+++ b/ghcup.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               ghcup
-version:            0.1.12
+version:            0.1.14
 synopsis:           ghc toolchain installer as an exe/library
 description:
  A rewrite of the shell script ghcup, for providing
@@ -150,6 +150,9 @@ common optparse-applicative
 common parsec
  build-depends: parsec >=3.1
 common pretty
  build-depends: pretty >=1.1.3.1
 common pretty-terminal
  build-depends: pretty-terminal >=0.1.0.0
@@ -288,6 +291,7 @@ library
    , optics
    , optics-vl
    , parsec
    , pretty
    , pretty-terminal
    , regex-posix
    , resourcet
@@ -336,11 +340,13 @@ library
    GHCup.Utils.Version.QQ
    GHCup.Version
  other-modules:
    Paths_ghcup
  default-extensions:
    Strict
    StrictData
  -- other-modules:
  -- other-extensions:
  hs-source-dirs:  lib
@@ -375,6 +381,7 @@ executable ghcup
    , monad-logger
    , mtl
    , optparse-applicative
    , pretty
    , pretty-terminal
    , resourcet
    , safe
@@ -430,6 +437,7 @@ executable ghcup-gen
    , mtl
    , optics
    , optparse-applicative
    , pretty
    , pretty-terminal
    , regex-posix
    , resourcet
--- a/lib/GHCup.hs
+++ b/lib/GHCup.hs
@@ -525,7 +525,7 @@ setGHC ver sghc = do
  let verBS = verToBS (_tvVersion ver)
  ghcdir                        <- lift $ ghcupGHCDir ver
-  whenM (lift $ fmap not $ ghcInstalled ver) (throwE (NotInstalled GHC (ver ^. tvVersion % to prettyVer)))
+  whenM (lift $ fmap not $ ghcInstalled ver) (throwE (NotInstalled GHC ver))
  -- symlink destination
  AppState { dirs = Dirs {..} } <- lift ask
@@ -605,7 +605,7 @@ setCabal ver = do
  whenM (liftIO $ fmap not $ doesFileExist (binDir </> targetFile))
    $ throwE
-    $ NotInstalled Cabal (prettyVer ver)
+    $ NotInstalled Cabal (GHCTargetVersion Nothing ver)
  let cabalbin = binDir </> [rel|cabal|]
@@ -647,7 +647,7 @@ setHLS ver = do
  -- set haskell-language-server-<ghcver> symlinks
  bins <- lift $ hlsServerBinaries ver
-  when (bins == []) $ throwE $ NotInstalled HLS (prettyVer ver)
+  when (bins == []) $ throwE $ NotInstalled HLS (GHCTargetVersion Nothing ver)
  forM_ bins $ \f -> do
    let destL = toFilePath f
@@ -929,7 +929,7 @@ rmGHCVer :: ( MonadReader AppState m
 rmGHCVer ver = do
  isSetGHC <- lift $ fmap (maybe False (== ver)) $ ghcSet (_tvTarget ver)
-  whenM (lift $ fmap not $ ghcInstalled ver) (throwE (NotInstalled GHC (ver ^. tvVersion % to prettyVer)))
+  whenM (lift $ fmap not $ ghcInstalled ver) (throwE (NotInstalled GHC ver))
  dir <- lift $ ghcupGHCDir ver
  -- this isn't atomic, order matters
@@ -970,7 +970,7 @@ rmCabalVer :: (MonadReader AppState m, MonadThrow m, MonadLogger m, MonadIO m, M
           => Version
           -> Excepts '[NotInstalled] m ()
 rmCabalVer ver = do
-  whenM (lift $ fmap not $ cabalInstalled ver) $ throwE (NotInstalled Cabal (prettyVer ver))
+  whenM (lift $ fmap not $ cabalInstalled ver) $ throwE (NotInstalled Cabal (GHCTargetVersion Nothing ver))
  cSet      <- lift $ cabalSet
@@ -993,7 +993,7 @@ rmHLSVer :: (MonadReader AppState m, MonadThrow m, MonadLogger m, MonadIO m, Mon
         => Version
         -> Excepts '[NotInstalled] m ()
 rmHLSVer ver = do
-  whenM (lift $ fmap not $ hlsInstalled ver) $ throwE (NotInstalled HLS (prettyVer ver))
+  whenM (lift $ fmap not $ hlsInstalled ver) $ throwE (NotInstalled HLS (GHCTargetVersion Nothing ver))
  isHlsSet      <- lift $ hlsSet
@@ -1240,7 +1240,7 @@ Stage1Only = YES|]
      $ c
    tarName <-
      parseRel
-        [i|ghc-#{prettyTVer tver}-#{prettyPfReq pfreq}-#{cDigest}.tar#{takeExtension (toFilePath tar)}|]
+        [i|ghc-#{tVerToText tver}-#{pfReqToString pfreq}-#{cDigest}.tar#{takeExtension (toFilePath tar)}|]
    let tarPath = cacheDir </> tarName
    handleIO (throwE . CopyError . show) $ liftIO $ copyFile (workdir </> tar)
                                                             tarPath
--- a/lib/GHCup/Download.hs
+++ b/lib/GHCup/Download.hs
@@ -137,30 +137,8 @@ getDownloadsF urlSource = do
      bsExt <- reThrowAll DownloadFailed $ downloadBS uri
      ext <- lE' JSONDecodeError $ bimap show id $ Y.decodeEither' (L.toStrict bsExt)
      pure (mergeGhcupInfo base ext)
 where
  readFromCache :: (MonadIO m, MonadCatch m, MonadLogger m, MonadReader AppState m)
                => Excepts '[JSONError, FileDoesNotExistError] m GHCupInfo
  readFromCache = do
    AppState {dirs = Dirs {..}} <- lift ask
    lift $ $(logWarn)
      [i|Could not get download info, trying cached version (this may not be recent!)|]
    let path = view pathL' ghcupURL
    yaml_file <- (cacheDir </>) <$> urlBaseName path
    bs        <-
      handleIO' NoSuchThing
                (\_ -> throwE $ FileDoesNotExistError (toFilePath yaml_file))
      $ liftIO
      $ readFile yaml_file
    lE' JSONDecodeError $ bimap show id $ Y.decodeEither' (L.toStrict bs)
-  getBase :: (MonadFail m, MonadIO m, MonadCatch m, MonadLogger m, MonadReader AppState m)
+    where
          => Excepts '[JSONError , FileDoesNotExistError] m GHCupInfo
  getBase =
    handleIO (\_ -> readFromCache)
    $ catchE @_ @'[JSONError, FileDoesNotExistError]
        (\(DownloadFailed _) -> readFromCache)
    $ ((reThrowAll @_ @_ @'[JSONError, DownloadFailed] DownloadFailed $ smartDl ghcupURL)
      >>= (liftE . lE' @_ @_ @'[JSONError] JSONDecodeError . bimap show id . Y.decodeEither' . L.toStrict))
  mergeGhcupInfo :: GHCupInfo -- ^ base to merge with
                 -> GHCupInfo -- ^ extension overwriting the base
@@ -172,6 +150,32 @@ getDownloadsF urlSource = do
                           ) base
    in GHCupInfo tr new
 readFromCache :: (MonadIO m, MonadCatch m, MonadLogger m, MonadReader AppState m)
              => Excepts '[JSONError, FileDoesNotExistError] m GHCupInfo
 readFromCache = do
  AppState {dirs = Dirs {..}} <- lift ask
  lift $ $(logWarn)
    [i|Could not get download info, trying cached version (this may not be recent!)|]
  let path = view pathL' ghcupURL
  yaml_file <- (cacheDir </>) <$> urlBaseName path
  bs        <-
    handleIO' NoSuchThing
              (\_ -> throwE $ FileDoesNotExistError (toFilePath yaml_file))
    $ liftIO
    $ readFile yaml_file
  lE' JSONDecodeError $ bimap show id $ Y.decodeEither' (L.toStrict bs)
 getBase :: (MonadFail m, MonadIO m, MonadCatch m, MonadLogger m, MonadReader AppState m)
        => Excepts '[JSONError , FileDoesNotExistError] m GHCupInfo
 getBase =
  handleIO (\_ -> readFromCache)
  $ catchE @_ @'[JSONError, FileDoesNotExistError]
      (\(DownloadFailed _) -> readFromCache)
  $ ((reThrowAll @_ @_ @'[JSONError, DownloadFailed] DownloadFailed $ smartDl ghcupURL)
    >>= (liftE . lE' @_ @_ @'[JSONError] JSONDecodeError . bimap show id . Y.decodeEither' . L.toStrict))
    where
  -- First check if the json file is in the ~/.ghcup/cache dir
  -- and check it's access time. If it has been accessed within the
  -- last 5 minutes, just reuse it.
@@ -209,8 +213,8 @@ getDownloadsF urlSource = do
      then do
        accessTime <-
          PF.accessTimeHiRes
-            <$> (liftIO $ PF.getFileStatus (toFilePath json_file))
+            <$> liftIO (PF.getFileStatus (toFilePath json_file))
-        currentTime <- liftIO $ getPOSIXTime
+        currentTime <- liftIO getPOSIXTime
        -- access time won't work on most linuxes, but we can try regardless
        if (currentTime - accessTime) > 300
--- a/lib/GHCup/Errors.hs
+++ b/lib/GHCup/Errors.hs
@@ -1,7 +1,13 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 {-# LANGUAGE CPP               #-}
 {-# LANGUAGE ExistentialQuantification #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-# LANGUAGE TypeOperators           #-}
 {-# LANGUAGE DataKinds           #-}
 {-# LANGUAGE FlexibleInstances           #-}
 {-|
 Module      : GHCup.Errors
@@ -15,13 +21,21 @@ Portability : POSIX
 module GHCup.Errors where
 import           GHCup.Types
 import           GHCup.Utils.Prelude
 #if !defined(TAR)
 import           Codec.Archive
 #endif
 import           Control.Exception.Safe
 import           Data.ByteString                ( ByteString )
 import           Data.String.Interpolate
 import           Data.Text                      ( Text )
 import           Data.Versions
 import           Haskus.Utils.Variant
 import           HPath
 import           Haskus.Utils.Variant
 import           Text.PrettyPrint
 import           Text.PrettyPrint.HughesPJClass
 import           URI.ByteString
@@ -35,101 +49,203 @@ import           HPath
 data NoCompatiblePlatform = NoCompatiblePlatform String -- the platform we got
  deriving Show
 instance Pretty NoCompatiblePlatform where
  pPrint (NoCompatiblePlatform str') =
    text ("Could not find a compatible platform. Got: " ++ str')
 -- | Unable to find a download for the requested versio/distro.
 data NoDownload = NoDownload
  deriving Show
 instance Pretty NoDownload where
  pPrint NoDownload =
    text "Unable to find a download for the requested version/distro."
 -- | No update available or necessary.
 data NoUpdate = NoUpdate
  deriving Show
 instance Pretty NoUpdate where
  pPrint NoUpdate = text "No update available or necessary."
 -- | The Architecture is unknown and unsupported.
 data NoCompatibleArch = NoCompatibleArch String
  deriving Show
 instance Pretty NoCompatibleArch where
  pPrint (NoCompatibleArch arch) =
    text ("The Architecture is unknown or unsupported. Got: " ++ arch)
 -- | Unable to figure out the distribution of the host.
 data DistroNotFound = DistroNotFound
  deriving Show
 instance Pretty DistroNotFound where
  pPrint DistroNotFound =
    text "Unable to figure out the distribution of the host."
 -- | The archive format is unknown. We don't know how to extract it.
 data UnknownArchive = UnknownArchive ByteString
  deriving Show
 instance Pretty UnknownArchive where
  pPrint (UnknownArchive file) =
    text [i|The archive format is unknown. We don't know how to extract the file "#{decUTF8Safe file}"|]
 -- | The scheme is not supported (such as ftp).
 data UnsupportedScheme = UnsupportedScheme
  deriving Show
 instance Pretty UnsupportedScheme where
  pPrint UnsupportedScheme = text "The scheme is not supported (such as ftp)."
 -- | Unable to copy a file.
 data CopyError = CopyError String
  deriving Show
 instance Pretty CopyError where
  pPrint (CopyError reason) =
    text ("Unable to copy a file. Reason was: " ++ reason)
 -- | Unable to find a tag of a tool.
 data TagNotFound = TagNotFound Tag Tool
  deriving Show
-- | Unable to find a version of a tool.
+instance Pretty TagNotFound where
-data VerNotFound = VerNotFound Version Tool
+  pPrint (TagNotFound tag tool) =
    text "Unable to find tag" <+> pPrint tag <+> text [i|of tool "#{tool}"|]
 -- | Unable to find the next version of a tool (the one after the currently
 -- set one).
 data NextVerNotFound = NextVerNotFound Tool
  deriving Show
 instance Pretty NextVerNotFound where
  pPrint (NextVerNotFound tool) =
    text [i|Unable to find next (the one after the currently set one) version of tool "#{tool}"|]
 -- | The tool (such as GHC) is already installed with that version.
 data AlreadyInstalled = AlreadyInstalled Tool Version
  deriving Show
 instance Pretty AlreadyInstalled where
  pPrint (AlreadyInstalled tool ver') =
    text [i|#{tool}-#{prettyShow ver'} is already installed|]
 -- | The tool is not installed. Some operations rely on a tool
 -- to be installed (such as setting the current GHC version).
-data NotInstalled = NotInstalled Tool Text
+data NotInstalled = NotInstalled Tool GHCTargetVersion
  deriving Show
 instance Pretty NotInstalled where
  pPrint (NotInstalled tool ver) =
    text [i|The version "#{prettyShow ver}" of the tool "#{tool}" is not installed.|]
 -- | An executable was expected to be in PATH, but was not found.
 data NotFoundInPATH = NotFoundInPATH (Path Rel)
  deriving Show
 instance Pretty NotFoundInPATH where
  pPrint (NotFoundInPATH exe) =
    text [i|The exe "#{decUTF8Safe . toFilePath $ exe}" was not found in PATH.|]
 -- | JSON decoding failed.
 data JSONError = JSONDecodeError String
  deriving Show
 instance Pretty JSONError where
  pPrint (JSONDecodeError err) =
    text [i|JSON decoding failed with: #{err}|]
 -- | A file that is supposed to exist does not exist
 -- (e.g. when we use file scheme to "download" something).
 data FileDoesNotExistError = FileDoesNotExistError ByteString
  deriving Show
 instance Pretty FileDoesNotExistError where
  pPrint (FileDoesNotExistError file) =
    text [i|File "#{decUTF8Safe file}" does not exist.|]
 data TarDirDoesNotExist = TarDirDoesNotExist TarDir
  deriving Show
 instance Pretty TarDirDoesNotExist where
  pPrint (TarDirDoesNotExist dir) =
    text "Tar directory does not exist:" <+> pPrint dir
 -- | File digest verification failed.
 data DigestError = DigestError Text Text
  deriving Show
 instance Pretty DigestError where
  pPrint (DigestError currentDigest expectedDigest) =
    text [i|Digest error: expected "#{expectedDigest}", but got "#{currentDigest}"|]
 -- | Unexpected HTTP status.
 data HTTPStatusError = HTTPStatusError Int
  deriving Show
 instance Pretty HTTPStatusError where
  pPrint (HTTPStatusError status) =
    text [i|Unexpected HTTP status: #{status}|]
 -- | The 'Location' header was expected during a 3xx redirect, but not found.
 data NoLocationHeader = NoLocationHeader
  deriving Show
 instance Pretty NoLocationHeader where
  pPrint NoLocationHeader =
    text [i|The 'Location' header was expected during a 3xx redirect, but not found.|]
 -- | Too many redirects.
 data TooManyRedirs = TooManyRedirs
  deriving Show
 instance Pretty TooManyRedirs where
  pPrint TooManyRedirs =
    text [i|Too many redirections.|]
 -- | A patch could not be applied.
 data PatchFailed = PatchFailed
  deriving Show
 instance Pretty PatchFailed where
  pPrint PatchFailed =
    text [i|A patch could not be applied.|]
 -- | The tool requirements could not be found.
 data NoToolRequirements = NoToolRequirements
  deriving Show
 instance Pretty NoToolRequirements where
  pPrint NoToolRequirements =
    text [i|The Tool requirements could not be found.|]
 data InvalidBuildConfig = InvalidBuildConfig Text
  deriving Show
 instance Pretty InvalidBuildConfig where
  pPrint (InvalidBuildConfig reason) =
    text [i|The build config is invalid. Reason was: #{reason}|]
 data NoToolVersionSet = NoToolVersionSet Tool
  deriving Show
 instance Pretty NoToolVersionSet where
  pPrint (NoToolVersionSet tool) =
    text [i|No version is set for tool "#{tool}".|]
    -------------------------
    --[ High-level errors ]--
    -------------------------
 -- | A download failed. The underlying error is encapsulated.
-data DownloadFailed = forall es . Show (V es) => DownloadFailed (V es)
+data DownloadFailed = forall x xs . (Show x, Show (V xs), Pretty x, Pretty (V xs)) => DownloadFailed (V (x ': xs))
 instance Pretty DownloadFailed where
  pPrint (DownloadFailed reason) =
    text "Download failed:" <+> pPrint reason
 deriving instance Show DownloadFailed
@@ -137,12 +253,20 @@ deriving instance Show DownloadFailed
 -- | A build failed.
 data BuildFailed = forall es . Show (V es) => BuildFailed (Path Abs) (V es)
 instance Pretty BuildFailed where
  pPrint (BuildFailed path reason) =
    text [i|BuildFailed failed in dir "#{decUTF8Safe . toFilePath $ path}": #{reason}|]
 deriving instance Show BuildFailed
 -- | Setting the current GHC version failed.
 data GHCupSetError = forall es . Show (V es) => GHCupSetError (V es)
 instance Pretty GHCupSetError where
  pPrint (GHCupSetError reason) =
    text [i|Setting the current GHC version failed: #{reason}|]
 deriving instance Show GHCupSetError
@@ -155,11 +279,65 @@ deriving instance Show GHCupSetError
 data ParseError = ParseError String
  deriving Show
 instance Pretty ParseError where
  pPrint (ParseError reason) =
    text [i|Parsing failed: #{reason}|]
 instance Exception ParseError
 data UnexpectedListLength = UnexpectedListLength String
  deriving Show
 instance Pretty UnexpectedListLength where
  pPrint (UnexpectedListLength reason) =
    text [i|List length unexpected: #{reason}|]
 instance Exception UnexpectedListLength
    ------------------------
    --[ orphan instances ]--
    ------------------------
 instance Pretty (V '[]) where
   {-# INLINABLE pPrint #-}
   pPrint _ = undefined
 instance
   ( Pretty x
   , Pretty (V xs)
   ) => Pretty (V (x ': xs))
   where
      pPrint v = case popVariantHead v of
         Right x -> pPrint x
         Left xs -> pPrint xs
 instance Pretty URIParseError where
  pPrint (MalformedScheme reason) =
    text [i|Failed to parse URI. Malformed scheme: #{reason}|]
  pPrint MalformedUserInfo =
    text [i|Failed to parse URI. Malformed user info.|]
  pPrint MalformedQuery =
    text [i|Failed to parse URI. Malformed query.|]
  pPrint MalformedFragment =
    text [i|Failed to parse URI. Malformed fragment.|]
  pPrint MalformedHost =
    text [i|Failed to parse URI. Malformed host.|]
  pPrint MalformedPort =
    text [i|Failed to parse URI. Malformed port.|]
  pPrint MalformedPath =
    text [i|Failed to parse URI. Malformed path.|]
  pPrint (OtherError err) =
    text [i|Failed to parse URI: #{err}|]
 #if !defined(TAR)
 instance Pretty ArchiveResult where
  pPrint ArchiveFatal = text "Archive result: fatal"
  pPrint ArchiveFailed = text "Archive result: failed"
  pPrint ArchiveWarn = text "Archive result: warning"
  pPrint ArchiveRetry = text "Archive result: retry"
  pPrint ArchiveOk = text "Archive result: Ok"
  pPrint ArchiveEOF = text "Archive result: EOF"
 #endif
--- a/lib/GHCup/Types.hs
+++ b/lib/GHCup/Types.hs
@@ -1,6 +1,8 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 {-# LANGUAGE CPP               #-}
 {-# LANGUAGE DeriveGeneric     #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE QuasiQuotes           #-}
 {-|
 Module      : GHCup.Types
@@ -15,12 +17,16 @@ module GHCup.Types where
 import           Data.Map.Strict                ( Map )
 import           Data.List.NonEmpty             ( NonEmpty (..) )
 import           Data.String.Interpolate
 import           Data.Text                      ( Text )
 import           Data.Versions
 import           HPath
 import           Text.PrettyPrint.HughesPJClass (Pretty, pPrint, text)
 import           URI.ByteString
 import qualified Data.Text                     as T
 import qualified Data.Text.Encoding            as E
 import qualified Data.Text.Encoding.Error      as E
 import qualified GHC.Generics                  as GHC
 import qualified Graphics.Vty                  as Vty
@@ -106,6 +112,21 @@ data Tag = Latest
         | UnknownTag String  -- ^ used for upwardscompat
         deriving (Ord, Eq, GHC.Generic, Show) -- FIXME: manual JSON instance
 tagToString :: Tag -> String
 tagToString Recommended        = "recommended"
 tagToString Latest             = "latest"
 tagToString Prerelease         = "prerelease"
 tagToString (Base       pvp'') = "base-" ++ T.unpack (prettyPVP pvp'')
 tagToString (UnknownTag t    ) = t
 tagToString Old                = ""
 instance Pretty Tag where
  pPrint Recommended        = text "recommended"
  pPrint Latest             = text "latest"
  pPrint Prerelease         = text "prerelease"
  pPrint (Base       pvp'') = text ("base-" ++ T.unpack (prettyPVP pvp''))
  pPrint (UnknownTag t    ) = text t
  pPrint Old                = mempty
 data Architecture = A_64
                  | A_32
@@ -117,15 +138,18 @@ data Architecture = A_64
                  | A_ARM64
  deriving (Eq, GHC.Generic, Ord, Show)
-prettyArch :: Architecture -> String
+archToString :: Architecture -> String
-prettyArch A_64 = "x86_64"
+archToString A_64 = "x86_64"
-prettyArch A_32 = "i386"
+archToString A_32 = "i386"
-prettyArch A_PowerPC = "powerpc"
+archToString A_PowerPC = "powerpc"
-prettyArch A_PowerPC64 = "powerpc64"
+archToString A_PowerPC64 = "powerpc64"
-prettyArch A_Sparc = "sparc"
+archToString A_Sparc = "sparc"
-prettyArch A_Sparc64 = "sparc64"
+archToString A_Sparc64 = "sparc64"
-prettyArch A_ARM = "arm"
+archToString A_ARM = "arm"
-prettyArch A_ARM64 = "aarch64"
+archToString A_ARM64 = "aarch64"
 instance Pretty Architecture where
  pPrint = text . archToString
 data Platform = Linux LinuxDistro
              -- ^ must exit
@@ -134,10 +158,13 @@ data Platform = Linux LinuxDistro
              | FreeBSD
  deriving (Eq, GHC.Generic, Ord, Show)
-prettyPlatfrom :: Platform -> String
+platformToString :: Platform -> String
-prettyPlatfrom (Linux distro) = "linux-" ++ prettyDistro distro
+platformToString (Linux distro) = "linux-" ++ distroToString distro
-prettyPlatfrom Darwin = "darwin"
+platformToString Darwin = "darwin"
-prettyPlatfrom FreeBSD = "freebsd"
+platformToString FreeBSD = "freebsd"
 instance Pretty Platform where
  pPrint = text . platformToString
 data LinuxDistro = Debian
                 | Ubuntu
@@ -155,18 +182,21 @@ data LinuxDistro = Debian
                 -- ^ must exit
  deriving (Eq, GHC.Generic, Ord, Show)
-prettyDistro :: LinuxDistro -> String
+distroToString :: LinuxDistro -> String
-prettyDistro Debian = "debian"
+distroToString Debian = "debian"
-prettyDistro Ubuntu = "ubuntu"
+distroToString Ubuntu = "ubuntu"
-prettyDistro Mint= "mint"
+distroToString Mint= "mint"
-prettyDistro Fedora = "fedora"
+distroToString Fedora = "fedora"
-prettyDistro CentOS = "centos"
+distroToString CentOS = "centos"
-prettyDistro RedHat = "redhat"
+distroToString RedHat = "redhat"
-prettyDistro Alpine = "alpine"
+distroToString Alpine = "alpine"
-prettyDistro AmazonLinux = "amazon"
+distroToString AmazonLinux = "amazon"
-prettyDistro Gentoo = "gentoo"
+distroToString Gentoo = "gentoo"
-prettyDistro Exherbo = "exherbo"
+distroToString Exherbo = "exherbo"
-prettyDistro UnknownLinux = "unknown"
+distroToString UnknownLinux = "unknown"
 instance Pretty LinuxDistro where
  pPrint = text . distroToString
 -- | An encapsulation of a download. This can be used
@@ -191,6 +221,10 @@ data TarDir = RealDir (Path Rel)
            | RegexDir String     -- ^ will be compiled to regex, the first match will "win"
            deriving (Eq, Ord, GHC.Generic, Show)
 instance Pretty TarDir where
  pPrint (RealDir path) = text [i|#{E.decodeUtf8With E.lenientDecode . toFilePath $ path}|]
  pPrint (RegexDir regex) = text regex
 -- | Where to fetch GHCupDownloads from.
 data URLSource = GHCupURL
@@ -310,12 +344,15 @@ data PlatformResult = PlatformResult
  }
  deriving (Eq, Show)
-prettyPlatform :: PlatformResult -> String
+platResToString :: PlatformResult -> String
-prettyPlatform PlatformResult { _platform = plat, _distroVersion = Just v' }
+platResToString PlatformResult { _platform = plat, _distroVersion = Just v' }
  = show plat <> ", " <> T.unpack (prettyV v')
-prettyPlatform PlatformResult { _platform = plat, _distroVersion = Nothing }
+platResToString PlatformResult { _platform = plat, _distroVersion = Nothing }
  = show plat
 instance Pretty PlatformResult where
  pPrint = text . platResToString
 data PlatformRequest = PlatformRequest
  { _rArch     :: Architecture
  , _rPlatform :: Platform
@@ -323,14 +360,17 @@ data PlatformRequest = PlatformRequest
  }
  deriving (Eq, Show)
-prettyPfReq :: PlatformRequest -> String
+pfReqToString :: PlatformRequest -> String
-prettyPfReq (PlatformRequest arch plat ver) =
+pfReqToString (PlatformRequest arch plat ver) =
-  prettyArch arch ++ "-" ++ prettyPlatfrom plat ++ pver
+  archToString arch ++ "-" ++ platformToString plat ++ pver
 where
  pver = case ver of
           Just v' -> "-" ++ (T.unpack $ prettyV v')
           Nothing -> ""
 instance Pretty PlatformRequest where
  pPrint = text . pfReqToString
 -- | A GHC identified by the target platform triple
 -- and the version.
 data GHCTargetVersion = GHCTargetVersion
@@ -343,11 +383,13 @@ data GHCTargetVersion = GHCTargetVersion
 mkTVer :: Version -> GHCTargetVersion
 mkTVer = GHCTargetVersion Nothing
 tVerToText :: GHCTargetVersion -> Text
 tVerToText (GHCTargetVersion (Just t) v') = t <> "-" <> prettyVer v'
 tVerToText (GHCTargetVersion Nothing  v') = prettyVer v'
 -- | Assembles a path of the form: <target-triple>-<version>
-prettyTVer :: GHCTargetVersion -> Text
+instance Pretty GHCTargetVersion where
-prettyTVer (GHCTargetVersion (Just t) v') = t <> "-" <> prettyVer v'
+  pPrint = text . T.unpack . tVerToText
 prettyTVer (GHCTargetVersion Nothing  v') = prettyVer v'
 -- | A comparator and a version.
@@ -365,3 +407,9 @@ data VersionRange = SimpleRange (NonEmpty VersionCmp) -- And
                  | OrRange (NonEmpty VersionCmp) VersionRange
  deriving (Eq, GHC.Generic, Ord, Show)
 instance Pretty Versioning where
  pPrint = text . T.unpack . prettyV
 instance Pretty Version where
  pPrint = text . T.unpack . prettyVer
--- a/lib/GHCup/Utils.hs
+++ b/lib/GHCup/Utils.hs
@@ -650,7 +650,7 @@ ghcToolFiles ver = do
  -- fail if ghc is not installed
  whenM (fmap not $ liftIO $ doesDirectoryExist ghcdir)
-        (throwE (NotInstalled GHC (prettyTVer ver)))
+        (throwE (NotInstalled GHC ver))
  files    <- liftIO $ getDirsFiles' bindir
  -- figure out the <ver> suffix, because this might not be `Version` for
@@ -808,3 +808,12 @@ getVersionInfo v' tool dls =
    % _head
    )
    dls
 -- Gathering monoidal values
 traverseFold :: (Foldable t, Applicative m, Monoid b) => (a -> m b) -> t a -> m b
 traverseFold f = foldl (\mb a -> (<>) <$> mb <*> f a) (pure mempty)
 -- | Gathering monoidal values
 forFold :: (Foldable t, Applicative m, Monoid b) => t a -> (a -> m b) -> m b
 forFold = \t -> \f -> traverseFold f t
--- a/lib/GHCup/Utils/Dirs.hs
+++ b/lib/GHCup/Utils/Dirs.hs
@@ -185,9 +185,9 @@ getDirs = do
 ghcupConfigFile :: (MonadIO m)
                => Excepts '[JSONError] m UserSettings
 ghcupConfigFile = do
-  confDir <- liftIO $ ghcupConfigDir
+  confDir <- liftIO ghcupConfigDir
  let file = confDir </> [rel|config.yaml|]
-  bs <- liftIO $ handleIO' NoSuchThing (\_ -> pure $ Nothing) $ fmap Just $ readFile file 
+  bs <- liftIO $ handleIO' NoSuchThing (\_ -> pure Nothing) $ Just <$> readFile file
  case bs of
      Nothing -> pure defaultUserSettings
      Just bs' -> lE' JSONDecodeError . bimap show id . Y.decodeEither' . L.toStrict $ bs'
@@ -214,7 +214,7 @@ ghcupGHCDir :: (MonadReader AppState m, MonadThrow m)
            -> m (Path Abs)
 ghcupGHCDir ver = do
  ghcbasedir    <- ghcupGHCBaseDir
-  verdir        <- parseRel $ E.encodeUtf8 (prettyTVer ver)
+  verdir        <- parseRel $ E.encodeUtf8 (tVerToText ver)
  pure (ghcbasedir </> verdir)
--- a/lib/GHCup/Utils/File.hs
+++ b/lib/GHCup/Utils/File.hs
@@ -43,7 +43,7 @@ import           GHC.IO.Exception
 import           HPath
 import           HPath.IO                hiding ( hideError )
 import           Optics                  hiding ((<|), (|>))
-import           System.Console.Pretty
+import           System.Console.Pretty   hiding ( Pretty )
 import           System.Console.Regions
 import           System.IO.Error
 import           System.Posix.Directory.ByteString
@@ -55,6 +55,7 @@ import "unix"    System.Posix.IO.ByteString
                                         hiding ( openFd )
 import           System.Posix.Process           ( ProcessStatus(..) )
 import           System.Posix.Types
 import           Text.PrettyPrint.HughesPJClass hiding ( (<>) )
 import           Text.Regex.Posix
@@ -79,6 +80,15 @@ data ProcessError = NonZeroExit Int ByteString [ByteString]
                  | NoSuchPid ByteString [ByteString]
                  deriving Show
 instance Pretty ProcessError where
  pPrint (NonZeroExit e exe args) =
    text [i|Process "#{decUTF8Safe exe}" with arguments #{fmap decUTF8Safe args} failed with exit code #{e}.|]
  pPrint (PTerminated exe args) =
    text [i|Process "#{decUTF8Safe exe}" with arguments #{fmap decUTF8Safe args} terminated.|]
  pPrint (PStopped exe args) =
    text [i|Process "#{decUTF8Safe exe}" with arguments #{fmap decUTF8Safe args} stopped.|]
  pPrint (NoSuchPid exe args) =
    text [i|Could not find PID for process running "#{decUTF8Safe exe}" with arguments #{fmap decUTF8Safe args}.|]
 data CapturedProcess = CapturedProcess
  { _exitCode :: ExitCode
--- a/lib/GHCup/Version.hs
+++ b/lib/GHCup/Version.hs
@@ -12,13 +12,15 @@ Portability : POSIX
 -}
 module GHCup.Version where
 import           GHCup.Utils.Version.QQ
 import           GHCup.Types
 import           Paths_ghcup (version)
-import           Data.Versions
+import           Data.Version (Version(versionBranch))
 import           Data.Versions hiding (version)
 import           URI.ByteString
 import           URI.ByteString.QQ
 import qualified Data.List.NonEmpty            as NE
 import qualified Data.Text                     as T
 -- | This reflects the API version of the YAML.
@@ -27,7 +29,7 @@ ghcupURL = [uri|https://www.haskell.org/ghcup/data/ghcup-0.0.4.yaml|]
 -- | The current ghcup version.
 ghcUpVer :: PVP
-ghcUpVer = [pver|0.1.12|]
+ghcUpVer = PVP . NE.fromList . fmap fromIntegral $ versionBranch version
 -- | ghcup version as numeric string.
 numericVer :: String
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,4 @@
-resolver: lts-16.17
+resolver: lts-17.4
 packages:
  - .
@@ -22,33 +22,28 @@ extra-deps:
  - git: https://github.com/hasufell/text-conversions.git
    commit: 9abf0e5e5664a3178367597c32db19880477a53c
  - git: https://github.com/hasufell/streamly.git
    commit: f921e78236c6b44a6673b5e1a1803d2e7102d806
  - IfElse-0.85@sha256:6939b94acc6a55f545f63a168a349dd2fbe4b9a7cca73bf60282db5cc6aa47d2,445
  - QuickCheck-2.14.1@sha256:01e46d7b0a8d3148288ec977625f62d5516ebb5031a50c63f0453863301b4a79,7736
  - ascii-string-1.0.1.4@sha256:fa34f1d9ba57e8e89c0d4c9cef5e01ba32cb2d4373d13f92dcc0b531a6c6749b,2582
  - base64-bytestring-1.1.0.0@sha256:190264fef9e65d9085f00ccda419137096d1dc94777c58272bc96821dc7f37c3,2334
  - brick-0.55@sha256:f98736eca0cd694837062e06da4655eed969d53b789dfd919716e9b6f5b4c5ce,15858
  - brotli-0.0.0.0@sha256:2bf383a4cd308745740986be0b18381c5a0784393fe69b91456aacb2d603de46,2964
  - brotli-streams-0.0.0.0@sha256:1af1e22f67b8bfd6ad0d05e61825e7a178d738f689ebbb21c1aab5f1bbcae176,2331
  - chs-cabal-0.1.1.0@sha256:20ec6a9fb5ab6991f1a4adf157c537bd5d3b98d08d3c09c387c954c7c50bd011,1153
  - chs-deps-0.1.0.0@sha256:0cdada6d2c682c41b20331b8c63c2ecfc7e806928585195fd544c9d41f3074fd,2496
-  - composition-prelude-3.0.0.0@sha256:7407835ce8c1e0e2fd6febd25391b12989b216773e685e3cf95bd89072af0ecc,1149
+  - composition-prelude-3.0.0.2@sha256:1ffed216bd28d810fce0b5be83a661e2a892696d73b3f8de5c0f5edb9b5f0090,1216
  - haskus-utils-data-1.3@sha256:f62c4e49021b463185d043f7b69c727b63af641a71d7edd582d9f4f98e80e500,1466
  - haskus-utils-variant-3.0@sha256:8d51e45d3b664e61ccc25a58b37c0ccc4ee7537138b9fee21cd15c356906dd34,2159
  - hpath-0.11.0@sha256:12b8405bee13d0007d644a888ef8407069ce7bbbd76970f8746b801447124ade,1440
  - hpath-filepath-0.10.4@sha256:e9e44fb5fdbade7f30b5b5451257dbee15b6ef1aae4060034d73008bb3b5d878,1269
  - hpath-posix-0.13.2@sha256:eec4ff2b00dc86be847aca0f409fc8f6212ffd2170ec36a17dc9a52b46562392,1615
-  - http-io-streams-0.1.4.0@sha256:9a74a059daeddf7a41d361919190b9f4d4292f05e0e4bdf156e2098a116a8145,3582
+  - http-io-streams-0.1.6.0@sha256:53f5bab177efb52cd65ec396fd04ed59b93e5f919fb3700cd7dacd6cfce6f06d,3582
-  - libarchive-3.0.0.0@sha256:e4157b307acf16cca0ec3d398ac5093cc06f092b33a9743be559ef0f6c6ae52f,11204
+  - libarchive-3.0.2.1@sha256:40ebf2a278e585802427bc58826867208bb33822f63d56107a1fcc3ca04d691d,10990
  - os-release-1.0.1@sha256:1281c62081f438fc3f0874d3bae6a4887d5964ac25261ba06e29d368ab173467,2716
-  - primitive-extras-0.8@sha256:fca0310150496867f5b9421fe1541ecda87fae17eae44885a29f9c52dd00c8ff,2963
+  - primitive-0.7.0.1@sha256:a381571c36edc7dca28b77fe8159b43c14c640087ec5946adacf949feec64231,3433
-  - primitive-unlifted-0.1.3.0@sha256:a98f827740f5dcf097d885b3a47c32f4462204449620abc9d51b8c4f8619f9e6,1427
+  - streamly-bytestring-0.1.2@sha256:cc828f41d1c714c711d38fb213b4ed186febabba598ab080e13255f69c20b13c,2469
  - random-1.2.0@sha256:4321209c8faedc034810ea8ed0dbc4a36f1a1df97b75af024219f2f533da57de,6094
  - splitmix-0.1.0.1@sha256:22f9662e7e8b173421872241edd39350078a9ed4bb9e9f503948c5b483c79276,5253
  - streamly-posix-0.1.0.1@sha256:5d89b806281035d34020387ed99dde1ddab282c7ed66df3b7cd010b38fd3517b,2138
  - strict-base-0.4.0.0@sha256:2ff4e43cb95eedf2995558d7fc34d19362846413dd39e6aa6a5b3ea8228fef9f,1248
  - tar-bytestring-0.6.3.2@sha256:88f29bed56b688c543a4cb3986402d64b360f76b3fd9b88ac618b8344f8da712,5715
  - versions-4.0.1@sha256:0f644c1587d38f0eb3c3fe364bf1822424db43cbd4d618d0e21473b062c45239,1936
  - vty-5.30@sha256:4af3938d7b9e6096e222bf52d0ea5d39873bc6fe19febd34106906306af13730,20857
  - xor-0.0.1.0@sha256:f8362b4a68562b9afbcd727ff64c1a303970df3a032e0033d2f4c094c3501df3,2243
 flags:
@@ -63,7 +58,7 @@ flags:
    internal-downloader: true
 system-ghc: true
-compiler: ghc-8.8.4
+compiler: ghc-8.10.4
 compiler-check: match-exact
 ghc-options:
--- a/www/ghcup.js
+++ b/www/ghcup.js
@@ -149,7 +149,17 @@ function fill_in_bug_report_values() {
 }
 function copyToClipboard() {
-  const text = document.getElementsByClassName("ghcup-command").item(0).innerText;
+  const text = document.getElementById("ghcup-command-normal").innerText;
  const el = document.createElement('textarea');
  el.value = text;
  document.body.appendChild(el);
  el.select();
  document.execCommand('copy');
  document.body.removeChild(el);
 }
 function copyToClipboardSilicon() {
  const text = document.getElementById("ghcup-command-silicon").innerText;
  const el = document.createElement('textarea');
  el.value = text;
  document.body.appendChild(el);
--- a/www/index.html
+++ b/www/index.html
@@ -33,9 +33,9 @@
      <div id="platform-instructions-mac" class="instructions" style="display: none;">
        <p>Run the following in your terminal (as a user other than root), then follow the onscreen instructions.</p>
 		<p>On Intel:</p>
-		<div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</span></pre><button class="tooltip" onclick="copyToClipboard()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
+		<div class="command-button"><pre><span class='ghcup-command' id="ghcup-command-normal">curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</span></pre><button class="tooltip" onclick="copyToClipboard()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
        <p>On Apple Silicon:</p>
-		<div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash</span></pre><button class="tooltip" onclick="copyToClipboard()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
+		<div class="command-button"><pre><span class='ghcup-command' id="ghcup-command-silicon">curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash</span></pre><button class="tooltip" onclick="copyToClipboardSilicon()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
        <p class="other-help">If you don't like curl | sh, see <a href="https://gitlab.haskell.org/haskell/ghcup-hs#manual-install">other installation methods</a>.<br/>You appear to be running macOS. If not, <a class="default-platform-button" href="#">display all supported installers</a>.</p>
      </div>
@@ -108,7 +108,7 @@
          in your terminal (as a user other than root), then follow the onscreen instructions.</p>
 		  <div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</span></pre><button class="tooltip" onclick="copyToClipboard()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
          <p>For macOS on Apple Silicon, run this instead:</p>
-          <div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash</span></pre><button class="tooltip" onclick="copyToClipboard()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
+          <div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash</span></pre><button class="tooltip" onclick="copyToClipboardSilicon()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
          <p class="other-help">If you don't like curl | sh, see <a href="https://gitlab.haskell.org/haskell/ghcup-hs#manual-install">other installation methods</a>.</p>
        </div>
@@ -155,7 +155,7 @@
          in your terminal (as a user other than root), then follow the onscreen instructions.</p>
 		  <pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh</span></pre>
          <p>For macOS on Apple Silicon, run this instead:</p>
-          <div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash</span></pre><button class="tooltip" onclick="copyToClipboard()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
+          <div class="command-button"><pre><span class='ghcup-command'>curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | arch -x86_64 /bin/bash</span></pre><button class="tooltip" onclick="copyToClipboardSilicon()"><img src="copy.svg" alt="" /><span class="tooltiptext">Copy to clipboard</span></button></div>
          <p class="other-help">If you don't like curl | sh, see <a href="https://gitlab.haskell.org/haskell/ghcup-hs#manual-install">other installation methods</a>.</p>
        </div>
Author	SHA1	Message	Date
Julian Ospald	f6cc467e95	Fix handling of stray versions wrt #116	2021-03-07 12:02:13 +01:00
Julian Ospald	ef978c1230	Add test case for issue #116	2021-03-07 11:59:45 +01:00
Julian Ospald	52af598473	Update ghcup in old yamls	2021-03-06 16:02:09 +01:00
Julian Ospald	2acacd46c2	Bump stack.yaml	2021-03-02 19:37:09 +01:00
Julian Ospald	4b2f9ddb40	Update project files	2021-03-02 19:22:14 +01:00
Julian Ospald	0d3dc4eba2	Bump ghcup version	2021-03-02 12:39:24 +01:00
Julian Ospald	824faa8091	Update CHANGELOG	2021-03-02 12:38:11 +01:00
Julian Ospald	d10cdfdf57	Merge branch 'PR/issue-115'	2021-03-02 12:34:52 +01:00
Julian Ospald	5e911793ce	Document env variables wrt #95	2021-03-02 10:51:23 +01:00
Julian Ospald	8c87c9aeb7	Fix error messages and overhaul pretty printing Fixes #115	2021-03-02 10:35:31 +01:00
Julian Ospald	9da5998a5c	Add some fancy messages	2021-02-26 19:55:33 +01:00
Julian Ospald	08943dadca	Fix validation	2021-02-26 16:06:08 +01:00
Julian Ospald	7fac7226c5	Update ghcup	2021-02-26 15:38:35 +01:00
Julian Ospald	9686c8ebf9	Update changelog	2021-02-26 11:53:57 +01:00
Julian Ospald	4bf96d0ec9	Revert version bump in bootstrap script	2021-02-25 19:19:53 +01:00
Julian Ospald	34add82bee	Merge branch 'PR/issue-114'	2021-02-25 19:18:13 +01:00
Julian Ospald	f46e7e8c4b	Add "ghcup set ghc next" tag wrt #114	2021-02-25 19:10:55 +01:00
Julian Ospald	3baf254251	Improve tag completer	2021-02-25 16:13:00 +01:00
Julian Ospald	10ca9ea827	Reformat versionCompleter	2021-02-25 15:52:28 +01:00
Julian Ospald	4a50c8ecb7	Remove network call on shell completion	2021-02-25 15:46:08 +01:00
Julian Ospald	47d9766c78	Make sure forFold can properly inline	2021-02-25 15:40:52 +01:00
Julian Ospald	45ab69960f	Merge remote-tracking branch 'origin/merge-requests/70'	2021-02-25 15:36:37 +01:00
Julian Ospald	d3505d4ee6	Bump version to 0.1.13	2021-02-25 15:33:52 +01:00
Julian Ospald	9297d1a2f8	Merge branch 'arm'	2021-02-25 14:22:59 +01:00
Julian Ospald	bede4b8712	Merge branch 'www-fix-silicon-copy'	2021-02-25 13:33:11 +01:00
Julian Ospald	95c1c55f22	Fix copy button for apple silicon	2021-02-25 13:32:46 +01:00
Huw campbell	453a29fdf7	Respect the user's configuration settings Only lookup user configuration before doing a search; implement version completion for Cabal and HLS removal	2021-02-25 16:31:40 +11:00
Huw campbell	1a5f0259f4	Just use the cache for commands which refer to locally stored objects. Setting a version of GHC will fail if provided with a version not installed, and we don't neede to check the most recent list of GHCs available to know that.	2021-02-25 10:19:16 +11:00
Huw campbell	d6fa61e223	Add command line completions for installed and available versions. When running `ghcup set ghc` and pressing tab, one should be able to autocomplete the currently installed GHCs we have available. Add an optparse applicative completer for install, rm, and set commands which shows tags and versions. For installation, all are shown; while for remove and set, only those installed are.	2021-02-25 00:42:16 +11:00