coot
coot
The tricky part is to implement it in a way that `IOSimPOR` can discover races, e.g. if one thread is scheduled before the monitoring one, the monitoring one can receive...
That's indeed useful. It would be nice to provide: * `monadicIOSimPOR_` * `monadicIOSimPOR` * `runIOSimPORGen` similar to: * `monadicIOSim_` * `monadicIOSim` * `runIOSim`
I am planning to release `io-classes-1.8` (#213), it would be nice to include your two PRs.
> How to do churn, which will require new metrics to optimise the network graph. In this context the question is how to decouple metric used by churn, so it's...
Let's also note that `mithril-node` will not use `NonP2P` diffusion, it will only support `P2P` diffusion.
Yes, I agree, `Nothing :: Maybe a` indicating a successful operation is unintuitive. What about returning: ``` data ApplyMempoolResult = ApplyMempoolError ApplyMempoolPayloadErr | ApplyMempoolSuccess ^ -- successful transaction submission, `TxId`...
Yes, the intention is to solve your original problem of looking around the code how to do things.
The problem is that it's indeed polymorphic, and the concrete type is implemented by the consensus team if I am not mistaken. But they don't use `CDDL`. @dnadales should be...
> @JaredCorduan @coot in that case, should this issue be moved to the ledger repo? Ledger has nothing to do with it, it's consensus (which now lives in `ouroboros-network` repo...
It is a bit surprising that `Flag False` is fine, but `NoFlag` isn't; try to set the flag in `haddock-project` explicitly (`haddock-project` calls `haddock`).