diff options
author | Yaroslav <contact@yaroslavps.com> | 2020-08-10 19:46:27 +0300 |
---|---|---|
committer | Yaroslav <contact@yaroslavps.com> | 2020-08-10 19:46:27 +0300 |
commit | f030afd547a56ce3d6156a0a92dddaae275ee1d4 (patch) | |
tree | 023a5751169cc6ffdec1af998d703b5b8bcdae9f /dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim | |
parent | 812bcaaf2622dc27310e8579c181394cbc68f7a2 (diff) | |
download | vimrice-f030afd547a56ce3d6156a0a92dddaae275ee1d4.tar.gz vimrice-f030afd547a56ce3d6156a0a92dddaae275ee1d4.zip |
simplify vim rice: use vimplug for managing plugins
Diffstat (limited to 'dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim')
-rw-r--r-- | dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim b/dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim deleted file mode 100644 index 5d95edb..0000000 --- a/dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim +++ /dev/null @@ -1,25 +0,0 @@ -function! neomake#makers#ft#idris#EnabledMakers() abort - return ['idris'] -endfunction - -function! neomake#makers#ft#idris#Postprocess(entry) abort - call neomake#postprocess#compress_whitespace(a:entry) - " Extract length from the beginning of the entry ('-4:When checking left hand side of xor:'). - if a:entry.text =~# '\v^\d+:' - let end = 0 + a:entry.text " cast to int - let a:entry.length = end - a:entry.col - let a:entry.text = substitute(a:entry.text, '\v^([^:]+:){2} ', '', '') - endif -endfunction - -function! neomake#makers#ft#idris#idris() abort - return { - \ 'exe': 'idris', - \ 'args': ['--check', '--warn', '--total', '--warnpartial', '--warnreach'], - \ 'errorformat': - \ '%E%f:%l:%c:%.%#,%-C %#%m,%-C%.%#,'. - \ '%E%f:%l:%c-%m,%-C %#%m,%-C%.%#', - \ 'postprocess': function('neomake#makers#ft#idris#Postprocess'), - \ } -endfunction -" vim: ts=4 sw=4 et |