From 26be7fc82d65d474b0067f9eb5d3107b0d41befd Mon Sep 17 00:00:00 2001
From: Michael Peyton Jones <me@michaelpj.com>
Date: Sat, 23 Dec 2023 17:26:32 +0000
Subject: [PATCH] Drop generic-lens workaround

---
 cabal.project | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/cabal.project b/cabal.project
index 7d0ad235..deeb1e27 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,4 +1,4 @@
-index-state: 2023-11-13T00:00:00Z
+index-state: 2023-12-23T00:00:00Z
 
 packages:
          ./lsp
@@ -17,9 +17,3 @@ package lsp-types
   -- This makes a big difference here as lsp-types
   -- has very many independent modules 
   ghc-options: -j4
-
-if impl(ghc >= 9.7)
-  -- https://github.com/kcsongor/generic-lens/issues/158
-  allow-newer: 
-    generic-lens:text,
-    generic-lens-core:text,