From 3baafd5c336d18d87898ae87f16df7cd76bc8d65 Mon Sep 17 00:00:00 2001
From: CodingCellist <teh6@st-andrews.ac.uk>
Date: Sat, 5 Sep 2020 21:37:11 +0200
Subject: Add support for Idris2, closes #534 (#535)

---
 autoload/sleuth.vim | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'autoload/sleuth.vim')

diff --git a/autoload/sleuth.vim b/autoload/sleuth.vim
index a912cda4..e70169cb 100644
--- a/autoload/sleuth.vim
+++ b/autoload/sleuth.vim
@@ -103,6 +103,7 @@ let s:globs = {
   \ 'i3config': '*.i3.config,*.i3config,i3.config,i3config',
   \ 'icalendar': '*.ics',
   \ 'idris': '*.idr,*.lidr,idris-response',
+  \ 'idris2': '*.idr,*.ipkg,idris-response',
   \ 'ion': '*.ion',
   \ 'javascript': '*.js,*._js,*.bones,*.cjs,*.es,*.es6,*.frag,*.gs,*.jake,*.jsb,*.jscad,*.jsfl,*.jsm,*.jss,*.mjs,*.njs,*.pac,*.sjs,*.ssjs,*.xsjs,*.xsjslib,Jakefile',
   \ 'javascriptreact': '*.jsx',
@@ -116,6 +117,7 @@ let s:globs = {
   \ 'kotlin': '*.kt,*.ktm,*.kts',
   \ 'ledger': '*.ldg,*.ledger,*.journal',
   \ 'less': '*.less',
+  \ 'lidris2': '*.lidr',
   \ 'lilypond': '*.ly,*.ily',
   \ 'litcoffee': '*.litcoffee,*.coffee.md',
   \ 'livescript': '*.ls,*._ls,Slakefile',
-- 
cgit v1.2.3