Local rewrites #389
Annotations
1 error and 1 warning
hlint
HLint failed with status: 1. Suggestion (1)
|
hlint:
src/Language/Fixpoint/Solver/PLE.hs#L440
Suggestion in updCtx in module Language.Fixpoint.Solver.PLE: Avoid lambda using `infix` ▫︎ Found: "(\\ k -> M.lookup k ieLRWs)" ▫︎ Perhaps: "(`M.lookup` ieLRWs)"
|
Loading