forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
/
HLint.hs
33 lines (24 loc) · 1.14 KB
/
HLint.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
-- --------------------------------------------------------------- [ HLint.hs ]
-- HLint suggestions we like.
--
-- This is a work in progress and the list of
-- suggestions/warnings/errors will vary.
--
-- -------------------------------------------------------------------- [ EOH ]
-- import "hint" HLint.HLint -- In case we want to use all of them.
-- ------------------------------------------------------------ [ Suggestions ]
-- Styling that are good Suggestions but are okay if found.
suggest "Use exitSuccess"
suggest "Use concatMap"
suggest "Use unwords"
suggest "Use null"
suggest "Redundant $"
suggest "Use list literal pattern"
suggest "Use list literal"
-- ------------------------------------------------------------------- [ Warn ]
-- Styling that we think a programmer should be warned about using.
-- ------------------------------------------------------------------ [ Error ]
-- Styling that we think a programmer should not use at all.
-- ----------------------------------------------------------------- [ Ignore ]
-- Suggestions we want to ignore.
-- -------------------------------------------------------------------- [ EOF ]