mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
Use new HLint config file.
Ignore a couple of unhelpful diagnostics.
This commit is contained in:
parent
e393bf02c6
commit
372560bef3
61
.hlint.yaml
Normal file
61
.hlint.yaml
Normal file
@ -0,0 +1,61 @@
|
||||
# HLint configuration file
|
||||
# https://github.com/ndmitchell/hlint
|
||||
##########################
|
||||
|
||||
# This file contains a template configuration file, which is typically
|
||||
# placed as .hlint.yaml in the root of your project
|
||||
|
||||
|
||||
# Specify additional command line arguments
|
||||
#
|
||||
# - arguments: [--color, --cpp-simple, -XQuasiQuotes]
|
||||
|
||||
|
||||
# Control which extensions/flags/modules/functions can be used
|
||||
#
|
||||
# - extensions:
|
||||
# - default: false # all extension are banned by default
|
||||
# - name: [PatternGuards, ViewPatterns] # only these listed extensions can be used
|
||||
# - {name: CPP, within: CrossPlatform} # CPP can only be used in a given module
|
||||
#
|
||||
# - flags:
|
||||
# - {name: -w, within: []} # -w is allowed nowhere
|
||||
#
|
||||
# - modules:
|
||||
# - {name: [Data.Set, Data.HashSet], as: Set} # if you import Data.Set qualified, it must be as 'Set'
|
||||
# - {name: Control.Arrow, within: []} # Certain modules are banned entirely
|
||||
#
|
||||
# - functions:
|
||||
# - {name: unsafePerformIO, within: []} # unsafePerformIO can only appear in no modules
|
||||
|
||||
|
||||
# Add custom hints for this project
|
||||
#
|
||||
# Will suggest replacing "wibbleMany [myvar]" with "wibbleOne myvar"
|
||||
# - error: {lhs: "wibbleMany [x]", rhs: wibbleOne x}
|
||||
|
||||
|
||||
# Turn on hints that are off by default
|
||||
#
|
||||
# Ban "module X(module X) where", to require a real export list
|
||||
# - warn: {name: Use explicit module export list}
|
||||
#
|
||||
# Replace a $ b $ c with a . b $ c
|
||||
# - group: {name: dollar, enabled: true}
|
||||
#
|
||||
# Generalise map to fmap, ++ to <>
|
||||
# - group: {name: generalise, enabled: true}
|
||||
|
||||
|
||||
# Ignore some builtin hints
|
||||
# - ignore: {name: Use let}
|
||||
# - ignore: {name: Use const, within: SpecialModule} # Only within certain modules
|
||||
- ignore: {name: Use camelCase}
|
||||
- ignore: {name: Reduce duplication}
|
||||
|
||||
# Define some custom infix operators
|
||||
# - fixity: infixr 3 ~^#^~
|
||||
|
||||
|
||||
# To generate a suitable file for HLint do:
|
||||
# $ hlint --default > .hlint.yaml
|
34
HLint.hs
34
HLint.hs
@ -1,34 +0,0 @@
|
||||
{-# LANGUAGE TemplateHaskell #-}
|
||||
-- --------------------------------------------------------------- [ 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 ]
|
Loading…
Reference in New Issue
Block a user