feat: Add nat hope solving #111
conormcbAnnotations
1 error and 4 warnings
|
hlint
HLint failed with status: 1. Warning (4)
|
|
hlint:
brat/Brat/Checker/SolveNumbers.hs#L60
Warning in solveNumMeta in module Brat.Checker.SolveNumbers: Use when ▫︎ Found: "if M.member tgt hopes then req (RemoveHope tgt) else pure ()" ▫︎ Perhaps: "Control.Monad.when (M.member tgt hopes) $ req (RemoveHope tgt)"
|
|
hlint:
brat/Brat/Checker/SolveNumbers.hs#L52
Warning in solveNumMeta in module Brat.Checker.SolveNumbers: Use when ▫︎ Found: "if M.member bigTgt hopes then req (RemoveHope bigTgt) else pure ()" ▫︎ Perhaps: "Control.Monad.when (M.member bigTgt hopes)\n $ req (RemoveHope bigTgt)"
|
|
hlint:
brat/Brat/Checker/SolveNumbers.hs#L47
Warning in solveNumMeta in module Brat.Checker.SolveNumbers: Use when ▫︎ Found: "if M.member weeTgt hopes then req (RemoveHope weeTgt) else pure ()" ▫︎ Perhaps: "Control.Monad.when (M.member weeTgt hopes)\n $ req (RemoveHope weeTgt)"
|
|
hlint:
brat/Brat/Eval.hs#L137
Warning in quoteNum in module Brat.Eval: Eta reduce ▫︎ Found: "quoteNum lvy num = fmap (quoteVar lvy) num" ▫︎ Perhaps: "quoteNum lvy = fmap (quoteVar lvy)"
|