diff options
author | Phil de Joux <philderbeast@gmail.com> | 2022-05-03 07:34:04 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-03 13:34:04 +0200 |
commit | bc0f2d6c1bfd331a9426fa9a92288444178267b1 (patch) | |
tree | 56d0a57f65885a4811c49cde3169bd865df95e50 /.hlint.yaml | |
parent | a7378415ecc24e9c212ecd320fe4a5b3658ecefe (diff) |
Follow hlint, remove language pragmas in libs. (#1478)
Diffstat (limited to '.hlint.yaml')
-rw-r--r-- | .hlint.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.hlint.yaml b/.hlint.yaml index 0bfbd84f..1a737166 100644 --- a/.hlint.yaml +++ b/.hlint.yaml @@ -20,7 +20,7 @@ - ignore: {name: "Redundant return"} # 1 hint - ignore: {name: "Replace case with fromMaybe"} # 2 hints - ignore: {name: "Replace case with maybe"} # 4 hints -- ignore: {name: "Unused LANGUAGE pragma"} # 21 hints +- ignore: {name: "Unused LANGUAGE pragma"} # 10 hints - ignore: {name: "Use $>"} # 4 hints - ignore: {name: "Use ++"} # 3 hints - ignore: {name: "Use :"} # 3 hints |