Make it build with ghc-9.10

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

Closed erikd closed 2 months ago

erikd commented 2 months ago

The build failure with ghc-8.10 is due to toolchain issues.

coot commented 2 months ago

To fix 8.10 macos-latest we need to add something like this to the .github/workflows/haskell.yml: https://github.com/input-output-hk/io-sim/pull/153/commits/8484627a0f8d8252766f3ce56701cccbe12bc3be

coot commented 2 months ago

I pushed a commit which should fix it.