File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,20 +19,15 @@ LiquidHaskell itself is installed&enabled by adding it as a dependency in your p
1919
2020Depending on your version of GHC, you might want to use a build of LiquidHaskell from github or from Hackage.
2121
22- * ` ghc-9.2.5 ` : use LiquidHaskell from github
22+ * ` ghc-9.2.5 ` : use liquidhaskell-0.9.2.5.0 from Hackage
2323* ` ghc-9.0.2 ` : use liquidhaskell-0.9.0.2.1 and liquid-base-0.4.15.1.0 from Hackage
2424* ` ghc-8.10.7 ` : use liquidhaskell-0.8.10.7 and liquid-base-0.4.15.0.0 from Hackage
2525
2626Newer versions of GHC aren't supported yet.
2727
28- When using liquidhaskell from github, add ` liquidhaskell ` to the ` build-depends `
29- section of your ` .cabal ` file, and configure ` stack ` or ` cabal ` -install to
30- look for the package there. The following section points to an example project
31- that does this.
32-
33- When using liquidhaskell from Hackage, add ` liquidhaskell ` and
34- ` liquid-base ` to the ` build-depends ` section of your ` .cabal ` file, as you would
35- any other dependency.
28+ To use liquidhaskell from Hackage, add ` liquidhaskell ` to the ` build-depends `
29+ section of your ` .cabal ` file, as you would any other dependency. ` liquid-base `
30+ needs to be added only if using a GHC version older than 9.2.5.
3631
3732This causes ` stack ` (or ` cabal ` ) to automatically:
3833
You can’t perform that action at this time.
0 commit comments