Commit before picture change

2021-02-28 21:26:20 +01:00
parent 4a85177522
commit bb05bcaaf1
5 changed files with 143 additions and 44 deletions
@@ -56,6 +56,7 @@ executables:
    - -O2
    - -rtsopts
    - -with-rtsopts=-N
+    - -flate-dmd-anal
    - -fno-liberate-case 
    - -fno-state-hack
    - -funfolding-use-threshold1000