haskell/esqueleto
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove a bunch of warnings from the test suite.

Browse Source
This commit is contained in:
Felipe Lessa 2015-06-19 21:39:54 -03:00
parent a4a04db98c
commit 5f7d28222c
1 changed files with 16 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
test/Test.hs
View File

@ -1,3 +1,4 @@
{-# OPTIONS_GHC -fno-warn-unused-binds #-}
{-# LANGUAGE ConstraintKinds {-# LANGUAGE ConstraintKinds
, EmptyDataDecls , EmptyDataDecls
, FlexibleContexts , FlexibleContexts
@ -20,7 +21,7 @@ module Main (main) where
import Control.Applicative ((<$>)) import Control.Applicative ((<$>))
import Control.Arrow ((&&&)) import Control.Arrow ((&&&))
import Control.Exception (IOException) import Control.Exception (IOException)
import Control.Monad (replicateM, replicateM_) import Control.Monad (replicateM, replicateM_, void)
import Control.Monad.IO.Class (MonadIO(liftIO)) import Control.Monad.IO.Class (MonadIO(liftIO))
import Control.Monad.Logger (MonadLogger(..), runStderrLoggingT, runNoLoggingT) import Control.Monad.Logger (MonadLogger(..), runStderrLoggingT, runNoLoggingT)
import Control.Monad.Trans.Control (MonadBaseControl(..)) import Control.Monad.Trans.Control (MonadBaseControl(..))
@ -451,12 +452,12 @@ main = do
it "respects the associativity of joins" $ it "respects the associativity of joins" $
run $ do run $ do
insert' p1 void $ insert p1
ps <- select . from $ ps <- select . from $
\((p :: SqlExpr (Entity Person)) \((p :: SqlExpr (Entity Person))
`LeftOuterJoin` `LeftOuterJoin`
(( q :: SqlExpr (Entity Person)) ((_q :: SqlExpr (Entity Person))
`InnerJoin` (r :: SqlExpr (Entity Person)))) -> do `InnerJoin` (_r :: SqlExpr (Entity Person)))) -> do
on (val False) -- Inner join is empty on (val False) -- Inner join is empty
on (val True) on (val True)
return p return p
@ -563,18 +564,18 @@ main = do
p2e@(Entity _ bob) <- insert' $ Person "bob" (Just 36) Nothing 1 p2e@(Entity _ bob) <- insert' $ Person "bob" (Just 36) Nothing 1
-- lower(name) == 'john' -- lower(name) == 'john'
ret <- select $ ret1 <- select $
from $ \p-> do from $ \p-> do
where_ (lower_ (p ^. PersonName) ==. val (map toLower $ personName p1)) where_ (lower_ (p ^. PersonName) ==. val (map toLower $ personName p1))
return p return p
liftIO $ ret `shouldBe` [ p1e ] liftIO $ ret1 `shouldBe` [ p1e ]
-- name == lower('BOB') -- name == lower('BOB')
ret <- select $ ret2 <- select $
from $ \p-> do from $ \p-> do
where_ (p ^. PersonName ==. lower_ (val $ map toUpper $ personName bob)) where_ (p ^. PersonName ==. lower_ (val $ map toUpper $ personName bob))
return p return p
liftIO $ ret `shouldBe` [ p2e ] liftIO $ ret2 `shouldBe` [ p2e ]
it "works with random_" $ it "works with random_" $
run $ do run $ do
@ -927,7 +928,7 @@ main = do
#if defined(WITH_POSTGRESQL) #if defined(WITH_POSTGRESQL)
it "ilike, (%) and (++.) work on a simple example on PostgreSQL" $ it "ilike, (%) and (++.) work on a simple example on PostgreSQL" $
run $ do run $ do
[p1e, p2e, p3e, p4e, p5e] <- mapM insert' [p1, p2, p3, p4, p5] [p1e, _, p3e, _, p5e] <- mapM insert' [p1, p2, p3, p4, p5]
let nameContains t expected = do let nameContains t expected = do
ret <- select $ ret <- select $
from $ \p -> do from $ \p -> do