Confused by liquidhaskell submodule.

ucsd-progsys / liquidhaskell-tutorial

Tutorial for LiquidHaskell

https://ucsd-progsys.github.io/liquidhaskell-tutorial/

MIT License

74 stars 27 forks source link

Confused by liquidhaskell submodule. #81

Open capn-freako opened 5 years ago

capn-freako commented 5 years ago

Hi,

I'm confused as to why you have liquidhaskell as a Git submodule, when it's not mentioned in either package.yaml or stack.yaml.

Also, is it required to use commit 91e107457 for some reason?

Thanks!

ranjitjhala commented 5 years ago

Hmm. you're right! I'd forgotten about this too... I think it may be more a "pinned version" because sometimes (often!) we make breaking changes to LH.

capn-freako commented 5 years ago

Okay, thanks for your reply. :)