indentation
This commit is contained in:
parent
ac59c70360
commit
eed9ee5197
@ -123,11 +123,11 @@ serverSatisfiesMgr api manager burl args preds = do
|
|||||||
let reqs = ($ burl) <$> runGenRequest api
|
let reqs = ($ burl) <$> runGenRequest api
|
||||||
deetsMVar <- newEmptyMVar
|
deetsMVar <- newEmptyMVar
|
||||||
r <- quickCheckWithResult args { chatty = False } $ monadicIO $ forAllM reqs $ \req -> do
|
r <- quickCheckWithResult args { chatty = False } $ monadicIO $ forAllM reqs $ \req -> do
|
||||||
v <- run $ finishPredicates preds (noCheckStatus req) manager
|
v <- run $ finishPredicates preds (noCheckStatus req) manager
|
||||||
_ <- run $ tryPutMVar deetsMVar v
|
_ <- run $ tryPutMVar deetsMVar v
|
||||||
case v of
|
case v of
|
||||||
Just _ -> assert False
|
Just _ -> assert False
|
||||||
_ -> return ()
|
_ -> return ()
|
||||||
case r of
|
case r of
|
||||||
Success {} -> return ()
|
Success {} -> return ()
|
||||||
Failure {..} -> do
|
Failure {..} -> do
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user