Могу ли я использовать Liquid Haskell для кода, который требует GHC 8?

Question

У меня есть проект, который собран со стеком и требует GHC 8. Можно ли использовать Liquid Haskell с моим проектом, учитывая, что он требует GHC 8? Если да, то как мне установить и запустить 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