haskell - GHC 8 を必要とするコードで Liquid Haskell を使用できますか?

Question

スタックでビルドされ、GHC 8 が必要なプロジェクトがあります。GHC 8 が必要な場合、私のプロジェクトで Liquid Haskell を使用することは可能ですか? その場合、Liquid Haskell をインストールして実行するにはどうすればよいですか?

ありがとう！

Answer 1

はい！できます -- LH は現在 GHC 8.0.2 をサポートしています (まだ 8.2 ではありません...) ここの指示に従ってビルド/実行できます:

https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended