17 17
- Agda.Syntax.Concrete.Operators.parsePat
18 18 19 19
# Warnings currently triggered by your code
20 -
- ignore: {name: "Avoid lambda"} # 49 hints
20 +
- ignore: {name: "Avoid lambda"} # 50 hints
21 21
- ignore: {name: "Avoid lambda using `infix`"} # 13 hints
22 -
- ignore: {name: "Eta reduce"} # 182 hints
22 +
- ignore: {name: "Empty single-line comment"} # 197 hints
23 +
- ignore: {name: "Eta reduce"} # 181 hints
23 24
- ignore: {name: "Evaluate"} # 15 hints
24 -
- ignore: {name: "Functor law"} # 21 hints
25 -
- ignore: {name: "Fuse foldMap/<$>"} # 2 hints
25 +
- ignore: {name: "Functor law"} # 2 hints
26 26
- ignore: {name: "Fuse foldr/map"} # 8 hints
27 27
- ignore: {name: "Fuse mapM/map"} # 2 hints
28 -
- ignore: {name: "Fuse traverse/<$>"} # 2 hints
29 28
- ignore: {name: "Hoist not"} # 18 hints
29 +
- ignore: {name: "Move brackets to avoid $"} # 1 hint
30 30
- ignore: {name: "Move guards forward"} # 2 hints
31 -
- ignore: {name: "Redundant $"} # 634 hints
32 -
- ignore: {name: "Redundant <$>"} # 52 hints
33 -
- ignore: {name: "Redundant <&>"} # 4 hints
31 +
- ignore: {name: "Redundant $"} # 622 hints
32 +
- ignore: {name: "Redundant <$>"} # 45 hints
33 +
- ignore: {name: "Redundant <&>"} # 1 hint
34 34
- ignore: {name: "Redundant True guards"} # 1 hint
35 35
- ignore: {name: "Redundant bang pattern"} # 1 hint
36 -
- ignore: {name: "Redundant bracket"} # 492 hints
36 +
- ignore: {name: "Redundant bracket"} # 495 hints
37 37
- ignore: {name: "Redundant case"} # 1 hint
38 -
- ignore: {name: "Redundant flip"} # 3 hints
39 -
- ignore: {name: "Redundant fmap"} # 1 hint
38 +
- ignore: {name: "Redundant flip"} # 4 hints
40 39
- ignore: {name: "Redundant guard"} # 5 hints
41 40
- ignore: {name: "Redundant id"} # 1 hint
42 41
- ignore: {name: "Redundant if"} # 2 hints
49 48
- ignore: {name: "Replace case with maybe"} # 4 hints
50 49
- ignore: {name: "Unused LANGUAGE pragma"} # 210 hints
51 50
- ignore: {name: "Use &&"} # 4 hints
52 -
- ignore: {name: "Use ++"} # 11 hints
51 +
- ignore: {name: "Use ++"} # 13 hints
53 52
- ignore: {name: "Use /="} # 1 hint
54 53
- ignore: {name: "Use :"} # 17 hints
55 54
- ignore: {name: "Use <$"} # 4 hints
60 59
- ignore: {name: "Use >"} # 1 hint
61 60
- ignore: {name: "Use Just"} # 2 hints
62 61
- ignore: {name: "Use LANGUAGE pragmas"} # 7 hints
63 -
- ignore: {name: "Use all"} # 1 hint
64 62
- ignore: {name: "Use camelCase"} # 72 hints
65 63
- ignore: {name: "Use concatMap"} # 2 hints
66 64
- ignore: {name: "Use const"} # 79 hints
67 65
- ignore: {name: "Use fewer imports"} # 6 hints
66 +
- ignore: {name: "Use first"} # 1 hint
68 67
- ignore: {name: "Use fmap"} # 6 hints
69 68
- ignore: {name: "Use fold"} # 1 hint
70 -
- ignore: {name: "Use foldMap"} # 2 hints
71 69
- ignore: {name: "Use fromMaybe"} # 1 hint
70 +
- ignore: {name: "Use gets"} # 1 hint
72 71
- ignore: {name: "Use id"} # 2 hints
72 +
- ignore: {name: "Use infix"} # 1 hint
73 73
- ignore: {name: "Use intercalate"} # 1 hint
74 74
- ignore: {name: "Use isNothing"} # 2 hints
75 75
- ignore: {name: "Use join"} # 2 hints
90 90
- ignore: {name: "Use section"} # 21 hints
91 91
- ignore: {name: "Use sequenceA"} # 3 hints
92 92
- ignore: {name: "Use uncurry"} # 1 hint
93 -
- ignore: {name: "Use unless"} # 4 hints
93 +
- ignore: {name: "Use unless"} # 3 hints
94 94
- ignore: {name: "Use void"} # 13 hints
95 95
- ignore: {name: "Use zipWith"} # 2 hints
96 -
- ignore: {name: "Use ||"} # 7 hints
97 - 96 +
- ignore: {name: "Use ||"} # 8 hints
98 97
# Specify additional command line arguments
99 98
- arguments:
100 99
- --ignore-glob=notes/papers/iird/paper.lhs
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4