search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
243 stars 34 forks source link

Try GHC 8.10's unsed-packages flag #522

Closed LeventErkok closed 4 years ago

LeventErkok commented 4 years ago

This could lead to a trimming of the dependencies:

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-warnings.html#ghc-flag--Wunused-packages

(Mac Brew is still on 8.8; so delaying this till 8.10 is available via brew.)

LeventErkok commented 4 years ago

Done!