search

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family
Apache License 2.0
1 stars 1 forks source link

Change the names of internal-communication operations #76

Closed jeltsch closed 12 months ago

jeltsch commented 1 year ago

We shall change the names of the operations for communicating between parties to Yield and Await, which are [what the Haskell implementation uses][yield-await].

[yield-await]: https://github.com/input-output-hk/typed-protocols/blob/60ec691c865deb07f2c3ffe80d2e2f2585f3c834/typed-protocols/src/Network/TypedProtocol/Core.hs#L432-L464 "Operations for communication between parties"

jeltsch commented 12 months ago

This issue has become obsolete by reviving #73 (see the respective comment).