diff options
-rw-r--r-- | mk/warnings.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/mk/warnings.mk b/mk/warnings.mk index 0ae81bfcac..9775df7093 100644 --- a/mk/warnings.mk +++ b/mk/warnings.mk @@ -122,6 +122,9 @@ libraries/parsec_dist-install_EXTRA_HC_OPTS += -Wno-name-shadowing -Wno-unused-m libraries/parsec_dist-install_EXTRA_HC_OPTS += -Wno-unused-do-bind -Wno-missing-signatures libraries/parsec_dist-install_EXTRA_HC_OPTS += -Wno-unused-imports -Wno-type-defaults +# text warns with integer-simple +libraries/text_dist-install_EXTRA_HC_OPTS += -Wno-unused-imports + # Turn of trustworthy-safe warning libraries/base_dist-install_EXTRA_HC_OPTS += -Wno-trustworthy-safe libraries/ghc-prim_dist-install_EXTRA_HC_OPTS += -Wno-trustworthy-safe |