From 65b9499e4a761e4e76e0e1e60cb507c4d6232bd9 Mon Sep 17 00:00:00 2001
From: Christian Clason <c.clason@uni-graz.at>
Date: Mon, 4 Nov 2024 21:52:04 +0100
Subject: vim-patch:9.1.0840: filetype: idris2 files are not recognized

Problem:  filetype: idris2 files are not recognized
Solution: detect '*.idr' files as idris2, '*.lidr' files as lidris2
          and '*.ipkg' files as ipkg filetype (Serhii Khoma)

closes: vim/vim#15987

https://github.com/vim/vim/commit/c04bc64ba61f2386fafb086b47f16f122a0c779a

Co-authored-by: Serhii Khoma <srghma@gmail.com>
---
 test/old/testdir/test_filetype.vim | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'test')

diff --git a/test/old/testdir/test_filetype.vim b/test/old/testdir/test_filetype.vim
index a1e0b4043f..d69dd28314 100644
--- a/test/old/testdir/test_filetype.vim
+++ b/test/old/testdir/test_filetype.vim
@@ -358,12 +358,14 @@ func s:GetFilenameChecks() abort
     \ 'ibasic': ['file.iba', 'file.ibi'],
     \ 'icemenu': ['/.icewm/menu', 'any/.icewm/menu'],
     \ 'icon': ['file.icn'],
+    \ 'idris2': ['file.idr'],
     \ 'indent': ['.indent.pro', 'indentrc'],
     \ 'inform': ['file.inf', 'file.INF'],
     \ 'initng': ['/etc/initng/any/file.i', 'file.ii', 'any/etc/initng/any/file.i'],
     \ 'inittab': ['inittab'],
     \ 'inko': ['file.inko'],
     \ 'ipfilter': ['ipf.conf', 'ipf6.conf', 'ipf.rules'],
+    \ 'ipkg': ['file.ipkg'],
     \ 'iss': ['file.iss'],
     \ 'ist': ['file.ist', 'file.mst'],
     \ 'j': ['file.ijs'],
@@ -411,6 +413,7 @@ func s:GetFilenameChecks() abort
     \ 'lftp': ['lftp.conf', '.lftprc', 'anylftp/rc', 'lftp/rc', 'some-lftp/rc'],
     \ 'lhaskell': ['file.lhs'],
     \ 'libao': ['/etc/libao.conf', '/.libao', 'any/.libao', 'any/etc/libao.conf'],
+    \ 'lidris2': ['file.lidr'],
     \ 'lifelines': ['file.ll'],
     \ 'lilo': ['lilo.conf', 'lilo.conf-file'],
     \ 'lilypond': ['file.ly', 'file.ily'],
-- 
cgit