git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/HLint.hs
34 lines 1.2 kB history raw
1{-# LANGUAGE TemplateHaskell #-}
2-- --------------------------------------------------------------- [ HLint.hs ]
3-- HLint suggestions we like.
4--
5-- This is a work in progress and the list of
6-- suggestions/warnings/errors will vary.
7--
8-- -------------------------------------------------------------------- [ EOH ]
10-- import "hint" HLint.HLint -- In case we want to use all of them.
12-- ------------------------------------------------------------ [ Suggestions ]
13-- Styling that are good Suggestions but are okay if found.
15suggest "Use exitSuccess"
16suggest "Use concatMap"
17suggest "Use unwords"
18suggest "Use null"
19suggest "Redundant $"
20suggest "Use list literal pattern"
21suggest "Use list literal"
23-- ------------------------------------------------------------------- [ Warn ]
24-- Styling that we think a programmer should be warned about using.
27-- ------------------------------------------------------------------ [ Error ]
28-- Styling that we think a programmer should not use at all.
31-- ----------------------------------------------------------------- [ Ignore ]
32-- Suggestions we want to ignore.
34-- -------------------------------------------------------------------- [ EOF ]