Update index state

[newhoggy]

Description

The additional constraint in cabal.project is explained in a comment below.

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. These may include:
  • golden tests
  • property tests
  • roundtrip tests
  • integration tests
    See Runnings tests for more details
• Any changes are noted in the CHANGELOG.md for affected package
• The version bounds in .cabal files are updated
• CI passes. See note on CI. The following CI checks are required:
  • Code is linted with hlint. See .github/workflows/check-hlint.yml to get the hlint version
  • Code is formatted with stylish-haskell. See .github/workflows/stylish-haskell.yml to get the stylish-haskell version
  • Code builds on Linux, MacOS and Windows for ghc-8.10.7 and ghc-9.2.7
• Self-reviewed the diff

Note on CI

If your PR is from a fork, the necessary CI jobs won't trigger automatically for security reasons.
You will need to get someone with write privileges. Please contact IOG node developers to do this
for you.

[carbolymer]

Why? can you add a comment explaining why?

[newhoggy]

If you don't include it you get this error:

src/Control/Monad/Class/MonadSTM/Trans.hs:116:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
116 |     writeTMVar     = ContTSTM .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:194:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
194 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:272:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
272 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:350:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
350 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:428:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
428 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:506:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
506 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:584:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
584 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

src/Control/Monad/Class/MonadSTM/Trans.hs:662:5: error: [GHC-54721]
    ‘writeTMVar’ is not a (visible) method of class ‘MonadSTM’
    |
662 |     writeTMVar     = lift .: writeTMVar
    |     ^^^^^^^^^^

This is just changes in the definition of type classes in our dependencies that break other dependencies. When all our other dependencies update accordingly we can remove this constraint.