Configure argon

This commit is contained in:
Julian Ospald 2018-06-18 12:00:33 +02:00
parent 901d336d82
commit 23e2f09a8b
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28

View File

@ -85,10 +85,14 @@ let g:ghcmod_hlint_options = ['--ignore=Eta reduce $']
" ALE " ALE
let g:ale_enabled = 1 let g:ale_enabled = 1
let g:ale_linters = {'haskell':['ghc-mod', 'hdevtools'], 'c':['clang']} let g:ale_linters = {'haskell':['ghc-mod', 'hdevtools'], 'c':['clang']}
" let g:ale_linters = {'haskell':['ghc-mod', 'hdevtools', 'argon'], 'c':['clang']}
" let g:ale_fixers = { " let g:ale_fixers = {
" \ 'go': ['gofmt', 'goimports'], " \ 'go': ['gofmt', 'goimports'],
" \} " \}
let g:ale_haskell_hdevtools_options = "-g '-Wall' -g '-Wno-orphans'" let g:ale_haskell_hdevtools_options = "-g '-Wall' -g '-Wno-orphans'"
let g:ale_haskell_argon_error_level = 14
let g:ale_haskell_argon_warn_level = 10
let g:ale_haskell_argon_info_level = 6
" completion " completion
" "