From e7daf24558eb7eb0c2a7815f3267ec33368de41a Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Fri, 6 Dec 2024 04:35:15 -0800
Subject: [PATCH] Protect agains no-incomplete-record-selectoers

Apparently this is becoming part of -Wall in ghc 9.12
---
 Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs b/Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs
index 92256f0ff..bacc20497 100644
--- 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