From 1df6cd295c2191cf77298c778e046fd81cf9974b Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sun, 6 Sep 2026 19:02:39 +0800
Subject: [PATCH] what4 < 1.8, disable what4-domains (#7851)

because of parameterized-utils
---
 build-constraints.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 7d955d00..17416a5b 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -7839,6 +7839,8 @@ packages:
         - microlens-pro < 0.2.0.5
         - microlens-th < 0.4.3.18
         - parameterized-utils < 2.2.0.0
+        - what4 < 1.8
+        - what4-domains < 0
 
         # https://github.com/commercialhaskell/stackage/issues/8089
         - megaparsec < 9.8