From 7217c7749e5403c9c7856c1d12c7986eb9c3b460 Mon Sep 17 00:00:00 2001
From: Yaroslav <contact@yaroslavps.com>
Date: Tue, 31 Mar 2020 17:52:49 +0300
Subject: Goodbye vim, been using neovim for ages now; home directory cleanup

---
 .../nvim/site/autoload/neomake/makers/ft/idris.vim | 25 ++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim

(limited to 'dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim')

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
new file mode 100644
index 0000000..5d95edb
--- /dev/null
+++ b/dotfiles/.local/share/nvim/site/autoload/neomake/makers/ft/idris.vim
@@ -0,0 +1,25 @@
+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
-- 
cgit v1.2.3