Skip to content
hlint

Extensional reasoning on Values #370

Sign in to view logs

Extensional reasoning on Values

Extensional reasoning on Values #370

Triggered via pull request October 1, 2024 13:39
@AlecsFerraAlecsFerra
synchronize #705
AlecsFerra:develop
Status Failure
Total duration 32s
Artifacts –

hlint.yml

on: pull_request
hlint-3.8
21s
hlint-3.8
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
hlint-3.8
HLint failed with status: 1. Suggestion (1)
hlint-3.8: src/Language/Fixpoint/Solver/PLE.hs#L1060
Suggestion in evalApp in module Language.Fixpoint.Solver.PLE: Redundant $ ▫︎ Found: "drop nProvidedArgs $ expectedArgs" ▫︎ Perhaps: "drop nProvidedArgs expectedArgs"