diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2019-03-04 10:14:37 +0100 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2019-03-04 10:14:37 +0100 |
| commit | 63922a1d1ea22c58be758d188068f33491411c0c (patch) | |
| tree | 41c1f4b4ee2c35e0d78c59a616cf7423a5a14637 /ftdetect | |
| parent | 0cd0b7f8942a42bf8cb24affb18ac5bedae5aa48 (diff) | |
| download | vim-polyglot-63922a1d1ea22c58be758d188068f33491411c0c.tar.gz vim-polyglot-63922a1d1ea22c58be758d188068f33491411c0c.zip | |
Add idris support, closes #265
Diffstat (limited to 'ftdetect')
| -rw-r--r-- | ftdetect/polyglot.vim | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ftdetect/polyglot.vim b/ftdetect/polyglot.vim index b91c235f..3e6aa32a 100644 --- a/ftdetect/polyglot.vim +++ b/ftdetect/polyglot.vim @@ -479,6 +479,21 @@ aug end augroup end endif +if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 + augroup filetypedetect + " idris, from idris.vim in idris-hackers/idris-vim +au BufNewFile,BufRead *.idr setf idris +au BufNewFile,BufRead idris-response setf idris + augroup end +endif + +if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris') == -1 + augroup filetypedetect + " idris, from lidris.vim in idris-hackers/idris-vim +au BufNewFile,BufRead *.lidr setf lidris + augroup end +endif + if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'jasmine') == -1 augroup filetypedetect " jasmine, from jasmine.vim in glanotte/vim-jasmine |