From ae2f4d7552a81462899a39cbd889adcf370d21cc Mon Sep 17 00:00:00 2001
From: Felix Dilke <felix.dilke@obsidian.systems>
Date: Tue, 3 Feb 2026 18:32:02 +0000
Subject: [PATCH] now using GHC2024

---
 haskell-experiments/haskell-experiments.cabal | 2 +-
 haskell-experiments/src/Datalog/NaiveQE.hs    | 1 +
 haskell-experiments/src/Datalog/Rules.hs      | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/haskell-experiments/haskell-experiments.cabal b/haskell-experiments/haskell-experiments.cabal
index 8fef750..3e83a9e 100644
--- a/haskell-experiments/haskell-experiments.cabal
+++ b/haskell-experiments/haskell-experiments.cabal
@@ -53,7 +53,7 @@ extra-doc-files:    CHANGELOG.md
 
 common commonSettings
   -- Base language which the package is written in.
-  default-language: Haskell2010
+  default-language:   GHC2024
   default-extensions:
     OverloadedStrings 
 
diff --git a/haskell-experiments/src/Datalog/NaiveQE.hs b/haskell-experiments/src/Datalog/NaiveQE.hs
index b3e8802..f91e9c4 100644
--- a/haskell-experiments/src/Datalog/NaiveQE.hs
+++ b/haskell-experiments/src/Datalog/NaiveQE.hs
@@ -6,6 +6,7 @@
 {-# LANGUAGE ImportQualifiedPost #-}
 {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
 {-# LANGUAGE InstanceSigs #-}
+{-# LANGUAGE DatatypeContexts #-}
 
 module Datalog.NaiveQE where
 import Datalog.QueryEngine
diff --git a/haskell-experiments/src/Datalog/Rules.hs b/haskell-experiments/src/Datalog/Rules.hs
index 6094d04..4cb8900 100644
--- a/haskell-experiments/src/Datalog/Rules.hs
+++ b/haskell-experiments/src/Datalog/Rules.hs
@@ -2,6 +2,7 @@
 {-# LANGUAGE ImportQualifiedPost #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}
+{-# LANGUAGE DatatypeContexts #-}
 
 module Datalog.Rules where