| Serhii Khoma | 5ca8f22 | 2024-11-12 21:49:42 +0100 | [diff] [blame] | 1 | " Vim syntax file |
| 2 | " Language: Literate Idris 2 |
| 3 | " Maintainer: Idris Hackers (https://github.com/edwinb/idris2-vim), Serhii Khoma <srghma@gmail.com> |
| 4 | " Last Change: 2020 May 19 |
| 5 | " Version: 0.1 |
| 6 | " License: Vim (see :h license) |
| 7 | " Repository: https://github.com/ShinKage/idris2-nvim |
| 8 | " |
| 9 | " This is just a minimal adaption of the Literate Haskell syntax file. |
| 10 | |
| 11 | " quit when a syntax file was already loaded |
| 12 | if exists("b:current_syntax") |
| 13 | finish |
| 14 | endif |
| 15 | |
| 16 | " Read Idris highlighting. |
| 17 | syntax include @idris2Top syntax/idris2.vim |
| 18 | |
| 19 | " Recognize blocks of Bird tracks, highlight as Idris. |
| 20 | syntax region lidris2BirdTrackBlock start="^>" end="\%(^[^>]\)\@=" contains=@idris2Top,lidris2BirdTrack |
| 21 | syntax match lidris2BirdTrack "^>" contained |
| 22 | |
| 23 | hi def link lidris2BirdTrack Comment |
| 24 | |
| 25 | let b:current_syntax = "lidris2" |