diff options
| author | CodingCellist <teh6@st-andrews.ac.uk> | 2020-09-05 21:37:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-05 21:37:11 +0200 |
| commit | 3baafd5c336d18d87898ae87f16df7cd76bc8d65 (patch) | |
| tree | 3bd6787bde3c5713fd5cfc7c962d60ac4b3dac50 /ftdetect/polyglot.vim | |
| parent | b0124dc88082f5ed8c96faa16d3b334d38f5949f (diff) | |
| download | vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.tar.gz vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.zip | |
Add support for Idris2, closes #534 (#535)
Diffstat (limited to 'ftdetect/polyglot.vim')
| -rw-r--r-- | ftdetect/polyglot.vim | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/ftdetect/polyglot.vim b/ftdetect/polyglot.vim index de4665b2..186ba9da 100644 --- a/ftdetect/polyglot.vim +++ b/ftdetect/polyglot.vim @@ -795,9 +795,16 @@ if !has_key(s:disabled_packages, 'icalendar') endif if !has_key(s:disabled_packages, 'idris') - au BufNewFile,BufRead *.idr setf idris - au BufNewFile,BufRead *.lidr setf idris au BufNewFile,BufRead idris-response setf idris + au! BufNewFile,BufRead *.idr call polyglot#DetectIdrFiletype() + au! BufNewFile,BufRead *.lidr call polyglot#DetectLidrFiletype() +endif + +if !has_key(s:disabled_packages, 'idris2') + au BufNewFile,BufRead *.ipkg setf idris2 + au BufNewFile,BufRead idris-response setf idris2 + au! BufNewFile,BufRead *.idr call polyglot#DetectIdrFiletype() + au! BufNewFile,BufRead *.lidr call polyglot#DetectLidrFiletype() endif if !has_key(s:disabled_packages, 'ion') |