Broken commit (removed loadKeyConfig)

2021-08-27 11:58:11 +01:00
parent c4df048d31
commit 3ff04576ab
25 changed files with 122 additions and 200 deletions
@@ -74,6 +74,11 @@ executables:
    - -funfolding-keeness-factor1000 
    - -fllvm 
    - -optlo-O3
+    - -Wall
+      #- -Wincomplete-uni-patterns
+    - -Widentities
+    - -Wredundant-constraints
+      #    - -Wmissing-export-lists
 #    - -fwrite-ide-info
 #    - -hiedir=.hie
    dependencies: