coot

There's nothing specific to `cardano` in `ouroboros-network` but there's also nothing specific to `ouroboros` either. We could use some fancy name instead. What about `ouroboros-chain` instead `ouroboros-common`? Another idea for...

[High level peer sharing](https://github.com/input-output-hk/ouroboros-network/wiki/Peer-Sharing-Planning) design is completed.

* [ ] https://github.com/input-output-hk/cardano-node/blob/p2p-master/doc/getting-started/understanding-config-files.md

@jutaro the new tracing system is probably also using some kind of filtering of messages by tracer name, isn't it? If so is this derived from trace type name?

Some examples (a non exhaustive list) where the terms are quite big and are missing type signatures: * https://github.com/input-output-hk/ouroboros-network/blob/master/network-mux/test/Test/Mux.hs#L435 * https://github.com/input-output-hk/ouroboros-network/blob/master/network-mux/test/Test/Mux.hs#L999 * https://github.com/input-output-hk/ouroboros-network/blob/master/network-mux/test/Test/Mux.hs#L1082

You're right [it](https://github.com/input-output-hk/io-sim/blob/main/strict-stm/src/Control/Monad/Class/MonadSTM/Strict.hs#L3=) has `DuplicateRecordFields` turned on which implies `DisambiguateRecordFields`.

I don't think so. #472 only applies to type signatures which have haddoc annotations, which are pretty printed (at least split into separate lines), an [example](https://hackage.haskell.org/package/free-algebras-0.1.0.1/docs/Control-Algebra-Free2.html#v:assocFree2) of type signature that...

The link you provided, e.g. [1] does not contain any `README.md` file.

@Mistuke I am glad to see the changes are moving forward. The requirements for us were * reliable cancellation of threads that are blocked on reads * running concurrent reads...

@clinty could you send me a patch against the current version of cabal syntax file.