Fixed building benchmarks

Benchmarks are also should build on CI.

Author: coot

cabal.project

@@ -5,14 +5,20 @@ packages: ./io-sim
           ./strict-stm
 
 package io-sim
-  tests: True
-  -- NOTE: to enable benchmarks, one needs to disable tests for --
-  -- `typed-protocols-examples`.  This won't be a problem, once `io-sim` lands
-  -- in its own repository.
-  benchmarks: False
+  flags: +asserts
 
 package io-classes
   flags: +asserts
 
 package strict-stm
   flags: +asserts
+
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/typed-protocols
+  tag: b00ba45ed0c81284378ddea9a42c96e8ccb855e0
+  --sha256: 1qdp1wbvbmcs8z0c8phjz58w1zfwb1lkb0bjh7ksfy3hyrzcs07i
+  subdir:
+    typed-protocols
+    typed-protocols-cborg
+    typed-protocols-examples

io-sim/bench/Main.hs

@@ -11,7 +11,7 @@ import           Control.Monad.Class.MonadSay
 import           Control.Monad.Class.MonadThrow
 import           Control.Monad.Class.MonadTimer
 import           Control.Monad.IOSim
-import           Control.Tracer (Tracer (..), nullTracer)
+import           Control.Tracer (Tracer (..), emit, nullTracer)
 
 import           Criterion
 import           Criterion.Main
@@ -104,7 +104,7 @@ main = defaultMain
       , bench "events" $
         nf id ( selectTraceEventsSay
               $ runSimTrace
-              $ prop_channel Nothing n (Tracer $ say . show))
+              $ prop_channel Nothing n (Tracer $ emit $ say . show))
       ]
     , env (pure ()) $ \_ ->
       bgroup "delays"