ucsd-progsys / liquidhaskell

Liquid Types For Haskell

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Has project changed its structure recently?

avanov opened this issue · comments

Hi,

It's been a few years since I worked with LH last time, and now I see that the develop branch has significant structural changes to the project. There's no liquid-base and I'd like to know how one would approach bumping constraints introduced by liquid-base dependencies in their projects (namely for experimentations with GHC 9.4). Where could I find a detailed description of the changes?

Hello @avanov. This post explains the motivation for the changes. The specifics of configuring LH are in the install page of the documentation.

If playing with GHC 9.4, maybe have a look at the upgrade tasks in the call for sponsors.

Please, let me know if you have more questions.