@@ -6,6 +6,7 @@ import qualified Headers
6import Hedgehog (Group (..), checkSequential, withTests)
6import Hedgehog (Group (..), checkSequential, withTests)
7import qualified Roboservant as RS
7import qualified Roboservant as RS
8import qualified UnsafeIO
8import qualified UnsafeIO
9+import Control.Monad(when)
10-- | this is pretty bad. hopefully Jacob knows a better way of doing this.
11-- | this is pretty bad. hopefully Jacob knows a better way of doing this.
11-- https://twitter.com/mwotton/status/1305189249646460933
12-- https://twitter.com/mwotton/status/1305189249646460933
@@ -18,10 +19,10 @@ main :: IO ()
19 assert "should find an error in Foo" . not
20 assert "should find an error in Foo" . not
20 =<< checkSequential (Group "Foo" [("Foo", withTests 100000 $ RS.prop_sequential @Foo.FooApi Foo.fooServer)])
21 =<< checkSequential (Group "Foo" [("Foo", withTests 100000 $ RS.prop_sequential @Foo.FooApi Foo.fooServer)])
23+ assert "should find an error in Headers" . not
24+ =<< checkSequential (Group "Headers" [("Headers", withTests 10000 $ RS.prop_sequential @Headers.Api Headers.server)])
22− assert "should find an error in Headers" . not
23− =<< checkSequential (Group "Headers" [("Headers", withTests 10000 $ RS.prop_sequential @Headers.Api Headers.server)])
25 -- The UnsafeIO checker does not actually really use the contextually aware stuff, though it
26 -- The UnsafeIO checker does not actually really use the contextually aware stuff, though it
26 -- could: it's mostly here to show how to test for concurrency problems.
27 -- could: it's mostly here to show how to test for concurrency problems.
27 unsafeServer <- UnsafeIO.makeServer
28 unsafeServer <- UnsafeIO.makeServer