diff options
| author | w0rp <devw0rp@gmail.com> | 2019-02-22 18:05:04 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-02-22 18:05:04 +0000 |
| commit | 883978ece93bd19250d6d7e8b9659b48f23522e2 (patch) | |
| tree | 8ac9417b7c980906295745cc5ea709b91a789390 /ale_linters/idris | |
| parent | f53b25d2567a2f7495dab444680596f48de427d1 (diff) | |
| download | ale-883978ece93bd19250d6d7e8b9659b48f23522e2.zip | |
#2132 - Replace all uses of foo_callback with foo
Diffstat (limited to 'ale_linters/idris')
| -rw-r--r-- | ale_linters/idris/idris.vim | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ale_linters/idris/idris.vim b/ale_linters/idris/idris.vim index 42b88158..879e92f2 100644 --- a/ale_linters/idris/idris.vim +++ b/ale_linters/idris/idris.vim @@ -75,7 +75,7 @@ endfunction call ale#linter#Define('idris', { \ 'name': 'idris', -\ 'executable_callback': ale#VarFunc('idris_idris_executable'), -\ 'command_callback': 'ale_linters#idris#idris#GetCommand', +\ 'executable': {b -> ale#Var(b, 'idris_idris_executable')}, +\ 'command': function('ale_linters#idris#idris#GetCommand'), \ 'callback': 'ale_linters#idris#idris#Handle', \}) |