master..a74dec4 · typeable/postgresql-simple

.github/workflows/haskell-ci.yml+15−22

since splitsnapshots

unifiedsplit

@@ -8,9 +8,9 @@

8#

9# For more information, see https://github.com/haskell-CI/haskell-ci

10#

11−# version: 0.17.20231110

11+# version: 0.16.6

12#

13−# REGENDATA ("0.17.20231110",["github","cabal.project"])

13+# REGENDATA ("0.16.6",["github","cabal.project"])

14#

15name: Haskell-CI

16on:

@@ -38,19 +38,14 @@ jobs:

38 strategy:

39 matrix:

40 include:

41− - compiler: ghc-9.8.1

41+ - compiler: ghc-9.6.2

42 compilerKind: ghc

43− compilerVersion: 9.8.1

43+ compilerVersion: 9.6.2

44 setup-method: ghcup

45 allow-failure: false

46− - compiler: ghc-9.6.3

46+ - compiler: ghc-9.4.5

47 compilerKind: ghc

48− compilerVersion: 9.6.3

48+ compilerVersion: 9.4.5

49− setup-method: ghcup

50− allow-failure: false

51− - compiler: ghc-9.4.8

52− compilerKind: ghc

53− compilerVersion: 9.4.8

54 setup-method: ghcup

49 setup-method: ghcup

55 allow-failure: false

50 allow-failure: false

56 - compiler: ghc-9.2.8

51 - compiler: ghc-9.2.8

@@ -86,18 +81,18 @@ jobs:

86 apt-get install -y --no-install-recommends gnupg ca-certificates dirmngr curl git software-properties-common libtinfo5

81 apt-get install -y --no-install-recommends gnupg ca-certificates dirmngr curl git software-properties-common libtinfo5

87 if [ "${{ matrix.setup-method }}" = ghcup ]; then

82 if [ "${{ matrix.setup-method }}" = ghcup ]; then

88 mkdir -p "$HOME/.ghcup/bin"

83 mkdir -p "$HOME/.ghcup/bin"

89− curl -sL https://downloads.haskell.org/ghcup/0.1.20.0/x86_64-linux-ghcup-0.1.20.0 > "$HOME/.ghcup/bin/ghcup"

84+ curl -sL https://downloads.haskell.org/ghcup/0.1.19.2/x86_64-linux-ghcup-0.1.19.2 > "$HOME/.ghcup/bin/ghcup"

90 chmod a+x "$HOME/.ghcup/bin/ghcup"

85 chmod a+x "$HOME/.ghcup/bin/ghcup"

91 "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false)

86 "$HOME/.ghcup/bin/ghcup" install ghc "$HCVER" || (cat "$HOME"/.ghcup/logs/*.* && false)

92− "$HOME/.ghcup/bin/ghcup" install cabal 3.10.2.0 || (cat "$HOME"/.ghcup/logs/*.* && false)

87+ "$HOME/.ghcup/bin/ghcup" install cabal 3.10.1.0 || (cat "$HOME"/.ghcup/logs/*.* && false)

93 else

88 else

94 apt-add-repository -y 'ppa:hvr/ghc'

89 apt-add-repository -y 'ppa:hvr/ghc'

95 apt-get update

90 apt-get update

96 apt-get install -y "$HCNAME"

91 apt-get install -y "$HCNAME"

97 mkdir -p "$HOME/.ghcup/bin"

92 mkdir -p "$HOME/.ghcup/bin"

98− curl -sL https://downloads.haskell.org/ghcup/0.1.20.0/x86_64-linux-ghcup-0.1.20.0 > "$HOME/.ghcup/bin/ghcup"

93+ curl -sL https://downloads.haskell.org/ghcup/0.1.19.2/x86_64-linux-ghcup-0.1.19.2 > "$HOME/.ghcup/bin/ghcup"

99 chmod a+x "$HOME/.ghcup/bin/ghcup"

94 chmod a+x "$HOME/.ghcup/bin/ghcup"

100− "$HOME/.ghcup/bin/ghcup" install cabal 3.10.2.0 || (cat "$HOME"/.ghcup/logs/*.* && false)

95+ "$HOME/.ghcup/bin/ghcup" install cabal 3.10.1.0 || (cat "$HOME"/.ghcup/logs/*.* && false)

101 fi

96 fi

102 env:

97 env:

103 HCKIND: ${{ matrix.compilerKind }}

98 HCKIND: ${{ matrix.compilerKind }}

@@ -111,19 +106,17 @@ jobs:

111 echo "CABAL_CONFIG=$HOME/.cabal/config" >> "$GITHUB_ENV"

106 echo "CABAL_CONFIG=$HOME/.cabal/config" >> "$GITHUB_ENV"

112 HCDIR=/opt/$HCKIND/$HCVER

107 HCDIR=/opt/$HCKIND/$HCVER

113 if [ "${{ matrix.setup-method }}" = ghcup ]; then

108 if [ "${{ matrix.setup-method }}" = ghcup ]; then

114− HC=$("$HOME/.ghcup/bin/ghcup" whereis ghc "$HCVER")

109+ HC=$HOME/.ghcup/bin/$HCKIND-$HCVER

115− HCPKG=$(echo "$HC" | sed 's#ghc$#ghc-pkg#')

116− HADDOCK=$(echo "$HC" | sed 's#ghc$#haddock#')

117 echo "HC=$HC" >> "$GITHUB_ENV"

110 echo "HC=$HC" >> "$GITHUB_ENV"

118− echo "HCPKG=$HCPKG" >> "$GITHUB_ENV"

111+ echo "HCPKG=$HOME/.ghcup/bin/$HCKIND-pkg-$HCVER" >> "$GITHUB_ENV"

119− echo "HADDOCK=$HADDOCK" >> "$GITHUB_ENV"

112+ echo "HADDOCK=$HOME/.ghcup/bin/haddock-$HCVER" >> "$GITHUB_ENV"

120− echo "CABAL=$HOME/.ghcup/bin/cabal-3.10.2.0 -vnormal+nowrap" >> "$GITHUB_ENV"

113+ echo "CABAL=$HOME/.ghcup/bin/cabal-3.10.1.0 -vnormal+nowrap" >> "$GITHUB_ENV"

121 else

114 else

122 HC=$HCDIR/bin/$HCKIND

115 HC=$HCDIR/bin/$HCKIND

123 echo "HC=$HC" >> "$GITHUB_ENV"

116 echo "HC=$HC" >> "$GITHUB_ENV"

124 echo "HCPKG=$HCDIR/bin/$HCKIND-pkg" >> "$GITHUB_ENV"

117 echo "HCPKG=$HCDIR/bin/$HCKIND-pkg" >> "$GITHUB_ENV"

125 echo "HADDOCK=$HCDIR/bin/haddock" >> "$GITHUB_ENV"

118 echo "HADDOCK=$HCDIR/bin/haddock" >> "$GITHUB_ENV"

126− echo "CABAL=$HOME/.ghcup/bin/cabal-3.10.2.0 -vnormal+nowrap" >> "$GITHUB_ENV"

119+ echo "CABAL=$HOME/.ghcup/bin/cabal-3.10.1.0 -vnormal+nowrap" >> "$GITHUB_ENV"

127 fi

120 fi

128

121

129 HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\d+)\.(\d+)\.(\d+)(\.(\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')

122 HCNUMVER=$(${HC} --numeric-version|perl -ne '/^(\d+)\.(\d+)\.(\d+)(\.(\d+))?$/; print(10000 * $1 + 100 * $2 + ($3 == 0 ? $5 != 1 : $3))')

.github/workflows/simple.yml+2−2

@@ -14,7 +14,7 @@ jobs:

14 strategy:

15 matrix:

16 os: [macos-latest, windows-latest]

17− ghc: ['8.10','9.0','9.2','9.4.8','9.6.3','9.8.1']

17+ ghc: ['8.10','9.0','9.2','9.4.5','9.6.2']

18 fail-fast: false

19 timeout-minutes:

20 60

@@ -29,7 +29,7 @@ jobs:

29 uses: haskell/actions/setup@v2

30 with:

31 ghc-version: ${{ matrix.ghc }}

32− cabal-version: '3.10.2.0'

32+ cabal-version: '3.10.1.0'

33

34 - name: Set up PostgreSQL

35 uses: ikalnytskyi/action-setup-postgres@v3

CHANGES.md−3

@@ -4,9 +4,6 @@

4 * Use `postgresql-libpq >=0.10.0.0`. It includes critical fixes,

5 by using `postgresql-simple >=0.7` you won't get older `postgresql-libpq`.

6 * Drop support for GHC prior 8.6

7− * Added a class for `postgresql-simple` exceptions: `SomePostgreSqlException`.

8− This allows to catch all `postgresql-simple` exceptions at once.

9− (c.f. `AsyncException` in `base).

10

7

11### Version 0.6.5.1 (2023-07-09)

8### Version 0.6.5.1 (2023-07-09)

12

9

postgresql-simple.cabal+6−9

@@ -1,7 +1,6 @@

1cabal-version: 1.12

2name: postgresql-simple

3version: 0.7.0.0

4−x-revision: 1

5synopsis: Mid-Level PostgreSQL client library

4synopsis: Mid-Level PostgreSQL client library

6description:

5description:

7 Mid-Level PostgreSQL client library, forked from mysql-simple.

6 Mid-Level PostgreSQL client library, forked from mysql-simple.

@@ -29,9 +28,8 @@ tested-with:

29 || ==8.10.7

28 || ==8.10.7

30 || ==9.0.2

29 || ==9.0.2

31 || ==9.2.8

30 || ==9.2.8

32− || ==9.4.8

31+ || ==9.4.5

33− || ==9.6.3

32+ || ==9.6.2

34− || ==9.8.1

35

33

36library

34library

37 default-language: Haskell2010

35 default-language: Haskell2010

@@ -77,11 +75,11 @@ library

77

75

78 -- GHC bundled libs

76 -- GHC bundled libs

79 build-depends:

77 build-depends:

80− base >=4.12.0.0 && <4.20

78+ base >=4.12.0.0 && <4.19

81− , bytestring >=0.10.8.2 && <0.13

79+ , bytestring >=0.10.8.2 && <0.12

82 , containers >=0.6.0.1 && <0.7

80 , containers >=0.6.0.1 && <0.7

83− , template-haskell >=2.14.0.0 && <2.22

81+ , template-haskell >=2.14.0.0 && <2.21

84− , text >=1.2.3.0 && <1.3 || >=2.0 && <2.2

82+ , text >=1.2.3.0 && <1.3 || >=2.0 && <2.1

85 , time-compat >=1.9.5 && <1.12

83 , time-compat >=1.9.5 && <1.12

86 , transformers >=0.5.6.2 && <0.7

84 , transformers >=0.5.6.2 && <0.7

87

85

@@ -130,7 +128,6 @@ test-suite test

130 main-is: Main.hs

128 main-is: Main.hs

131 other-modules:

129 other-modules:

132 Common

130 Common

133− Exception

134 Interval

131 Interval

135 Notify

132 Notify

136 Serializable

133 Serializable

src/Database/PostgreSQL/Simple.hs−1

@@ -64,7 +64,6 @@ module Database.PostgreSQL.Simple

64 , Only(..)

65 , (:.)(..)

66 -- ** Exceptions

67− , SomePostgreSqlException(..)

68 , SqlError(..)

67 , SqlError(..)

69 , PQ.ExecStatus(..)

68 , PQ.ExecStatus(..)

70 , FormatError(..)

69 , FormatError(..)

src/Database/PostgreSQL/Simple/Errors.hs+1−3

@@ -59,9 +59,7 @@ data ConstraintViolation

59 deriving (Show, Eq, Ord, Typeable)

60

61-- Default instance should be enough

62−instance Exception ConstraintViolation where

62+instance Exception ConstraintViolation

63− toException = postgresqlExceptionToException

64− fromException = postgresqlExceptionFromException

65

63

66

64

67-- | Tries to convert 'SqlError' to 'ConstrainViolation', checks sqlState and

65-- | Tries to convert 'SqlError' to 'ConstrainViolation', checks sqlState and

src/Database/PostgreSQL/Simple/FromField.hs+2−4

@@ -118,7 +118,7 @@ module Database.PostgreSQL.Simple.FromField

118

119import Control.Applicative ( Const(Const), (<|>), (<$>), pure, (*>), (<*) )

120import Control.Concurrent.MVar (MVar, newMVar)

121−import Control.Exception (Exception (toException, fromException))

121+import Control.Exception (Exception)

122import qualified Data.Aeson as JSON

123import Data.Attoparsec.ByteString.Char8 hiding (Result)

124import Data.ByteString (ByteString)

@@ -182,9 +182,7 @@ data ResultError = Incompatible { errSQLType :: String

182 -- between metadata and actual data in a row).

183 deriving (Eq, Show, Typeable)

184

185−instance Exception ResultError where

185+instance Exception ResultError

186− toException = postgresqlExceptionToException

187− fromException = postgresqlExceptionFromException

188

186

189left :: Exception a => a -> Conversion b

187left :: Exception a => a -> Conversion b

190left = conversionError

188left = conversionError

src/Database/PostgreSQL/Simple/Internal.hs+3−31

@@ -1,8 +1,6 @@

1{-# LANGUAGE CPP, BangPatterns, DoAndIfThenElse, RecordWildCards #-}

2{-# LANGUAGE DeriveDataTypeable, DeriveGeneric #-}

3{-# LANGUAGE GeneralizedNewtypeDeriving #-}

4−{-# LANGUAGE ExistentialQuantification #-}

5−{-# LANGUAGE InstanceSigs #-}

6

4

7------------------------------------------------------------------------------

5------------------------------------------------------------------------------

8-- |

6-- |

@@ -83,25 +81,6 @@ data Connection = Connection {

83instance Eq Connection where

81instance Eq Connection where

84 x == y = connectionHandle x == connectionHandle y

82 x == y = connectionHandle x == connectionHandle y

85

83

86−-- | Superclass for postgresql exceptions

87−data SomePostgreSqlException = forall e. Exception e => SomePostgreSqlException e

88− deriving Typeable

89−

90−postgresqlExceptionToException :: Exception e => e -> SomeException

91−postgresqlExceptionToException = toException . SomePostgreSqlException

92−

93−postgresqlExceptionFromException :: Exception e => SomeException -> Maybe e

94−postgresqlExceptionFromException x = do

95− SomePostgreSqlException a <- fromException x

96− cast a

97−

98−instance Show SomePostgreSqlException where

99− showsPrec :: Int -> SomePostgreSqlException -> ShowS

100− showsPrec p (SomePostgreSqlException e) = showsPrec p e

101−

102−instance Exception SomePostgreSqlException where

103− displayException (SomePostgreSqlException e) = displayException e

104−

105data SqlError = SqlError {

84data SqlError = SqlError {

106 sqlState :: ByteString

85 sqlState :: ByteString

107 , sqlExecStatus :: ExecStatus

86 , sqlExecStatus :: ExecStatus

@@ -113,10 +92,7 @@ data SqlError = SqlError {

113fatalError :: ByteString -> SqlError

92fatalError :: ByteString -> SqlError

114fatalError msg = SqlError "" FatalError msg "" ""

93fatalError msg = SqlError "" FatalError msg "" ""

115

94

116−instance Exception SqlError where

95+instance Exception SqlError

117− toException = postgresqlExceptionToException

118− fromException = postgresqlExceptionFromException

119−

120

96

121-- | Exception thrown if 'query' is used to perform an @INSERT@-like

97-- | Exception thrown if 'query' is used to perform an @INSERT@-like

122-- operation, or 'execute' is used to perform a @SELECT@-like operation.

98-- operation, or 'execute' is used to perform a @SELECT@-like operation.

@@ -125,9 +101,7 @@ data QueryError = QueryError {

125 , qeQuery :: Query

101 , qeQuery :: Query

126 } deriving (Eq, Show, Typeable)

102 } deriving (Eq, Show, Typeable)

127

103

128−instance Exception QueryError where

104+instance Exception QueryError

129− toException = postgresqlExceptionToException

130− fromException = postgresqlExceptionFromException

131

105

132-- | Exception thrown if a 'Query' could not be formatted correctly.

106-- | Exception thrown if a 'Query' could not be formatted correctly.

133-- This may occur if the number of \'@?@\' characters in the query

107-- This may occur if the number of \'@?@\' characters in the query

@@ -138,9 +112,7 @@ data FormatError = FormatError {

138 , fmtParams :: [ByteString]

112 , fmtParams :: [ByteString]

139 } deriving (Eq, Show, Typeable)

113 } deriving (Eq, Show, Typeable)

140

114

141−instance Exception FormatError where

115+instance Exception FormatError

142− toException = postgresqlExceptionToException

143− fromException = postgresqlExceptionFromException

144

116

145data ConnectInfo = ConnectInfo {

117data ConnectInfo = ConnectInfo {

146 connectHost :: String

118 connectHost :: String

test/Exception.hsdeleted−70

@@ -1,70 +0,0 @@

1−{-# LANGUAGE CPP #-}

2−{-# LANGUAGE OverloadedStrings #-}

3−{-# LANGUAGE ScopedTypeVariables #-}

4−

5−module Exception (testExceptions) where

6−

7−import Database.PostgreSQL.Simple

8−import Test.Tasty.HUnit (Assertion, assertBool)

9−import Common (TestEnv)

10−import Control.Exception (Exception (..), SomeException)

11−import Data.Maybe (isJust)

12−import Data.Either (isLeft)

13−import Control.Exception (throwIO, try)

14−

15−testExceptions :: TestEnv -> Assertion

16−testExceptions _ = do

17− let sqlError = SqlError

18− { sqlState = ""

19− , sqlExecStatus = FatalError

20− , sqlErrorMsg = ""

21− , sqlErrorDetail = ""

22− , sqlErrorHint = ""

23− }

24− let sqlEx :: SomeException = toException sqlError

25− assertBool "SqlError is SomePostgreSqlException" $ isJust (fromException sqlEx :: Maybe SomePostgreSqlException)

26− assertBool "SqlError is SqlError" $ isJust (fromException sqlEx :: Maybe SqlError)

27− eSqlError :: Either SqlError () <- try $ throwIO sqlEx

28− assertBool "Can catch SqlError" $ isLeft eSqlError

29− eSqlPostgreSqlEx :: Either SomePostgreSqlException () <- try $ throwIO sqlEx

30− assertBool "Can catch SomePostgreSqlException from SqlError" $ isLeft eSqlPostgreSqlEx

31−

32− let formatError = FormatError

33− { fmtMessage = ""

34− , fmtQuery = ""

35− , fmtParams = []

36− }

37− let formatEx :: SomeException = toException formatError

38− assertBool "FormatError is SomePostgreSqlException" $ isJust (fromException formatEx :: Maybe SomePostgreSqlException)

39− assertBool "FormatError is FormatError" $ isJust (fromException formatEx :: Maybe FormatError)

40− eFormatError :: Either FormatError () <- try $ throwIO formatEx

41− assertBool "Can catch FormatError" $ isLeft eFormatError

42− eFormatPostreSqlEx :: Either SomePostgreSqlException () <- try $ throwIO formatEx

43− assertBool "Can catch SomePostgreSqlException from FormatError" $ isLeft eFormatPostreSqlEx

44−

45− let queryError = QueryError

46− { qeMessage = ""

47− , qeQuery = ""

48− }

49− let queryEx :: SomeException = toException queryError

50− assertBool "QueryError is SomePostgreSqlException" $ isJust (fromException queryEx :: Maybe SomePostgreSqlException)

51− assertBool "QueryError is QueryError" $ isJust (fromException queryEx :: Maybe QueryError)

52− eQueryError :: Either QueryError () <- try $ throwIO queryEx

53− assertBool "Can catch QueryError" $ isLeft eQueryError

54− eQueryPostgreSqlEx :: Either SomePostgreSqlException () <- try $ throwIO queryEx

55− assertBool "Can catch SomePostgreSqlException from QueryError" $ isLeft eQueryPostgreSqlEx

56−

57− let resultError = Incompatible

58− { errSQLType = ""

59− , errSQLTableOid = Nothing

60− , errSQLField = ""

61− , errHaskellType = ""

62− , errMessage = ""

63− }

64− let resultEx :: SomeException = toException resultError

65− assertBool "ResultError is SomePostgreSqlException" $ isJust (fromException resultEx :: Maybe SomePostgreSqlException)

66− assertBool "ResultError is ResultError" $ isJust (fromException resultEx :: Maybe ResultError)

67− eResultEx :: Either ResultError () <- try $ throwIO resultEx

68− assertBool "Can catch ResultError" $ isLeft eResultEx

69− eResultPostgreSqlEx :: Either SomePostgreSqlException () <- try $ throwIO resultEx

70− assertBool "Can catch SomePostgreSqlException from ResultError" $ isLeft eResultPostgreSqlEx

test/Main.hs−2

@@ -55,7 +55,6 @@ import Notify

55import Serializable

56import Time

57import Interval

58−import Exception (testExceptions)

59

58

60tests :: TestEnv -> TestTree

59tests :: TestEnv -> TestTree

61tests env = testGroup "tests"

60tests env = testGroup "tests"

@@ -85,7 +84,6 @@ tests env = testGroup "tests"

85 , testCase "2-ary generic" . testGeneric2

84 , testCase "2-ary generic" . testGeneric2

86 , testCase "3-ary generic" . testGeneric3

85 , testCase "3-ary generic" . testGeneric3

87 , testCase "Timeout" . testTimeout

86 , testCase "Timeout" . testTimeout

88− , testCase "Exceptions" . testExceptions

89 ]

87 ]

90

88

91testBytea :: TestEnv -> TestTree

89testBytea :: TestEnv -> TestTree