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 /syntax/lidris2.vim | |
| parent | b0124dc88082f5ed8c96faa16d3b334d38f5949f (diff) | |
| download | vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.tar.gz vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.zip | |
Add support for Idris2, closes #534 (#535)
Diffstat (limited to 'syntax/lidris2.vim')
| -rw-r--r-- | syntax/lidris2.vim | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/syntax/lidris2.vim b/syntax/lidris2.vim new file mode 100644 index 00000000..a4757205 --- /dev/null +++ b/syntax/lidris2.vim @@ -0,0 +1,26 @@ +if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'idris2') == -1 + +" Vim syntax file +" Language: Literate Idris 2 +" Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim) +" Last Change: 2020 May 19 +" Version: 0.1 +" +" This is just a minimal adaption of the Literate Haskell syntax file. + + +" Read Idris highlighting. +if version < 600 + syntax include @idrisTop <sfile>:p:h/idris2.vim +else + syntax include @idrisTop syntax/idris2.vim +endif + +" Recognize blocks of Bird tracks, highlight as Idris. +syntax region lidrisBirdTrackBlock start="^>" end="\%(^[^>]\)\@=" contains=@idrisTop,lidrisBirdTrack +syntax match lidrisBirdTrack "^>" contained +hi def link lidrisBirdTrack Comment + +let b:current_syntax = "lidris2" + +endif |