input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.
15 stars 4 forks source link

[typed-protocols]: Fix the contra-tracer mess #38

Closed erikd closed 1 year ago

erikd commented 1 year ago

Part of https://github.com/input-output-hk/devx-aux/issues/42

coot commented 1 year ago

Fixed in #37, isn't it? If not, please reopen.

erikd commented 1 year ago

@Coot This will actually have to be reverted. This PR fixed it in this package but the overall problem is much bigger and hairier.

Renaming IOG's contra-tracer to iog-contra-tracer and propagating this through all the repos is incredibly difficult. The problems include:

I tried 3 different ways to fix this and all failed due to one or more of the above.

erikd commented 1 year ago

PR is https://github.com/input-output-hk/typed-protocols/pull/39

erikd commented 1 year ago

Done!