Closed RyanGlScott closed 3 years ago
This patch contains a collection of minor fixes needed to make sbv compile with GHC 9.0:
sbv
@
GHC 9.0 features some new warnings in -Wall:
-Wall
-Wstar-is-type
*
Type
-Wunused-record-wildcards
Both of these are straightforward to fix.
Thanks!
LeventErkok
commented
3 years ago LeventErkok
commented
3 years ago
This patch contains a collection of minor fixes needed to make
sbvcompile with GHC 9.0:@-pattern was removed in order to conform with GHC proposal 229, which is implemented in 9.0. (See https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0229-whitespace-bang-patterns.rst)GHC 9.0 features some new warnings in
-Wall:-Wstar-is-type, which warns about using*instead ofType.-Wunused-record-wildcards, which warns about record wildcard matches where none of the bound variables are used.Both of these are straightforward to fix.