khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-09-11 08:55:25 +03:00
Code Issues Projects Releases Wiki Activity

rr-quickcheck: apply compat interface.

Browse Source
This commit is contained in:
Kei Hibino 2019-05-04 19:15:33 +09:00
parent 655bbce00a
commit d662ebe589
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rr-quickcheck/rr-quickcheck.cabal
View File

@ -26,7 +26,7 @@ library
other-extensions: TemplateHaskell, MultiParamTypeClasses, FlexibleInstances
build-depends: base <5
, QuickCheck >=2
, quickcheck-simple
, quickcheck-simple >= 0.1.1
, HDBC
, HDBC-session
, product-isomorphic

4
rr-quickcheck/src/Test/Relational/QuickCheck/Tests.hs
View File

@ -8,7 +8,7 @@ module Test.Relational.QuickCheck.Tests (
) where
import Test.QuickCheck (Property)
import Test.QuickCheck.Property (morallyDubiousIOProperty)
import Test.QuickCheck.CompatIO (ioProperty)
import Test.QuickCheck.Simple (Test, qcTest)
import Control.Monad (unless)
import Data.List (sort)
@ -38,7 +38,7 @@ propQueryResult :: (Eq a, Show a, FromSql SqlValue a, IConnection conn)
-> [a]
-> Property
propQueryResult connect initialize select expect =
morallyDubiousIOProperty . withConnectionIO connect $ \conn -> do
ioProperty . withConnectionIO connect $ \conn -> do
initialize conn
qresult <- runQuery' conn select ()
let judge = qresult == expect