2020-02-22 15:32:56 -05:00
|
|
|
" Vim syntax file
|
2020-05-19 11:32:37 -04:00
|
|
|
" Language: Literate Idris 2
|
|
|
|
|
" Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim)
|
|
|
|
|
" Last Change: 2020 May 19
|
2020-02-22 15:32:56 -05:00
|
|
|
" Version: 0.1
|
|
|
|
|
"
|
|
|
|
|
" This is just a minimal adaption of the Literate Haskell syntax file.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
" Read Idris highlighting.
|
|
|
|
|
if version < 600
|
2020-05-19 11:32:37 -04:00
|
|
|
syntax include @idrisTop <sfile>:p:h/idris2.vim
|
2020-02-22 15:32:56 -05:00
|
|
|
else
|
2020-05-19 11:32:37 -04:00
|
|
|
syntax include @idrisTop syntax/idris2.vim
|
2020-02-22 15:32:56 -05:00
|
|
|
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
|
|
|
|
|
|
2020-05-19 11:32:37 -04:00
|
|
|
let b:current_syntax = "lidris2"
|
