Skip to content
hlint

Parameterize Expr and Reft by the variable type #437

Sign in to view logs

Parameterize Expr and Reft by the variable type

Parameterize Expr and Reft by the variable type #437

Triggered via pull request November 21, 2024 20:44
@facundominguezfacundominguez
synchronize #708
fd/parameterize-expr
Status Failure
Total duration 28s
Artifacts –

hlint.yml

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

Annotations

1 error and 5 warnings
hlint-3.8
HLint failed with status: 1. Warning (4), Suggestion (1)
hlint-3.8: src/Language/Fixpoint/Types/Constraints.hs#L3
Warning in module Language.Fixpoint.Types.Constraints: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveFoldable #-}" ▫︎ Note: Extension DeriveFoldable is implied by DeriveTraversable
hlint-3.8: src/Language/Fixpoint/Types/Constraints.hs#L4
Warning in module Language.Fixpoint.Types.Constraints: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveFunctor #-}" ▫︎ Note: Extension DeriveFunctor is implied by DeriveTraversable
hlint-3.8: src/Language/Fixpoint/Types/Constraints.hs#L604
Suggestion in mkQual in module Language.Fixpoint.Types.Constraints: Redundant bracket ▫︎ Found: "(ExprV v) -> SourcePos -> QualifierV v" ▫︎ Perhaps: "ExprV v -> SourcePos -> QualifierV v"
hlint-3.8: src/Language/Fixpoint/Types/Refinements.hs#L3
Warning in module Language.Fixpoint.Types.Refinements: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveFoldable #-}" ▫︎ Note: Extension DeriveFoldable is implied by DeriveTraversable
hlint-3.8: src/Language/Fixpoint/Types/Refinements.hs#L4
Warning in module Language.Fixpoint.Types.Refinements: Unused LANGUAGE pragma ▫︎ Found: "{-# LANGUAGE DeriveFunctor #-}" ▫︎ Note: Extension DeriveFunctor is implied by DeriveTraversable