Update HLint (#2359)

Author: ttuegel

kore/src/Kore/Exec.hs

@@ -763,7 +763,7 @@ initializeProver definitionModule specModule maybeTrustedModule = do
             return result
 
         trustedClaims :: [SomeClaim]
-        trustedClaims = fmap extractClaims maybeTrustedModule & fromMaybe []
+        trustedClaims = maybe [] extractClaims maybeTrustedModule
 
     mapM_ logChangedClaim changedSpecClaims
 

kore/src/Kore/Step/RewriteStep.hs

@@ -236,8 +236,7 @@ finalizeRulesParallel toRule finalizeApplied initialVariables initial unifiedRul
     remainders <-
         applyRemainder initial remainder
         & Logic.observeAllT
-        & (fmap . fmap) assertRemainderPattern
-        & fmap OrPattern.fromPatterns
+        & fmap (fmap assertRemainderPattern >>> OrPattern.fromPatterns)
     return Step.Results
         { results = Seq.fromList results
         , remainders
@@ -257,8 +256,7 @@ finalizeSequence toRule finalizeApplied initialVariables initial unifiedRules =
     remainders <-
         applyRemainder initial remainder
         & Logic.observeAllT
-        & (fmap . fmap) assertRemainderPattern
-        & fmap OrPattern.fromPatterns
+        & fmap (fmap assertRemainderPattern >>> OrPattern.fromPatterns)
     return Step.Results
         { results = Seq.fromList $ fold results
         , remainders

nix/sources.json

@@ -24,17 +24,17 @@
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
     "hlint": {
-        "branch": "v3.2",
+        "branch": "v3.2.7",
         "description": "Haskell source code suggestions",
         "homepage": null,
         "owner": "ndmitchell",
         "repo": "hlint",
-        "rev": "b2fd3a720bba011bd77ed15bc4141b8fb996566e",
-        "sha256": "1h2vi271y3c266b1hp1d18af8kr6nw6g1ys2k8v1cw5bjnm0rf7r",
+        "rev": "c7354e473c7d09213c8adc3dc94bf50a6eb4a42d",
+        "sha256": "0jx699s890134swi71n4majbk9qbvslhmvn7cv3ndcni34chkbzb",
         "type": "tarball",
-        "url": "https://github.com/ndmitchell/hlint/archive/b2fd3a720bba011bd77ed15bc4141b8fb996566e.tar.gz",
+        "url": "https://github.com/ndmitchell/hlint/archive/c7354e473c7d09213c8adc3dc94bf50a6eb4a42d.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz",
-        "version": "v3.2"
+        "version": "v3.2.7"
     },
     "hpack": {
         "branch": "0.33.0",