diff options
-rw-r--r-- | .hlint.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.hlint.yaml b/.hlint.yaml index ad0f7ddb9..177aa2e32 100644 --- a/.hlint.yaml +++ b/.hlint.yaml @@ -10,6 +10,7 @@ # - ignore: {name: "Avoid lambda"} - ignore: {name: "Use bimap"} +- ignore: {name: "Use void"} - ignore: {name: "Eta reduce"} - ignore: {name: "Evaluate"} - ignore: {name: "Reduce duplication"} # TODO: could be more fine-grained |