See ghc@65dc65dc

These builds were broken by this MR: ghc!9604 (comment 613908) . We've disabled ghcide since this area is currently under heavy modification and it will be easier to fix it at the end.

This is based on this commit:
https://github.com/ucsd-progsys/liquidhaskell/pull/2487/commits/080cfeea0b8eed9ea040ec93303884d964eacbdd

Matthew Pickering authored 4 months ago and Teo Camarasu committed 2 months ago

The 1.0.11 version works with a wide range of ghc versions.

This was removed in ghc@c3593101

It's not the version of Cabal our dep that matters but the version of cabal-install

This should solve our build failures without requiring patching

This commit updates ghc-tcplugins-extra and hc-typelits-natnormalise
to account for the following minor renaming changes:

   isEqPred          -->  isEqClassPred
   isEqPrimPred      -->  isEqPred
   mkPrimEqPred      -->  mkNomEqPred

from the GHC commit 0225249a43a49e1ef36de14d28a7aadd7c796a95.

ghcide-2.9.0.0: Adapt to 1bab7dde7e3600f24476cbb2a5b43864ccde1faa and 24e89c40b7725123f03b98c7d934acc6256ff086

Adapt extra patch to ghc@caf44a2d
which implements `compareLength`.

Fixes #106.

This goes in tandem with ghc!12858.

This updates the patch to accommodate the following GHC commits:

* ghc@c5d89412

  This removes the `mi_globals` field in favor of `mi_top_env`.

* ghc@36aa7cf1

  This adds an additional `CompressionIFace` argument to the `writeIface` and
  `putWithUserData` functions.

This updates the patch to accommodate the following GHC commits:

* ghc@c5d89412

  This removes the `mi_globals` field (in favor of `mi_top_env`) and the
  `modInfoTopLevelScope` function. `liquidhaskell-boot` re-exports `mi_globals`
  but does not actually use it, so we can remove the re-export safely. It is
  not yet clear to me how to port over the code that uses the
  `modInfoTopLevelScope` function, however. Thankfully, this code is for
  debugging only (it is not used by the test suite), so we can put this off for
  now.

* ghc@b2227487

  This commit adds an `Eq` instance for `VarBndr`, so guard the orphan `Eq`
  instance for `VarBndr` in `liquidhaskell-boot` behind CPP.

Ian-Woo Kim authored 10 months ago and Ryan Scott committed 10 months ago

This adapts text-show to be able to build with the `IoManagerFlag`-related
changes introduced in
ghc@1350e746

.

Co-authored-by: Ryan Scott <ryan.gl.scott@gmail.com>