upgrade hlint to 3.8, ignoring some new hints

Author: jberthold

.hlint.yaml

@@ -16,6 +16,10 @@
 # applied to Kore.Rewrite.SMT.Evaluator.evaluate.
 - ignore: {name: "Redundant evaluate"}
 
+# This warning should apply to Data.NonEmpty.unzip but is mistakenly
+# applied to Data.List.unzip
+- ignore: {name: "Avoid NonEmpty.unzip", within: [Booster.Pattern.Rewrite]}
+
 # Corporate style
 - ignore: {name: "Move brackets to avoid $" }
 - ignore: {name: "Use tuple-section"}
@@ -94,6 +98,10 @@
     name: "Redundant bracket"
     within:
       - Kore.Internal.TermLike.TermLike
+# decreases readability
+- ignore: {name: "Functor law"}
+- ignore: {name: "Move filter"}
+- ignore: {name: "Move mapMaybe"}
 
 
 # Haskell names match K names

scripts/hlint.sh

@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 set -euxo pipefail
-expected_hlint_version=v3.6.1
+expected_hlint_version=v3.8
 hlint=${HLINT:-$(which hlint)} || { echo 'No hlint!' ; exit 1 ; }
 hlint_version=$(${hlint} --version | head -n1 | cut --field=1 --delimiter=',' | cut --field=2 --delimiter=' ')
 [[ ${hlint_version} == ${expected_hlint_version} ]] || { echo "Unexpected hlint version, got ${hlint_version}, expected ${expected_hlint_version}" ; exit 1 ; }