forked from ucsd-progsys/liquidhaskell
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.hlint.yaml
More file actions
24 lines (24 loc) · 893 Bytes
/
.hlint.yaml
File metadata and controls
24 lines (24 loc) · 893 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
# To be compatible with GHC naming turn off the camelCase rule.
- ignore: {name: "Use camelCase", within: [Language.Haskell.Liquid.GHC.Misc, Liquid.GHC.API.Extra]} # 4 hints
# Linting LANGUAGE pragmas with complex CPP ifdefs is too hard.
- ignore: {
name: "Unused LANGUAGE pragma",
within: [
Liquid.GHC.API,
Language.Haskell.Liquid.GHC.Interface,
Language.Haskell.Liquid.GHC.Misc
]
}
# The following are kept for usability and style sake
- ignore: {name: "Avoid lambda"} # 4 hints
- ignore: {name: "Eta reduce"} # 51 hints
- ignore: {name: "Use infix"} # 3 hints
- ignore: {name: "Fuse foldr/map"}
- ignore: {name: "Move filter"}
- ignore: {name: "Use rights"}
- ignore: {name: "Use lefts"}
- ignore: {name: "Fuse foldr/<$>"}
- ignore: {name: "Functor law"}
- ignore: {name: "Use maybe"}
- ignore: {name: "Redundant <$>"}
- ignore: {name: "Fuse concatMap/<$>"}