Protect agains no-incomplete-record-selectoers

Apparently this is becoming part of -Wall in ghc 9.12
LeventErkok · Dec 6, 2024 · e7daf24 · e7daf24
1 parent 634f256
commit e7daf24
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs b/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs
@@ -20,10 +20,15 @@
 -- should provide a template for other similar programs.
 -----------------------------------------------------------------------------
 
+{-# LANGUAGE CPP              #-}
 {-# LANGUAGE NamedFieldPuns   #-}
 {-# LANGUAGE NegativeLiterals #-}
 
+#if MIN_VERSION_base(4,20,0)
+{-# OPTIONS_GHC -Wall -Werror -Wno-incomplete-record-selectors #-}
+#else
 {-# OPTIONS_GHC -Wall -Werror #-}
+#endif
 
 module Documentation.SBV.Examples.Puzzles.AOC_2021_24 where