haskell-template

commit d0e21cda4bcb244e66e835ea72e813716a86e2bf
parent 5f1b589ef8d52d76d5ee23d73ef50cc5cd7ae832
Author: Robert Russell <robert@rr3.xyz>
Date:   Thu,  3 Sep 2026 10:09:12 -0700

Add -fprint flags and RequiredTypeArguments

Diffstat:
M
package.yaml
 | 
6
++++--

1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/package.yaml b/package.yaml
@@ -20,11 +20,13 @@ ghc-options:
     - -Wall
     - -Wno-name-shadowing
     - -Wno-unused-top-binds
+    - -fprint-explicit-foralls
+    - -fprint-explicit-kinds
+    - -fprint-explicit-runtime-reps
     - -O2
 
 language: GHC2024
 
-# Uncontroversial extensions, except for Strict
 default-extensions:
     - BlockArguments
     - DefaultSignatures
@@ -40,7 +42,7 @@ default-extensions:
     - PatternSynonyms
     - QuantifiedConstraints
     - RecursiveDo
-    # - Strict
+    - RequiredTypeArguments
     - TypeAbstractions
     - TypeData
     - TypeFamilies