liquidhaskell icon indicating copy to clipboard operation
liquidhaskell copied to clipboard

Published 20 hours ago • verified publisher icon ucsd-progsys

Nuke liquid-ghc-prim and liquid-base from this repo

Open adinapoli opened this issue 4 years ago • 1 comments

As we discussed numerous times in the past, now we have moved liquid-base and liquid-ghc-prim into their own repo so that they can evolve separately from liquidhaskell itself:

  • https://github.com/liquidhaskell/liquid-base
  • https://github.com/liquidhaskell/liquid-ghc-prim

We should now modify this project so that we don't vendor liquid-base and liquid-ghc-prim from this repo, but rather we use the uploaded versions of Hackage. The risk of not doing that is that of course people might accidentally contribute to the versions committed into this mega repo, with the other versions falling behind / drifting apart.

adinapoli avatar Jun 29 '21 12:06 adinapoli

We can't straightforwardly do this, because liquid-bases on hackage are pinned to their corresponding base versions, but there is no liquid-base-4.14.3.0, which would correspond to base-4.14.3.0 which is in our stack resolver. So maybe there need to be some hackage releases first?

googleson78 avatar Mar 30 '22 12:03 googleson78