The liquid-platform package offers a liquidhaskell executable. This executable is a wrapper of ghc that invokes the compiler with the -fplugin=LiquidHaskell flag and package-related flags.
It seems to me that cabal exec ghc -fplugin=LiquidHaskell and stack exec ghc -fplugin=LiquidHaskell accomplish much of the same while being more telling to the user, so I propose that we document this way of calling the plugin and retire liquid-platform.
The
liquid-platformpackage offers aliquidhaskellexecutable. This executable is a wrapper of ghc that invokes the compiler with the-fplugin=LiquidHaskellflag and package-related flags.It seems to me that
cabal exec ghc -fplugin=LiquidHaskellandstack exec ghc -fplugin=LiquidHaskellaccomplish much of the same while being more telling to the user, so I propose that we document this way of calling the plugin and retireliquid-platform.