debug

runtimeverification · Mar 27, 2024 · 6b18d57 · 6b18d57
1 parent 248f67b
commit 6b18d57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/fourmolu.sh b/scripts/fourmolu.sh
@@ -6,4 +6,4 @@ fourmolu_version=$(${fourmolu} --version | head -n1)
 # drop the prefix 'fourmolu ' which is 9 letters long
 fourmolu_version=${fourmolu_version:9}
 [[ ${fourmolu_version} == ${expected_fourmolu_version} ]] || { echo "Unexpected fourmolu version, got ${fourmolu_version}, expected ${expected_fourmolu_version}" ; exit 1 ; }
-git ls-files | grep '.*\.hs$' | xargs ${fourmolu} -o -XImportQualifiedPost -o -XTypeApplications -o -XPatternSynonyms -o -XBangPatterns -o -XOverloadedRecordDot -i
+git ls-files | grep '.*\.hs$' | xargs ${fourmolu} -d -o -XImportQualifiedPost -o -XTypeApplications -o -XPatternSynonyms -o -XBangPatterns -o -XOverloadedRecordDot -i