2017-04-08 00:50:30 +03:00
|
|
|
# HLint configuration file
|
|
|
|
# https://github.com/ndmitchell/hlint
|
|
|
|
##########################
|
|
|
|
|
|
|
|
# Module export lists should generally be preferred, but may be
|
|
|
|
# omitted if the module is small or internal.
|
|
|
|
- ignore: {name: Use module export list}
|
|
|
|
|
|
|
|
# Record patterns are just ugly.
|
|
|
|
- ignore: {name: Use record patterns}
|
|
|
|
|
2018-06-17 13:21:31 +03:00
|
|
|
# Don't prefer TupleSections
|
|
|
|
- ignore: {name: Use tuple-section}
|
|
|
|
|
2018-07-08 13:38:37 +03:00
|
|
|
# I don't think this helps
|
|
|
|
- ignore: {name: "Avoid lambda using `infix`"}
|
|
|
|
|
2021-03-14 01:42:04 +03:00
|
|
|
# Breaks type inference with higher-rank types in GHC 9
|
|
|
|
- ignore: {name: Use const}
|
|
|
|
|
2018-06-17 13:21:31 +03:00
|
|
|
# Inapplicable
|
|
|
|
- ignore: {name: Use readTVarIO, within: Control.Monad.Conc.Class}
|
|
|
|
|
2021-03-14 01:58:47 +03:00
|
|
|
# Type inference errors
|
2019-01-29 03:03:11 +03:00
|
|
|
- ignore: {name: Avoid lambda, within: Test.DejaFu.Conc.Internal.Program}
|
2021-03-14 01:58:47 +03:00
|
|
|
- ignore: {name: Avoid lambda, within: Examples.SearchParty}
|
2017-04-08 00:50:30 +03:00
|
|
|
|
|
|
|
# Prefer applicative operators over monadic ones.
|
|
|
|
- suggest: {name: Generalise monadic functions, lhs: return, rhs: pure}
|
2018-02-13 03:33:19 +03:00
|
|
|
|
|
|
|
# The whole point of this example is to test class laws
|
|
|
|
- ignore: {name: Functor law, within: Examples.ClassLaws}
|
|
|
|
- ignore: {name: Generalise monadic functions, within: Examples.ClassLaws}
|
|
|
|
|
|
|
|
# These test names are copied straight from the async package
|
|
|
|
- ignore: {name: Use camelCase, within: Integration.Async}
|
|
|
|
|
|
|
|
# I don't think these help.
|
|
|
|
- ignore: {name: Avoid lambda, within: Integration.Refinement}
|
2018-02-15 12:47:22 +03:00
|
|
|
- ignore: {name: Reduce duplication, within: Unit.Properties}
|
2020-02-21 01:46:09 +03:00
|
|
|
- ignore: {name: Use nonTermination, within: Unit.Properties}
|
2018-02-13 03:33:19 +03:00
|
|
|
- ignore: {name: Reduce duplication, within: Integration.Litmus}
|
|
|
|
- ignore: {name: Reduce duplication, within: Integration.MultiThreaded}
|
2020-06-20 02:07:24 +03:00
|
|
|
- ignore: {name: Reduce duplication, within: Integration.Regressions}
|
2018-03-05 14:10:17 +03:00
|
|
|
- ignore: {name: Reduce duplication, within: Integration.SCT}
|
2018-02-13 03:33:19 +03:00
|
|
|
- ignore: {name: Reduce duplication, within: Integration.SingleThreaded}
|
2019-10-04 20:06:40 +03:00
|
|
|
|
|
|
|
# These are tests of the laws
|
|
|
|
- ignore: {name: "Use <$>", within: Examples.ClassLaws}
|
2020-02-21 01:46:09 +03:00
|
|
|
- ignore: {name: "Use fmap", within: Examples.ClassLaws}
|
2019-10-04 20:06:40 +03:00
|
|
|
- ignore: {name: "Alternative law, right identity", within: Examples.ClassLaws}
|
|
|
|
- ignore: {name: "Alternative law, left identity", within: Examples.ClassLaws}
|
|
|
|
- ignore: {name: "Monoid law, right identity", within: Unit.Properties}
|