summaryrefslogtreecommitdiff
path: root/ale_linters/idris
diff options
context:
space:
mode:
Diffstat (limited to 'ale_linters/idris')
-rw-r--r--ale_linters/idris/idris.vim4
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',
\})