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