[ ghc warning ] Added -Wimplicit-kind-vars.

asr · asr · commit b4b20bf8fc07 · 2019-11-27T20:48:10.000-05:00
diff --git a/.ghci860 b/.ghci860
@@ -2,6 +2,7 @@
 -- It should be loaded automatically by the `.ghci` file in this directory.
 --
 :script .ghci820
+:set -Wimplicit-kind-vars
 :set -Winaccessible-code
 :set -Wstar-binder
 :set -Wstar-is-type
diff --git a/Agda.cabal b/Agda.cabal
@@ -611,7 +611,8 @@ library
 
   -- NOTE: If adding flags, also add to `.ghci860`
   if impl(ghc >= 8.6)
-    ghc-options: -Winaccessible-code
+    ghc-options: -Wimplicit-kind-vars
+                 -Winaccessible-code
                  -Wstar-binder
                  -Wstar-is-type
 
