input-output-hk / typed-protocols

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

Fix index-state syntax in cabal.project #26

Closed andreabedini closed 1 year ago

andreabedini commented 1 year ago

The second index-state stanza completely ovverides the first, resetting hackage index state to HEAD. See https://github.com/haskell/cabal/issues/8568

andreabedini commented 1 year ago

I bumped the hackage index state because the old value would exclude a build plan for ghc 9.4, since the old syntax was ineffective, this went unnoticed.

andreabedini commented 1 year ago

As for the failure on Windows I am at a loss.

coot commented 1 year ago

Ad windows: I got rid of this in another repo, I need to port this here too.