lude

commit af2fe6661f4a13b144962b5a2430716faf03db9e
parent 9b43adbc2921d856c834f276c55ba3fe53f5b238
Author: Robert Russell <robert@rr3.xyz>
Date:   Tue, 10 Mar 2026 13:54:32 -0700

Move GHC option

Diffstat:
M
package.yaml
 | 
1
+
M
src/Lude/Kind.hs
 | 
2
--

2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/package.yaml b/package.yaml
@@ -19,6 +19,7 @@ when:
 ghc-options:
     - -Wall
     - -Wno-name-shadowing
+    - -Wno-unused-foralls
     - -fprint-explicit-foralls
     - -fprint-explicit-kinds
     - -fprint-explicit-runtime-reps
diff --git a/src/Lude/Kind.hs b/src/Lude/Kind.hs
@@ -1,5 +1,3 @@
-{-# OPTIONS_GHC -Wno-unused-foralls #-}
-
 module Lude.Kind (
     Kind,
     Type,