add GADTs extension for GHC <= 9.2

swarm-game · Jul 27, 2023 · 76dfddf · 76dfddf
1 parent d4e15d1
commit 76dfddf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Swarm/Game/World/Gen.hs b/src/Swarm/Game/World/Gen.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE GADTs #-}
 {-# LANGUAGE MonoLocalBinds #-}
 {-# LANGUAGE OverloadedStrings #-}