Parameterize Expr and Reft by the variable type #440
Annotations
1 error and 5 warnings
|
hlint
HLint failed with status: 1. Warning (4), Suggestion (1)
|
|
hlint:
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:
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:
src/Language/Fixpoint/Types/Constraints.hs#L605
Suggestion in mkQual in module Language.Fixpoint.Types.Constraints: Redundant bracket ▫︎ Found: "(ExprV v) -> SourcePos -> QualifierV v" ▫︎ Perhaps: "ExprV v -> SourcePos -> QualifierV v"
|
|
hlint:
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:
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
|
Loading