HLint failed with status: 1. Warning (4), Suggestion (6)

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Warning in module Language.Fixpoint.Counterexample: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE OverloadedStrings #-}"

Warning in module Language.Fixpoint.Counterexample.Build: Use fewer imports ▫︎ Found: "import Control.Monad ( foldM )\nimport Control.Monad ( when, forM )\n" ▫︎ Perhaps: "import Control.Monad ( foldM, when, forM )\n"

Suggestion in addHorn in module Language.Fixpoint.Counterexample.Build: Redundant $ ▫︎ Found: "Body cid $ statements" ▫︎ Perhaps: "Body cid statements"

Warning in module Language.Fixpoint.Counterexample.Check: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE BangPatterns #-}"

Warning in unscopeSym in module Language.Fixpoint.Counterexample.SMT: Use mapM ▫︎ Found: "sequence $ read' <$> trace" ▫︎ Perhaps: "mapM read' trace"

Suggestion in Prog in module Language.Fixpoint.Counterexample.Types: Redundant bracket ▫︎ Found: "functions :: (HashMap Name Func)" ▫︎ Perhaps: "functions :: HashMap Name Func"

Suggestion in seqIndexOf in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (FVar 0) $ intSort" ▫︎ Perhaps: "FFunc (FVar 0) intSort"

Suggestion in seqContains in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (seqSort 0) $ boolSort" ▫︎ Perhaps: "FFunc (seqSort 0) boolSort"

Suggestion in seqPrefixOf in module Language.Fixpoint.Smt.Theories: Redundant $ ▫︎ Found: "FFunc (seqSort 0) $ boolSort" ▫︎ Perhaps: "FFunc (seqSort 0) boolSort"