coot/drop io classes 1.6

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

coot/drop io classes 1.6 #56

Closed coot closed 1 week ago

coot commented 1 week ago

Revert "Allow to use io-classes-1.7"
Revert "Use io-classes-1.6"
Depend on io-classes-1.5
typed-protocols: CHANGELOG file

coot commented 1 week ago

There was a warning (turned into a compilation error thanks to -Werror). It's fixed now, as a result typed-protocols-cborg needs to depend on io-classes ^>= 1.5.