Updates to liquidhaskell

Facundo Domínguez
2026-03-04T21:47:42Z

GHC HEAD required some updates to Liquid Haskell. I share them here [[link]](https://github.com/ucsd-progsys/liquidhaskell/compare/develop...ci/ghc-head).

The move of the simple optimizer to a CoreToDo pass [[link]](https://gitlab.haskell.org/ghc/ghc/-/merge_requests/14759) had quite an impact. My fix in LH is currently to invoke the simple optimizer directly.

I'm sharing the changes here until I have the chance to make a release of LH for ghc-9.14.1 and bring these changes on top.