tx-generator: make it buildable in leios-prototype #6583
+4
−3
IOG Hydra / ci/hydra-build:x86_64-linux.windows.tests.trace-forward.test
failed
May 27, 2026 in 0s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/74n87z15chlqx7al7a9j8phanp6ccw03-trace-forward-test-test-x86_64-w64-mingw32-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/4x4clss9w9qwma3iyy14l0zfwxw7i98c-trace-forward-test-test-x86_64-w64-mingw32-2.2.11 test:test --package-db=clear --package-db=/build/tmp.lHp55DTAQ0/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-JQ9PlWyBlMp2pqMvigxaQ8 --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-JM61s3z5nKXGFq8Isxxtk6 --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-GKXLy94PNWTFmwbxhYSN94 --dependency=base-orphans=base-orphans-0.9.3-6eHtw3ngQEKHEGQPUmUnCL --dependency=bifunctors=bifunctors-5.6.2-EyQHP98FOuV5PSNvOIZy1v --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.7.1.0-KJwop1HQJPLLpD3Pqgrtuq --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-J89POxEfqkeJ2lMlE86ewo --dependency=time-compat=time-compat-1.9.8-LM1azpTXgwYIfLlfNRwrEk --dependency=time=time-1.12.2-BkSp5PAqQvt7gxEkGb9poB --dependency=Win32=Win32-2.14.1.0-AmUs3zKjPIA957sCXt4WFq --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-ICODPJMjgHG2SapZNTWbcG --dependency=async=async-2.2.5-LVr5x9hlJuT5aSeOy7bxSH --dependency=io-sim=io-sim-1.5.1.0-I0Ikwsj7LV2Cve2LHLWrBW --dependency=nothunks=nothunks-0.2.1.1-29aHUPbfOrgJcAhU3Else0 --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-9aTMwm26C47ItaYisCa8 --dependency=strict-stm=strict-stm-1.5.0.0-2bl40tMYzf7E4ZX2nvTC6U --dependency=ouroboros-network-api=ouroboros-network-api-0.14.1.0-2J9xkpioRkmCTE0ca1mrsq --dependency=base16-bytestring=base16-bytestring-1.0.2.0-7dLjEOJDdBNFW2UWv9zpg8 --dependency=cardano-binary=cardano-binary-1.7.1.0-GfRehmpxwNkBYac3OvRlfd --dependency=cborg=cborg-0.2.10.0-KI9Vm9czIHK65JJnjrqZRf --dependency=half=half-0.3.2-4J4TSSiKHp7LcE8iv1hUXo --dependency=formatting=formatting-7.2.0-Aoe4XogYT0g37hW875W4so --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-JQhdTeTqnkOHTVB2l2adP5 --dependency=free=free-5.2-I2NaBlFQ2uLFjyGWLZveSi --dependency=profunctors=profunctors-5.6.2-5KTKcfMVsH81ibxZDSk1p9 --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-7Rb85DanCqlGd5Twhz1Kjl --dependency=mmorph=mmorph-1.2.0-ESdjI2FgpgbLvN0Ae4I55U --dependency=serialise=serialise-0.2.6.1-A1Css8bVpdT5ZZGLQERa9i --dependency=cardano-strict-containers=cardano-strict-containers-0.1.4.0-Dp8aOARQaZFL2dDbxQ4cLG --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-KC19fF5wTei9yLlCzjmcqH --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-1fUjRl87ctb87ETFOWBGk --dependency=basement=basement-0.0.16-JFRyQXCFlfGHbFqy1kufct --dependency=memory=memory-0.18.0-FzQcEJNRjLI44dt2ykjwrT --dependency=dns-internal=dns-4.2.0-3Cgupde9zCDE3j74A7BWhf-dns-internal --dependency=dns:dns-internal=dns-4.2.0-3Cgupde9zCDE3j74A7BWhf-dns-internal --dependency=case-insensitive=case-insensitive-1.2.1.0-6SY4mNx0PwC3iNtCY6qMyt --dependency=hourglass=hourglass-0.2.12-DgeULTd8yIoKUpIJUI4leL --dependency=iproute=iproute-1.7.15-3DTS0K0WOb01q1z06k43Jx --dependency=appar=appar-0.1.8-35VNf41Gyn3ISAkAVOl5KW --dependency=byteorder=byteorder-1.0.4-IFlP2E44NdRWUzguGw0c2 --dependency=network=network-3.2.7.0-G0ahqavQxCJnw8e7hB5MZ --dependency=directory=directory-1.3.9.0-IfOLJHTkiGIJot1k8hboKr --dependency=file-io=file-io-0.1.5-BlYSfeLRTjg9IvoKz4DwfL --dependency=temporary=temporary-1.3-KvENscxq6LZ6d0wrbum88E --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-Iu4Q21jAEIqQECG7IQPAE --dependency=Win32-network=Win32-network-0.2.0.1-HJSha7ZscRLFbZ1JhyBcj6 --dependency=monoidal-synchronisation=monoidal-synchronisation-0.1.0.6-9pVC7Vpy5e6J1aRLuZ1ISv --dependency=process=process-1.6.26.0-CcTOMWdTq2XEVUPMeVlnNT --dependency=statistics-linreg=statistics-linreg-0.3-6FJ0tuALUM9JwPYujmQxk --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-6RvGMX5Yn7cLLSfF5hPYYt --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-3RVGgpRzVQdFuHfOlHw85A --dependency=typed-protocols=typed-protocols-0.3.0.0-Khd9QMw2wo7IDsCS1HxqKz --dependency=singletons=singletons-3.0.4-BBdD2FQs1xYFOGLWminZ1a --dependency=ouroboros-network-framework=ouroboros-network-framework-0.18.0.2-8fkLHhPqTFtCgWIRQbH21U --dependency=cardano-prelude=cardano-prelude-0.2.1.0-CuwJbaZoXPyAHU5ZDxZfCO --dependency=canonical-json=canonical-json-0.6.0.1-EWUFqAp9ro3h7M3zpHDEm --dependency=extra=extra-1.8-FsH9eSjPTI171atSKgu0rH --dependency=microlens=microlens-0.4.14.0-IP2Uuhm3qTnDhkfYobH8B3 --dependency=ouroboros-network-testing=ouroboros-network-testing-0.8.1.0-Aym057qTPziLIBWbuAivar --dependency=deque=deque-0.4.4.2-4WEZ7Tt01NQ9DIIeVDuYs2 --dependency=strict-list=strict-list-0.1.7.6-4FzwQ7K0TywEC7bxcPX7Bx --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-9yUTEduEqaKGu8fxbap61C --dependency=tasty=tasty-1.5.3-GOkD6eiPq8VClmC0pMgaba --dependency=optparse-applicative=optparse-applicative-0.18.1.0-ERJkD5bwER46wIYB5uWlTW --dependency=unbounded-delays=unbounded-delays-0.1.1.1-HsgcuRTUZLCDZTX0AINS0o --dependency=typed-protocols-cborg=typed-protocols-cborg-0.3.0.0-1xJ7VeXYiP8K8wlJewZ0Hp --dependency=typed-protocols-stateful=typed-protocols-stateful-0.3.0.0-23ISRabyh9HFXHSPSYSWVP --dependency=tasty-quickcheck=tasty-quickcheck-0.11.1-7rWsvZGAVxrHnAHXRFJv4d --dependency=trace-forward=trace-forward-2.2.11-I3G5QH8B4g18iS8PDR2hJr --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=exceptions=exceptions-0.10.7 --dependency=filepath=filepath-1.4.300.1 --dependency=ghc-bignum=ghc-bignum-1.3 --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=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=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=text=text-2.0.2 --dependency=transformers=transformers-0.6.1.0 --with-ghc=x86_64-w64-mingw32-ghc --with-ghc-pkg=x86_64-w64-mingw32-ghc-pkg --with-hsc2hs=x86_64-w64-mingw32-hsc2hs --with-gcc=x86_64-w64-mingw32-cc --with-ar=x86_64-w64-mingw32-ar --with-strip=x86_64-w64-mingw32-strip --disable-executable-stripping --disable-library-stripping --disable-library-profiling --disable-profiling --enable-static --disable-shared --disable-executable-dynamic --disable-coverage --enable-library-for-ghci --datadir=/nix/store/xyzh1dp8vgdpinwbcqspvmvlaxw4pw1z-trace-forward-test-test-x86_64-w64-mingw32-2.2.11-data/share/x86_64-w64-mingw32-ghc-9.6.5 --hsc2hs-option=--cross-compile --hsc2hs-option=--via-asm --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