mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-11-27 04:36:57 +03:00
35 lines
1.5 KiB
YAML
35 lines
1.5 KiB
YAML
# 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}
|
|
|
|
# GHC treats infix $ specially wrt type checking, so that things like
|
|
# "runST $ do ..." work even though they're impredicative.
|
|
# Unfortunately, this means that HLint's "avoid lambda" warning for
|
|
# this module would lead to code which no longer compiles!
|
|
- ignore: {name: Avoid lambda, within: Test.DejaFu.Conc}
|
|
|
|
# Prefer applicative operators over monadic ones.
|
|
- suggest: {name: Generalise monadic functions, lhs: return, rhs: pure}
|
|
|
|
# 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}
|
|
- ignore: {name: Reduce duplication, within: Unit.Properties}
|
|
- ignore: {name: Reduce duplication, within: Integration.Litmus}
|
|
- ignore: {name: Reduce duplication, within: Integration.MultiThreaded}
|
|
- ignore: {name: Reduce duplication, within: Integration.SCT}
|
|
- ignore: {name: Reduce duplication, within: Integration.SingleThreaded}
|