Merge pull request #3207 from jfdm/add-hlint-config
Addition of a HLint configuration.
commitdc7da6b5accced5e39d59b62281b9ba69b95d6df
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateFri 10 Jun 2016, 09:09 (10 years ago)
parentb8f4abd0ea1b72
HLint.hsnew file+3
@@ -0,0 +1,3 @@
1+-- HLint File
2+
3+import "hint" HLint.HLint
idris.cabal+1
@@ -91,6 +91,7 @@ Extra-source-files:
9191 Makefile
9292 config.mk
9393 stack.yaml
94+ HLint.hs
9495 man/idris.1
9596
9697 rts/*.c