Jappie Klooster authored 9 months ago and Teo Camarasu committed 2 weeks ago

(cherry picked from commit 03b4b78d)

This applies the changes from 3967a873.

Ben Gamari authored 2 months ago and Teo Camarasu committed 2 weeks ago

This is not relevant to head.hackage's validation since it merely
builds the Agda standard libraries. Upstream removed this
in [1].

[1] https://github.com/agda/agda/commit/5b89a8580b04000294c2618680f7c362ae26f62a

Ben Gamari authored 4 months ago and Teo Camarasu committed 2 weeks ago

th-orphans-0.13.16 is sufficient for GHC 9.12.

Ben Gamari authored 4 months ago and Teo Camarasu committed 2 weeks ago

th-lift-0.8.6 has the necessary bits for master.

The type of findPluginModule changed in d47bf7769758a1c8f65b66bb41b926c213ed3803

The build was broken by the introduction of the ModuleModInfo type in:
ghc!14187

Resolves #120

This commit updates the patch for liquidhaskell-boot-0.9.10.1 to
account for the changes in GHC MR !14122, and in particular commit
ecfec4df3521c02cc881f41d7418430b15077b8f which changed some constructors
of the Haskell AST, such as HsVar and HsTyVar, to store the original
user-written RdrName along side the renamed Name.

Fixes #121

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 6 months ago and Teo Camarasu committed 3 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