2021-03-01 23:15:03 +00:00
|
|
|
{-# OPTIONS_GHC -Wno-orphans #-}
|
|
|
|
{-# LANGUAGE CPP #-}
|
2021-03-11 16:03:51 +00:00
|
|
|
{-# LANGUAGE DataKinds #-}
|
2020-01-11 20:15:05 +00:00
|
|
|
{-# LANGUAGE ExistentialQuantification #-}
|
|
|
|
{-# LANGUAGE FlexibleContexts #-}
|
|
|
|
{-# LANGUAGE StandaloneDeriving #-}
|
2021-03-01 23:15:03 +00:00
|
|
|
{-# LANGUAGE QuasiQuotes #-}
|
|
|
|
{-# LANGUAGE TypeOperators #-}
|
|
|
|
{-# LANGUAGE FlexibleInstances #-}
|
2020-01-11 20:15:05 +00:00
|
|
|
|
2020-07-21 23:08:58 +00:00
|
|
|
{-|
|
|
|
|
Module : GHCup.Errors
|
|
|
|
Description : GHCup error types
|
|
|
|
Copyright : (c) Julian Ospald, 2020
|
2020-07-30 18:04:02 +00:00
|
|
|
License : LGPL-3.0
|
2020-07-21 23:08:58 +00:00
|
|
|
Maintainer : hasufell@hasufell.de
|
|
|
|
Stability : experimental
|
2021-05-14 21:09:45 +00:00
|
|
|
Portability : portable
|
2020-07-21 23:08:58 +00:00
|
|
|
-}
|
2020-01-11 20:15:05 +00:00
|
|
|
module GHCup.Errors where
|
|
|
|
|
|
|
|
import GHCup.Types
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
#if !defined(TAR)
|
|
|
|
import Codec.Archive
|
2021-04-25 15:59:15 +00:00
|
|
|
#else
|
|
|
|
import qualified Codec.Archive.Tar as Tar
|
2021-03-01 23:15:03 +00:00
|
|
|
#endif
|
2020-01-11 20:15:05 +00:00
|
|
|
import Control.Exception.Safe
|
2021-07-24 14:36:31 +00:00
|
|
|
import Data.ByteString ( ByteString )
|
|
|
|
import Data.CaseInsensitive ( CI )
|
2021-03-01 23:15:03 +00:00
|
|
|
import Data.String.Interpolate
|
2020-01-11 20:15:05 +00:00
|
|
|
import Data.Text ( Text )
|
|
|
|
import Data.Versions
|
2021-03-01 23:15:03 +00:00
|
|
|
import Haskus.Utils.Variant
|
2021-07-20 19:45:24 +00:00
|
|
|
import Text.PrettyPrint hiding ( (<>) )
|
|
|
|
import Text.PrettyPrint.HughesPJClass hiding ( (<>) )
|
2021-03-01 23:15:03 +00:00
|
|
|
import URI.ByteString
|
2020-01-11 20:15:05 +00:00
|
|
|
|
2021-07-24 14:36:31 +00:00
|
|
|
import qualified Data.Map.Strict as M
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
|
|
|
|
|
|
|
|
------------------------
|
|
|
|
--[ Low-level errors ]--
|
|
|
|
------------------------
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
-- | A compatible platform could not be found.
|
|
|
|
data NoCompatiblePlatform = NoCompatiblePlatform String -- the platform we got
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoCompatiblePlatform where
|
|
|
|
pPrint (NoCompatiblePlatform str') =
|
|
|
|
text ("Could not find a compatible platform. Got: " ++ str')
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | Unable to find a download for the requested versio/distro.
|
|
|
|
data NoDownload = NoDownload
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoDownload where
|
|
|
|
pPrint NoDownload =
|
|
|
|
text "Unable to find a download for the requested version/distro."
|
|
|
|
|
2020-04-15 11:57:44 +00:00
|
|
|
-- | No update available or necessary.
|
|
|
|
data NoUpdate = NoUpdate
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoUpdate where
|
|
|
|
pPrint NoUpdate = text "No update available or necessary."
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | The Architecture is unknown and unsupported.
|
|
|
|
data NoCompatibleArch = NoCompatibleArch String
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoCompatibleArch where
|
|
|
|
pPrint (NoCompatibleArch arch) =
|
|
|
|
text ("The Architecture is unknown or unsupported. Got: " ++ arch)
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | Unable to figure out the distribution of the host.
|
|
|
|
data DistroNotFound = DistroNotFound
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty DistroNotFound where
|
|
|
|
pPrint DistroNotFound =
|
|
|
|
text "Unable to figure out the distribution of the host."
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | The archive format is unknown. We don't know how to extract it.
|
2021-05-14 21:09:45 +00:00
|
|
|
data UnknownArchive = UnknownArchive FilePath
|
2020-01-11 20:15:05 +00:00
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty UnknownArchive where
|
|
|
|
pPrint (UnknownArchive file) =
|
2021-05-14 21:09:45 +00:00
|
|
|
text [i|The archive format is unknown. We don't know how to extract the file "#{file}"|]
|
2021-03-01 23:15:03 +00:00
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | The scheme is not supported (such as ftp).
|
|
|
|
data UnsupportedScheme = UnsupportedScheme
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty UnsupportedScheme where
|
|
|
|
pPrint UnsupportedScheme = text "The scheme is not supported (such as ftp)."
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | Unable to copy a file.
|
|
|
|
data CopyError = CopyError String
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty CopyError where
|
|
|
|
pPrint (CopyError reason) =
|
|
|
|
text ("Unable to copy a file. Reason was: " ++ reason)
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | Unable to find a tag of a tool.
|
|
|
|
data TagNotFound = TagNotFound Tag Tool
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty TagNotFound where
|
|
|
|
pPrint (TagNotFound tag tool) =
|
|
|
|
text "Unable to find tag" <+> pPrint tag <+> text [i|of tool "#{tool}"|]
|
|
|
|
|
2021-02-25 17:21:25 +00:00
|
|
|
-- | Unable to find the next version of a tool (the one after the currently
|
|
|
|
-- set one).
|
|
|
|
data NextVerNotFound = NextVerNotFound Tool
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NextVerNotFound where
|
|
|
|
pPrint (NextVerNotFound tool) =
|
|
|
|
text [i|Unable to find next (the one after the currently set one) version of tool "#{tool}"|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | The tool (such as GHC) is already installed with that version.
|
|
|
|
data AlreadyInstalled = AlreadyInstalled Tool Version
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty AlreadyInstalled where
|
|
|
|
pPrint (AlreadyInstalled tool ver') =
|
|
|
|
text [i|#{tool}-#{prettyShow ver'} is already installed|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | The tool is not installed. Some operations rely on a tool
|
|
|
|
-- to be installed (such as setting the current GHC version).
|
2021-03-01 23:15:03 +00:00
|
|
|
data NotInstalled = NotInstalled Tool GHCTargetVersion
|
2020-01-11 20:15:05 +00:00
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NotInstalled where
|
|
|
|
pPrint (NotInstalled tool ver) =
|
|
|
|
text [i|The version "#{prettyShow ver}" of the tool "#{tool}" is not installed.|]
|
|
|
|
|
2020-04-10 20:44:43 +00:00
|
|
|
-- | An executable was expected to be in PATH, but was not found.
|
2021-05-14 21:09:45 +00:00
|
|
|
data NotFoundInPATH = NotFoundInPATH FilePath
|
2020-04-10 20:44:43 +00:00
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NotFoundInPATH where
|
|
|
|
pPrint (NotFoundInPATH exe) =
|
2021-05-14 21:09:45 +00:00
|
|
|
text [i|The exe "#{exe}" was not found in PATH.|]
|
2021-03-01 23:15:03 +00:00
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | JSON decoding failed.
|
|
|
|
data JSONError = JSONDecodeError String
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty JSONError where
|
|
|
|
pPrint (JSONDecodeError err) =
|
|
|
|
text [i|JSON decoding failed with: #{err}|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | A file that is supposed to exist does not exist
|
|
|
|
-- (e.g. when we use file scheme to "download" something).
|
2021-05-14 21:09:45 +00:00
|
|
|
data FileDoesNotExistError = FileDoesNotExistError FilePath
|
2020-01-11 20:15:05 +00:00
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty FileDoesNotExistError where
|
|
|
|
pPrint (FileDoesNotExistError file) =
|
2021-05-14 21:09:45 +00:00
|
|
|
text [i|File "#{file}" does not exist.|]
|
2021-03-01 23:15:03 +00:00
|
|
|
|
2020-08-06 11:28:20 +00:00
|
|
|
data TarDirDoesNotExist = TarDirDoesNotExist TarDir
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty TarDirDoesNotExist where
|
|
|
|
pPrint (TarDirDoesNotExist dir) =
|
|
|
|
text "Tar directory does not exist:" <+> pPrint dir
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | File digest verification failed.
|
|
|
|
data DigestError = DigestError Text Text
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty DigestError where
|
|
|
|
pPrint (DigestError currentDigest expectedDigest) =
|
|
|
|
text [i|Digest error: expected "#{expectedDigest}", but got "#{currentDigest}"|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | Unexpected HTTP status.
|
2021-07-24 14:36:31 +00:00
|
|
|
data HTTPStatusError = HTTPStatusError Int (M.Map (CI ByteString) ByteString)
|
2020-01-11 20:15:05 +00:00
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty HTTPStatusError where
|
2021-07-24 14:36:31 +00:00
|
|
|
pPrint (HTTPStatusError status _) =
|
2021-03-01 23:15:03 +00:00
|
|
|
text [i|Unexpected HTTP status: #{status}|]
|
|
|
|
|
2021-07-24 14:36:31 +00:00
|
|
|
-- | Malformed headers.
|
|
|
|
data MalformedHeaders = MalformedHeaders Text
|
|
|
|
deriving Show
|
|
|
|
|
|
|
|
instance Pretty MalformedHeaders where
|
|
|
|
pPrint (MalformedHeaders h) =
|
|
|
|
text [i|Headers are malformed: #{h}|]
|
|
|
|
|
|
|
|
-- | Unexpected HTTP status.
|
|
|
|
data HTTPNotModified = HTTPNotModified Text
|
|
|
|
deriving Show
|
|
|
|
|
|
|
|
instance Pretty HTTPNotModified where
|
|
|
|
pPrint (HTTPNotModified etag) =
|
|
|
|
text [i|Remote resource not modifed, etag was: #{etag}|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | The 'Location' header was expected during a 3xx redirect, but not found.
|
|
|
|
data NoLocationHeader = NoLocationHeader
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoLocationHeader where
|
|
|
|
pPrint NoLocationHeader =
|
|
|
|
text [i|The 'Location' header was expected during a 3xx redirect, but not found.|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
-- | Too many redirects.
|
|
|
|
data TooManyRedirs = TooManyRedirs
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty TooManyRedirs where
|
|
|
|
pPrint TooManyRedirs =
|
|
|
|
text [i|Too many redirections.|]
|
|
|
|
|
2020-04-08 20:57:57 +00:00
|
|
|
-- | A patch could not be applied.
|
|
|
|
data PatchFailed = PatchFailed
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty PatchFailed where
|
|
|
|
pPrint PatchFailed =
|
|
|
|
text [i|A patch could not be applied.|]
|
|
|
|
|
2020-04-10 15:36:27 +00:00
|
|
|
-- | The tool requirements could not be found.
|
|
|
|
data NoToolRequirements = NoToolRequirements
|
|
|
|
deriving Show
|
2020-01-11 20:15:05 +00:00
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoToolRequirements where
|
|
|
|
pPrint NoToolRequirements =
|
|
|
|
text [i|The Tool requirements could not be found.|]
|
|
|
|
|
2020-04-25 10:06:41 +00:00
|
|
|
data InvalidBuildConfig = InvalidBuildConfig Text
|
|
|
|
deriving Show
|
2021-03-01 23:15:03 +00:00
|
|
|
|
|
|
|
instance Pretty InvalidBuildConfig where
|
|
|
|
pPrint (InvalidBuildConfig reason) =
|
|
|
|
text [i|The build config is invalid. Reason was: #{reason}|]
|
|
|
|
|
2021-02-25 17:21:25 +00:00
|
|
|
data NoToolVersionSet = NoToolVersionSet Tool
|
|
|
|
deriving Show
|
2020-04-25 10:06:41 +00:00
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty NoToolVersionSet where
|
|
|
|
pPrint (NoToolVersionSet tool) =
|
|
|
|
text [i|No version is set for tool "#{tool}".|]
|
|
|
|
|
2021-07-18 21:29:09 +00:00
|
|
|
data NoNetwork = NoNetwork
|
|
|
|
deriving Show
|
|
|
|
|
|
|
|
instance Pretty NoNetwork where
|
|
|
|
pPrint NoNetwork =
|
|
|
|
text [i|A download was required or requested, but '--offline' was specified.|]
|
|
|
|
|
2021-07-20 19:45:24 +00:00
|
|
|
data HadrianNotFound = HadrianNotFound
|
|
|
|
deriving Show
|
|
|
|
|
|
|
|
instance Pretty HadrianNotFound where
|
|
|
|
pPrint HadrianNotFound =
|
|
|
|
text [i|Could not find Hadrian build files. Does this GHC version support Hadrian builds?|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
|
|
|
|
-------------------------
|
|
|
|
--[ High-level errors ]--
|
|
|
|
-------------------------
|
|
|
|
|
|
|
|
-- | A download failed. The underlying error is encapsulated.
|
2021-03-01 23:15:03 +00:00
|
|
|
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
|
2020-01-11 20:15:05 +00:00
|
|
|
|
|
|
|
deriving instance Show DownloadFailed
|
|
|
|
|
|
|
|
|
|
|
|
-- | A build failed.
|
2021-07-20 19:45:24 +00:00
|
|
|
data BuildFailed = forall es . (Pretty (V es), Show (V es)) => BuildFailed FilePath (V es)
|
2020-01-11 20:15:05 +00:00
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty BuildFailed where
|
|
|
|
pPrint (BuildFailed path reason) =
|
2021-07-20 19:45:24 +00:00
|
|
|
text [i|BuildFailed failed in dir "#{path}": |] <> pPrint reason
|
2021-03-01 23:15:03 +00:00
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
deriving instance Show BuildFailed
|
|
|
|
|
|
|
|
|
|
|
|
-- | Setting the current GHC version failed.
|
|
|
|
data GHCupSetError = forall es . Show (V es) => GHCupSetError (V es)
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty GHCupSetError where
|
|
|
|
pPrint (GHCupSetError reason) =
|
|
|
|
text [i|Setting the current GHC version failed: #{reason}|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
deriving instance Show GHCupSetError
|
|
|
|
|
|
|
|
|
|
|
|
---------------------------------------------
|
|
|
|
--[ True Exceptions (e.g. for MonadThrow) ]--
|
|
|
|
---------------------------------------------
|
|
|
|
|
|
|
|
|
|
|
|
-- | Parsing failed.
|
|
|
|
data ParseError = ParseError String
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty ParseError where
|
|
|
|
pPrint (ParseError reason) =
|
|
|
|
text [i|Parsing failed: #{reason}|]
|
|
|
|
|
2020-01-11 20:15:05 +00:00
|
|
|
instance Exception ParseError
|
2020-09-20 15:57:16 +00:00
|
|
|
|
|
|
|
|
|
|
|
data UnexpectedListLength = UnexpectedListLength String
|
|
|
|
deriving Show
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
instance Pretty UnexpectedListLength where
|
|
|
|
pPrint (UnexpectedListLength reason) =
|
|
|
|
text [i|List length unexpected: #{reason}|]
|
|
|
|
|
2020-09-20 15:57:16 +00:00
|
|
|
instance Exception UnexpectedListLength
|
|
|
|
|
2021-08-06 17:40:22 +00:00
|
|
|
data NoUrlBase = NoUrlBase Text
|
|
|
|
deriving Show
|
|
|
|
|
|
|
|
instance Pretty NoUrlBase where
|
|
|
|
pPrint (NoUrlBase url) =
|
|
|
|
text [i|Couldn't get a base filename from url #{url}|]
|
|
|
|
|
|
|
|
instance Exception NoUrlBase
|
|
|
|
|
2021-03-01 23:15:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
------------------------
|
|
|
|
--[ 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"
|
2021-04-25 15:59:15 +00:00
|
|
|
#else
|
|
|
|
instance Pretty Tar.FormatError where
|
|
|
|
pPrint Tar.TruncatedArchive = text "Truncated archive"
|
|
|
|
pPrint Tar.ShortTrailer = text "Short trailer"
|
|
|
|
pPrint Tar.BadTrailer = text "Bad trailer"
|
|
|
|
pPrint Tar.TrailingJunk = text "Trailing junk"
|
|
|
|
pPrint Tar.ChecksumIncorrect = text "Checksum incorrect"
|
|
|
|
pPrint Tar.NotTarFormat = text "Not a tar format"
|
|
|
|
pPrint Tar.UnrecognisedTarFormat = text "Unrecognised tar format"
|
|
|
|
pPrint Tar.HeaderBadNumericEncoding = text "Header has bad numeric encoding"
|
2021-03-01 23:15:03 +00:00
|
|
|
#endif
|