diff options
| author | 0scar <qgt268@alumni.ku.dk> | 2022-03-22 15:32:26 +0000 |
|---|---|---|
| committer | 0scar <qgt268@alumni.ku.dk> | 2022-03-22 15:32:26 +0000 |
| commit | cbed1b6198ec370e6c8cd52ae4ff7d5c1326b44c (patch) | |
| tree | 185d13ee9cbdb0854972c826cd3116bc32ad76cf /.config/vim | |
| parent | 8e8370e3866594c96982262f477db80ae7733012 (diff) | |
Update futhark ftplugin for vim
Diffstat (limited to '.config/vim')
| -rw-r--r-- | .config/vim/ftplugin/fut.vim | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.config/vim/ftplugin/fut.vim b/.config/vim/ftplugin/fut.vim index 29410d5..b41eb21 100644 --- a/.config/vim/ftplugin/fut.vim +++ b/.config/vim/ftplugin/fut.vim @@ -6,3 +6,18 @@ setlocal tabstop=2 setlocal softtabstop=2 setlocal shiftwidth=2 setlocal expandtab + +setlocal makeprg=futhark\ check\ % + +setlocal errorformat=%E[91mError\ at\ %f:%l:%c-%k:[0m +"setlocal errorformat+=%W[91mWarning\ at\ %f:%l:%c-%k:[0m%m +setlocal errorformat+=%-CExpected%.%# +setlocal errorformat+=%-CActual%.%# +setlocal errorformat+=%-C\ %.%# +setlocal errorformat+=%C%m%.%# +setlocal errorformat+=%-G\ %#https://github.com/diku-dk/futhark/issues +setlocal errorformat+=%-GIf\ you%.%# +setlocal errorformat+=%-G%.%# + +autocmd QuickFixCmdPost [^l]* nested cwindow +autocmd QuickFixCmdPost l* nested lwindow |
