@@ -327,21 +327,27 @@ testDouble TestEnv{..} = TestCase $ do
328testGeneric1 :: TestEnv -> Test
328testGeneric1 :: TestEnv -> Test
329testGeneric1 TestEnv{..} = TestCase $ do
329testGeneric1 TestEnv{..} = TestCase $ do
330− let x0 = Gen1 123
330+ roundTrip (Gen1 123)
332+ roundTrip conn x0 = do
331− r <- query conn "SELECT ?::int" x0
333+ r <- query conn "SELECT ?::int" (x0 :: Gen1)
332− r @?= [x0]
334+ r @?= [x0]
334testGeneric2 :: TestEnv -> Test
336testGeneric2 :: TestEnv -> Test
335testGeneric2 TestEnv{..} = TestCase $ do
337testGeneric2 TestEnv{..} = TestCase $ do
336− let x0 = Gen2 123 "asdf"
338+ roundTrip conn (Gen2 123 "asdf")
340+ roundTrip conn x0 = do
337− r <- query conn "SELECT ?::int, ?::text" x0
341+ r <- query conn "SELECT ?::int, ?::text" x0
338− r @?= [x0]
342+ r @?= [x0]
340testGeneric3 :: TestEnv -> Test
344testGeneric3 :: TestEnv -> Test
341testGeneric3 TestEnv{..} = TestCase $ do
345testGeneric3 TestEnv{..} = TestCase $ do
342− let x0 = Gen3 123 "asdf" True
346+ roundTrip conn (Gen3 123 "asdf" True)
348+ roundTrip conn x0 = do
343− r <- query conn "SELECT ?::int, ?::text, ?::bool" x0
349+ r <- query conn "SELECT ?::int, ?::text, ?::bool" x0
344− r @?= [x0]
350+ r @?= [x0]
346data Gen1 = Gen1 Int
352data Gen1 = Gen1 Int
347 deriving (Show,Eq,Generic)
353 deriving (Show,Eq,Generic)