idris2.vim (995B)
1 " Vim ftplugin file 2 " Language: Idris 2 3 " Last Change: 2024 Nov 05 4 " Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com> 5 " License: Vim (see :h license) 6 " Repository: https://github.com/ShinKage/idris2-nvim 7 " 8 " Based on ftplugin/idris2.vim from https://github.com/edwinb/idris2-vim 9 10 if exists("b:did_ftplugin") 11 finish 12 endif 13 14 setlocal shiftwidth=2 15 setlocal tabstop=2 16 17 " Set g:idris2#allow_tabchar = 1 to use tabs instead of spaces 18 if exists('g:idris2#allow_tabchar') && g:idris2#allow_tabchar != 0 19 setlocal noexpandtab 20 else 21 setlocal expandtab 22 endif 23 24 setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:-- 25 setlocal commentstring=--\ %s 26 27 " makes ? a part of a word, e.g. for named holes `vzipWith f [] [] = ?vzipWith_rhs_3`, uncomment if want to reenable 28 " setlocal iskeyword+=? 29 30 setlocal wildignore+=*.ibc 31 32 let b:undo_ftplugin = "setlocal shiftwidth< tabstop< expandtab< comments< commentstring< iskeyword< wildignore<" 33 34 let b:did_ftplugin = 1