More consistent traces between immdb-server and cardano-node #6397
IOG Hydra / ci/hydra-build:x86_64-linux.required
failed
Dec 15, 2025 in 0s
Build dependency failed
1 failed steps
Details
Failed Steps
Step 2
Derivation
/nix/store/a3s8clzbw1m3p8j3kr9sj2a926dbg2za-trace-forward-test-test-2.2.11.drv
Log
unpacking sources
unpacking source archive /nix/store/z5ghngzmp66spahdis29c6fpx7sfh9zs-source-root-trace-forward-test-test-root
source root is source-root-trace-forward-test-test-root
patching sources
updateAutotoolsGnuConfigScriptsPhase
configuring
Configure flags:
--prefix=/nix/store/864ffsnf085lxmiw2mbg4zmizpvdfvkg-trace-forward-test-test-2.2.11 test:test --package-db=clear --package-db=/build/tmp.1Yh5blV4Gk/lib/ghc-9.6.5/lib/package.conf.d --exact-configuration --dependency=QuickCheck=QuickCheck-2.15.0.1-1aTRwiOFM77JrJe2XC8Z9B --dependency=random=random-1.2.1.3-HtLkfgWS4A9LlImZRGwFAX --dependency=splitmix=splitmix-0.1.1-7dNxtDuog7992Oo0xoUHVl --dependency=splitmix=splitmix-0.1.1-7dNxtDuog7992Oo0xoUHVl --dependency=aeson=aeson-2.2.3.0-8II3Zh8ZPkH5S5vBRUdV8B --dependency=OneTuple=OneTuple-0.4.2-7od06fXUUXRBNk1V3VY0g5 --dependency=QuickCheck=QuickCheck-2.15.0.1-1aTRwiOFM77JrJe2XC8Z9B --dependency=character-ps=character-ps-0.1-H07uOjD6SD1EfE7l9KfeMv --dependency=data-fix=data-fix-0.3.4-BvXmtXDsLy68185WG0Pce0 --dependency=hashable=hashable-1.4.7.0-FP5AGkU12JDJaeLYkuvjdc --dependency=os-string=os-string-2.0.7-1wZ4pPiRvvH7hNvqWqsmFt --dependency=dlist=dlist-1.0-4gU1uwZtlC12QPDWmtCZHA --dependency=generically=generically-0.1.1-I9byc5Nil798plofO827gA --dependency=indexed-traversable=indexed-traversable-0.1.4-8j5HZpShpE5BqFup9Ojenr --dependency=integer-conversion=integer-conversion-0.1.1-EohlGeYBl29FR3AqZCMGqy --dependency=primitive=primitive-0.9.1.0-E1xWGIz4UCzCm0xql5yb2P --dependency=integer-logarithms=integer-logarithms-1.0.4-JvPSZbogbNGIFs0JhKtOjn --dependency=network-uri=network-uri-2.6.4.2-HWiIhV9Dzc69CWgfQnP49N --dependency=th-compat=th-compat-0.1.6-2rrkLPtbtXtGGZep4Kp6E5 --dependency=scientific=scientific-0.3.8.0-BsTZFD2pDvALt18PISmV2M --dependency=semialign=semialign-1.3.1-9d0xCy4hDOkElnC08U37Oe --dependency=indexed-traversable-instances=indexed-traversable-instances-0.1.2-IZb5yioPvzxLkjiUuaGiRS --dependency=tagged=tagged-0.8.9-2fCpivRH6QIGdlOWfdc5ig --dependency=unordered-containers=unordered-containers-0.2.20-1h9eLh0z0VxCM1t7eMGKYp --dependency=vector=vector-0.13.2.0-I2RjuNNvFzp8QLMTGGpioC --dependency=vector-stream=vector-stream-0.1.0.1-B3eeou3yuYd7g2aD4u5s22 --dependency=semigroupoids=semigroupoids-6.0.1-JojY4E0VJHx8kGvykwlVDS --dependency=base-orphans=base-orphans-0.9.3-6eHtw3ngQEKHEGQPUmUnCL --dependency=bifunctors=bifunctors-5.6.2-JOeQrqx1Bk03m9FXwiQq0j --dependency=assoc=assoc-1.1.1-pRyoYwA2ut8wRI3kAERXo --dependency=comonad=comonad-5.0.9-8ZWRrlRL43zKWDRwcrbIAe --dependency=distributive=distributive-0.6.2.1-AfprxO6uyiDBgDCaNdkxkx --dependency=transformers-compat=transformers-compat-0.7.2-5nFo8llgs2JItrIXIph57L --dependency=th-abstraction=th-abstraction-0.6.0.0-6nwiZFs5BlM71phLjoyZV3 --dependency=contravariant=contravariant-1.5.5-L3dzMMfQxh01G5kB8tri44 --dependency=StateVar=StateVar-1.2.2-A6sCENWC9xLH02ziP9IDyb --dependency=these=these-1.2.1-JRyCeJCkJl250bmIoLw274 --dependency=strict=strict-0.5.1-FORtMbIni2AIKPfHCXFH91 --dependency=text-iso8601=text-iso8601-0.1.1-DwZxM5MzfF85uAVjNhmHEo --dependency=time-compat=time-compat-1.9.8-Lc2ptc7Dh273lufuGzpsVU --dependency=text-short=text-short-0.1.6-JYTe7ZNYLl9B32IjKxECG6 --dependency=uuid-types=uuid-types-1.0.6-J3m64UTRhG9ZEwcTF2Fkh --dependency=witherable=witherable-0.5-Fg1Vavcc1IT9X0Q2PdPzVg --dependency=contra-tracer=contra-tracer-0.1.0.1-ABAAX8zRhp64jHgqbszqeR --dependency=io-classes=io-classes-1.5.0.0-1zdRFRipM5Q9fa4Q4djJxs --dependency=async=async-2.2.5-LVr5x9hlJuT5aSeOy7bxSH --dependency=io-sim=io-sim-1.5.1.0-CdZJzF5FbCYFq64GUbqitH --dependency=nothunks=nothunks-0.2.1.1-9ndXCsRS3c71PBkERHBJO --dependency=wherefrom-compat=wherefrom-compat-0.1.1.1-6fBiefS8SANJ4oOSgPD5v2 --dependency=parallel=parallel-3.2.2.0-4GFGhbl8Ae06nPoqdIyBUD --dependency=psqueues=psqueues-0.2.8.1-HOWq8kZtL9MGREDvpwSGuH --dependency=quiet=quiet-0.2-8OUbaD0oj4v2VZQvHWfNSt --dependency=si-timers=si-timers-1.5.0.0-GV3ui6qf45vCR7VBj7M06N --dependency=strict-stm=strict-stm-1.5.0.0-JbFrwIsq8sj4ChqY4vsm3z --dependency=ouroboros-network-api=ouroboros-network-api-0.14.1.0-5t4YaVP0cqG3cPmqvgskhs --dependency=base16-bytestring=base16-bytestring-1.0.2.0-7dLjEOJDdBNFW2UWv9zpg8 --dependency=cardano-binary=cardano-binary-1.7.1.0-K0GHHmltxwWFGx3Nj9YiKb --dependency=cborg=cborg-0.2.10.0-KI9Vm9czIHK65JJnjrqZRf --dependency=half=half-0.3.2-4J4TSSiKHp7LcE8iv1hUXo --dependency=formatting=formatting-7.2.0-5s9hFrd1Irq70NGMuZJ4GV --dependency=clock=clock-0.8.4-CtvJcYTfPzfKzilKTwKKyL --dependency=double-conversion=double-conversion-2.0.5.0-DVj8r45D5dQJ4qoh72NjyG --dependency=old-locale=old-locale-1.0.0.7-Gunit3UBy5P9OGDVFY5MhC --dependency=recursion-schemes=recursion-schemes-5.2.3-DuUS2WKXAB41oxa7Z9VQ5L --dependency=free=free-5.2-LSdax1DdaMaCPTpxkFxEbg --dependency=profunctors=profunctors-5.6.2-3lgFBbFFfY91KuXJxf6gL2 --dependency=transformers-base=transformers-base-0.4.6-FFJs5iPs3OX2XrjIfecasG --dependency=safe-exceptions=safe-exceptions-0.1.7.4-G1fs5SY5i1W7EEbU0Su8pW --dependency=cardano-slotting=cardano-slotting-0.2.0.0-4sMZEnR5nEzFSsMDQGTrzc --dependency=mmorph=mmorph-1.2.0-ESdjI2FgpgbLvN0Ae4I55U --dependency=serialise=serialise-0.2.6.1-H3B2AAthr5BA6uZBXwPCGR --dependency=cardano-strict-containers=cardano-strict-containers-0.1.4.0-86TyTnhIWKy3iKtcRMrxV1 --dependency=data-default-class=data-default-class-0.2.0.0-1T4XZJXYJJZBKUiRSuzDEs --dependency=data-default=data-default-0.8.0.1-JIbOy2nYLMIDyaJWAGwy0W --dependency=fingertree=fingertree-0.1.5.0-Giwitp12LPIDULoEcsvbRk --dependency=dns=dns-4.2.0-6SK2mZkEZ9Z1AIneJKrLth --dependency=attoparsec=attoparsec-0.14.4-D15oiP7zXNk1t647QBxCHx --dependency=attoparsec-internal=attoparsec-0.14.4-9YprnjwShzO8JJ0OMf0MNe-attoparsec-internal --dependency=attoparsec:attoparsec-internal=attoparsec-0.14.4-9YprnjwShzO8JJ0OMf0MNe-attoparsec-internal --dependency=auto-update=auto-update-0.2.6-H2JxsdiBXIWFoW53JgpuQD --dependency=base64-bytestring=base64-bytestring-1.2.1.0-2n37CC8Eq7mGHxpF66Eiye --dependency=crypton=crypton-1.0.4-8qLlH4gm5LEFvdhBMUK93t --dependency=basement=basement-0.0.16-HvTgG10TboKKpCgs2TlMDx --dependency=memory=memory-0.18.0-1WpDueBt7uE65CGObfwaOX --dependency=dns-internal=dns-4.2.0-J5p7sJfGJBX8gxBj9LnjjM-dns-internal --dependency=dns:dns-internal=dns-4.2.0-J5p7sJfGJBX8gxBj9LnjjM-dns-internal --dependency=case-insensitive=case-insensitive-1.2.1.0-6SY4mNx0PwC3iNtCY6qMyt --dependency=hourglass=hourglass-0.2.12-7hsf1xsQKlX3FSVWblNjAE --dependency=iproute=iproute-1.7.15-49dqw1YpNz3AAdBxfzMBgt --dependency=appar=appar-0.1.8-35VNf41Gyn3ISAkAVOl5KW --dependency=byteorder=byteorder-1.0.4-IFlP2E44NdRWUzguGw0c2 --dependency=network=network-3.2.7.0-LYsNW9Eu7zMKq43maswjve --dependency=network=network-3.2.7.0-LYsNW9Eu7zMKq43maswjve --dependency=measures=measures-0.1.0.2-Lv8019tTsVL78mfAaAaOGu --dependency=base-deriving-via=base-deriving-via-0.1.0.2-KkdboKUtPYPDHNfiUxrVeB --dependency=network-mux=network-mux-0.8.0.2-KPnkcd05aqx1KaLCTjX9Pc --dependency=monoidal-synchronisation=monoidal-synchronisation-0.1.0.6-9pVC7Vpy5e6J1aRLuZ1ISv --dependency=statistics-linreg=statistics-linreg-0.3-7zAdiVfqLDACqI4a8nvrQO --dependency=MonadRandom=MonadRandom-0.6.2-89LDI4loVsZDAlaYIIhJpO --dependency=random-shuffle=random-shuffle-0.0.4-2EeYlgQZCrjFVKMiQUk8LM --dependency=safe=safe-0.3.21-F46Xmb3LoXlCc8daI6vSkg --dependency=statistics=statistics-0.16.3.0-7cDL75Qy8A2ATGzOC4Mlfv --dependency=dense-linear-algebra=dense-linear-algebra-0.1.0.0-68qV7g0H9Q0JQOaeVyeWB1 --dependency=math-functions=math-functions-0.3.4.4-BxjvIIx1YBI30vRSBdPb3d --dependency=vector-algorithms=vector-algorithms-0.9.1.0-49UoJ6Cldmh9aIF2Hrj3i3 --dependency=bitvec=bitvec-1.1.5.0-Bg2se02isXnHQWJDU12NsD --dependency=vector-binary-instances=vector-binary-instances-0.2.5.2-3FoPI6kx2TJDmyH8k22ivQ --dependency=vector-th-unbox=vector-th-unbox-0.2.2-4Jh6eoD4WQqKV1qGRrZWdm --dependency=mwc-random=mwc-random-0.15.2.0-66L0ILEpO88B7VP9q24y1t --dependency=typed-protocols=typed-protocols-0.3.0.0-6NIUvgHl9923T9lj65J5tQ --dependency=singletons=singletons-3.0.4-BBdD2FQs1xYFOGLWminZ1a --dependency=ouroboros-network-framework=ouroboros-network-framework-0.18.0.2-7jR2Zxjxj5WF1hE50vmwq9 --dependency=Win32-network=Win32-network-0.2.0.1-835e5SRQrOTLwvX4it2HPP --dependency=cardano-prelude=cardano-prelude-0.2.1.0-KSgzRokbl6S3VlMl7iapCK --dependency=canonical-json=canonical-json-0.6.0.1-EWUFqAp9ro3h7M3zpHDEm --dependency=extra=extra-1.8-4xQe5LWRbdT6tgdxP1pC2v --dependency=microlens=microlens-0.4.13.1-KYxyai9RKt756hvMHa07OI --dependency=ouroboros-network-testing=ouroboros-network-testing-0.8.1.0-5TUT6llN9dS6NJ6xPDvOes --dependency=deque=deque-0.4.4.2-JLWVSyH00KjHFH4VrzNMD3 --dependency=strict-list=strict-list-0.1.7.6-LvJRHJIS2TBous46JyLMW --dependency=pretty-simple=pretty-simple-4.1.3.0-CgCEtVeFh77DzeuzwtgE2n --dependency=prettyprinter-ansi-terminal=prettyprinter-ansi-terminal-1.1.3-BS0BNhDi4bRJMHIUaERCPI --dependency=ansi-terminal=ansi-terminal-1.1.2-B0OgGuBTUBLLtXcp4uHsI1 --dependency=ansi-terminal-types=ansi-terminal-types-1.1-Ljk8G5zFQrc3mzpKoVrFNT --dependency=colour=colour-2.3.6-Dv7015zVt5k10e0N0YtJJm --dependency=colour=colour-2.3.6-Dv7015zVt5k10e0N0YtJJm --dependency=prettyprinter=prettyprinter-1.7.1-60yVE7QePDs8FHIPsacPFF --dependency=prettyprinter=prettyprinter-1.7.1-60yVE7QePDs8FHIPsacPFF --dependency=tasty-expected-failure=tasty-expected-failure-0.12.3-CeauUJNOGnwEzBQeIGdWqG --dependency=tasty=tasty-1.5.3-2D9wYmwT9Yp28MMqfwUz79 --dependency=optparse-applicative=optparse-applicative-0.18.1.0-9mGDZRVkiFx3UxZisDmjvn --dependency=unbounded-delays=unbounded-delays-0.1.1.1-HsgcuRTUZLCDZTX0AINS0o --dependency=typed-protocols-cborg=typed-protocols-cborg-0.3.0.0-3PcJjIelqaGGYEta8sXSGy --dependency=typed-protocols-stateful=typed-protocols-stateful-0.3.0.0-IupPXX6sWD63oAHz4WT3Tx --dependency=tasty-quickcheck=tasty-quickcheck-0.11.1-GEwabdA1XTf1uJFdCVjyv3 --dependency=trace-forward=trace-forward-2.2.11-EpnoIuCuPuxHV4ZmHtecjg --dependency=array=array-0.5.6.0 --dependency=base=base-4.18.2.1 --dependency=binary=binary-0.8.9.1 --dependency=bytestring=bytestring-0.11.5.3 --dependency=containers=containers-0.6.7 --dependency=deepseq=deepseq-1.4.8.1 --dependency=directory=directory-1.3.8.4 --dependency=exceptions=exceptions-0.10.7 --dependency=filepath=filepath-1.4.300.1 --dependency=ghc=ghc-9.6.5 --dependency=ghc-bignum=ghc-bignum-1.3 --dependency=ghc-boot=ghc-boot-9.6.5 --dependency=ghc-boot-th=ghc-boot-th-9.6.5 --dependency=ghc-compact=ghc-compact-0.1.0.0 --dependency=ghc-heap=ghc-heap-9.6.5 --dependency=ghc-prim=ghc-prim-0.10.0 --dependency=ghci=ghci-9.6.5 --dependency=haskeline=haskeline-0.8.2.1 --dependency=hpc=hpc-0.6.2.0 --dependency=integer-gmp=integer-gmp-1.1 --dependency=mtl=mtl-2.3.1 --dependency=parsec=parsec-3.1.16.1 --dependency=pretty=pretty-1.1.3.6 --dependency=process=process-1.6.19.0 --dependency=rts=rts-1.0.2 --dependency=stm=stm-2.5.1.0 --dependency=system-cxx-std-lib=system-cxx-std-lib-1.0 --dependency=template-haskell=template-haskell-2.20.0.0 --dependency=terminfo=terminfo-0.4.1.6 --dependency=text=text-2.0.2 --dependency=time=time-1.12.2 --dependency=transformers=transformers-0.6.1.0 --dependency=unix=unix-2.8.4.0 --with-ghc=ghc --with-ghc-pkg=ghc-pkg --with-hsc2hs=hsc2hs --with-gcc=cc --with-ar=ar --with-strip=strip --disable-executable-stripping --disable-library-stripping --disable-library-profiling --disable-profiling --enable-static --enable-shared --disable-executable-dynamic --disable-coverage --enable-library-for-ghci --datadir=/nix/store/4bq00a46llp5iizlhviya2zqw9idr9ar-trace-forward-test-test-2.2.11-data/share/ghc-9.6.5 --enable-split-sections --ghc-option=-Werror
Configuring test suite 'test' for trace-forward-2.2.11..
Warning: 'hs-source-dirs: src' specifies a directory which does not exist.
building
Preprocessing test suite 'test' for trace-forward-2.2.11..
Building test suite 'test' for trace-forward-2.2.11..
[ 1 of 12] Compiling Test.Trace.Forward.Protocol.Common ( test/Test/Trace/Forward/Protocol/Common.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/Common.o )
[ 2 of 12] Compiling Test.Trace.Forward.Protocol.DataPoint.Direct ( test/Test/Trace/Forward/Protocol/DataPoint/Direct.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/DataPoint/Direct.o )
[ 3 of 12] Compiling Test.Trace.Forward.Protocol.DataPoint.Examples ( test/Test/Trace/Forward/Protocol/DataPoint/Examples.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/DataPoint/Examples.o )
[ 4 of 12] Compiling Test.Trace.Forward.Protocol.DataPoint.Item ( test/Test/Trace/Forward/Protocol/DataPoint/Item.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/DataPoint/Item.o )
[ 5 of 12] Compiling Test.Trace.Forward.Protocol.DataPoint.Codec ( test/Test/Trace/Forward/Protocol/DataPoint/Codec.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/DataPoint/Codec.o )
[ 6 of 12] Compiling Test.Trace.Forward.Protocol.DataPoint.Tests ( test/Test/Trace/Forward/Protocol/DataPoint/Tests.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/DataPoint/Tests.o )
test/Test/Trace/Forward/Protocol/DataPoint/Tests.hs:124:13: error: [GHC-39999]
• Could not deduce ‘si-timers-1.5.0.0:Control.Monad.Class.MonadTime.SI.MonadMonotonicTime
m’
arising from a use of ‘runConnectedPeers’
from the context: (MonadST m, MonadAsync m, MonadCatch m)
bound by the type signature for:
prop_channel :: forall (m :: * -> *).
(MonadST m, MonadAsync m, MonadCatch m) =>
(Int -> Int) -> Int -> m Property
at test/Test/Trace/Forward/Protocol/DataPoint/Tests.hs:(114,1)-(121,15)
Possible fix:
add (si-timers-1.5.0.0:Control.Monad.Class.MonadTime.SI.MonadMonotonicTime
m) to the context of
the type signature for:
prop_channel :: forall (m :: * -> *).
(MonadST m, MonadAsync m, MonadCatch m) =>
(Int -> Int) -> Int -> m Property
• In a stmt of a 'do' block:
(s, c) <- runConnectedPeers
createConnectedChannels nullTracer
(codecDataPointForward
CBOR.encode CBOR.decode CBOR.encode CBOR.decode)
forwarder acceptor
In the expression:
do forwarder <- dataPointForwarderPeer <$> dataPointForwarderCount
(s, c) <- runConnectedPeers
createConnectedChannels nullTracer
(codecDataPointForward
CBOR.encode CBOR.decode CBOR.encode CBOR.decode)
forwarder acceptor
return $ (s, c) === (n, foldr ($) 0 (replicate n f))
In an equation for ‘prop_channel’:
prop_channel f n
= do forwarder <- dataPointForwarderPeer
<$> dataPointForwarderCount
(s, c) <- runConnectedPeers
createConnectedChannels nullTracer
(codecDataPointForward
CBOR.encode CBOR.decode CBOR.encode CBOR.decode)
forwarder acceptor
return $ (s, c) === (n, foldr ($) 0 (replicate n f))
where
acceptor = dataPointAcceptorPeer $ dataPointAcceptorApply f 0 n
|
124 | (s, c) <- runConnectedPeers createConnectedChannels
| ^^^^^^^^^^^^^^^^^
[ 7 of 12] Compiling Test.Trace.Forward.Protocol.TraceObject.Direct ( test/Test/Trace/Forward/Protocol/TraceObject/Direct.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/TraceObject/Direct.o )
[ 8 of 12] Compiling Test.Trace.Forward.Protocol.TraceObject.Examples ( test/Test/Trace/Forward/Protocol/TraceObject/Examples.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/TraceObject/Examples.o )
[ 9 of 12] Compiling Test.Trace.Forward.Protocol.TraceObject.Item ( test/Test/Trace/Forward/Protocol/TraceObject/Item.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/TraceObject/Item.o )
[10 of 12] Compiling Test.Trace.Forward.Protocol.TraceObject.Codec ( test/Test/Trace/Forward/Protocol/TraceObject/Codec.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/TraceObject/Codec.o )
[11 of 12] Compiling Test.Trace.Forward.Protocol.TraceObject.Tests ( test/Test/Trace/Forward/Protocol/TraceObject/Tests.hs, dist/build/test/test-tmp/Test/Trace/Forward/Protocol/TraceObject/Tests.o )
test/Test/Trace/Forward/Protocol/TraceObject/Tests.hs:121:13: error: [GHC-39999]
• Could not deduce ‘si-timers-1.5.0.0:Control.Monad.Class.MonadTime.SI.MonadMonotonicTime
m’
arising from a use of ‘runConnectedPeers’
from the context: (MonadST m, MonadAsync m, MonadCatch m)
bound by the type signature for:
prop_channel :: forall (m :: * -> *).
(MonadST m, MonadAsync m, MonadCatch m) =>
(Int -> Int) -> Int -> m Property
at test/Test/Trace/Forward/Protocol/TraceObject/Tests.hs:(111,1)-(118,15)
Possible fix:
add (si-timers-1.5.0.0:Control.Monad.Class.MonadTime.SI.MonadMonotonicTime
m) to the context of
the type signature for:
prop_channel :: forall (m :: * -> *).
(MonadST m, MonadAsync m, MonadCatch m) =>
(Int -> Int) -> Int -> m Property
• In a stmt of a 'do' block:
(s, c) <- runConnectedPeers
createConnectedChannels nullTracer
(codecTraceObjectForward
CBOR.encode CBOR.decode CBOR.encode CBOR.decode)
forwarder acceptor
In the expression:
do forwarder <- traceObjectForwarderPeer
<$> traceObjectForwarderCount
(s, c) <- runConnectedPeers
createConnectedChannels nullTracer
(codecTraceObjectForward
CBOR.encode CBOR.decode CBOR.encode CBOR.decode)
forwarder acceptor
return $ (s, c) === (n, foldr ($) 0 (replicate n f))
In an equation for ‘prop_channel’:
prop_channel f n
= do forwarder <- traceObjectForwarderPeer
<$> traceObjectForwarderCount
(s, c) <- runConnectedPeers
createConnectedChannels nullTracer
(codecTraceObjectForward
CBOR.encode CBOR.decode CBOR.encode CBOR.decode)
forwarder acceptor
return $ (s, c) === (n, foldr ($) 0 (replicate n f))
where
acceptor = traceObjectAcceptorPeer $ traceObjectAcceptorApply f 0 n
|
121 | (s, c) <- runConnectedPeers createConnectedChannels
| ^^^^^^^^^^^^^^^^^
Loading