From 63922a1d1ea22c58be758d188068f33491411c0c Mon Sep 17 00:00:00 2001
From: Adam Stankiewicz <sheerun@sher.pl>
Date: Mon, 4 Mar 2019 10:14:37 +0100
Subject: Add idris support, closes #265

---
 syntax/lidris.vim | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 syntax/lidris.vim

(limited to 'syntax/lidris.vim')

diff --git a/syntax/lidris.vim b/syntax/lidris.vim
new file mode 100644
index 00000000..d4e55efb
--- /dev/null
+++ b/syntax/lidris.vim
@@ -0,0 +1,26 @@
+if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'idris') != -1
+  finish
+endif
+
+" Vim syntax file
+" Language:    Literate Idris
+" Maintainer:  Idris Hackers (https://github.com/idris-hackers/idris-vim)
+" Last Change: 2014 Mar 4
+" 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/idris.vim
+else
+    syntax include @idrisTop syntax/idris.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 = "lidris"
-- 
cgit v1.2.3