Do not ignore redundant constraint warnings (#2442)

This commit is contained in:
Ranjeet Ranjan 2023-07-22 02:24:44 +05:30 committed by GitHub
parent e89e5c1d6d
commit 5d59a2c567
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -16,7 +16,7 @@ environment:
# ------------------------------------------------------------------------
# GHC 9.2.7 onwards redundant constraint warnings are incompatible with
# older versions
GHC_OPTIONS: "-Wno-redundant-constraints -Werror"
GHC_OPTIONS: "-Werror"
CABAL_REINIT_CONFIG: "y"
LC_ALL: "C.UTF-8"