GHC 9.8 backwards compatibility (WIP)#2380

Merged

facundominguez merged 3 commits intoucsd-progsys:developfrom gergoerdi:ghc-9.8-compat

Oct 17, 2024

+42-11

Commits on Oct 16, 2024

GHC-9.8 compatibility: Uniques contain Ints instead of Word64s.
gergoerdi
committed
GHC-9.8 compatibility: Different module names for Foldable and Real
gergoerdi
committed

Commits on Oct 17, 2024

Add a description to the header of Liquid.GHC.API.Compat
facundominguez
authored