Commit 6b2dcd46 authored by Jonathan D.K. Gibbons's avatar Jonathan D.K. Gibbons

Fix warnings from required deprecated flags.

parent a3ec97e3
Pipeline #14621 passed with stages
in 471 minutes and 16 seconds
......@@ -4,7 +4,7 @@
#if __GLASGOW_HASKELL__ <= 808
-- GHC 8.10 deprecates this flag, but GHC 8.8 needs it
-- emitPrimOp is quite large
{-# OPTIONS_GHC -fmax-pmcheck-iterations=4000000 #-}
{-# OPTIONS_GHC -Wno-deprecated-flags -fmax-pmcheck-iterations=4000000 #-}
#endif
----------------------------------------------------------------------------
......
......@@ -6,7 +6,7 @@
-- GHC 8.10 deprecates this flag, but GHC 8.8 needs it
-- The default iteration limit is a bit too low for the definitions
-- in this module.
{-# OPTIONS_GHC -fmax-pmcheck-iterations=10000000 #-}
{-# OPTIONS_GHC -Wno-deprecated-flags -fmax-pmcheck-iterations=10000000 #-}
#endif
-----------------------------------------------------------------------------
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment