Commit: patch 9.1.0840: filetype: idris2 files are not recognized

[Christian Brabandt]

patch 9.1.0840: filetype: idris2 files are not recognized

Commit: https://github.com/vim/vim/commit/c04bc64ba61f2386fafb086b47f16f122a0c779a
Author: Serhii Khoma <srg...@gmail.com>
Date: Mon Nov 4 20:14:43 2024 +0100

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: #15987

Signed-off-by: Serhii Khoma <srg...@gmail.com>
Signed-off-by: Christian Brabandt <c...@256bit.org>

diff --git a/runtime/filetype.vim b/runtime/filetype.vim
index b3cec8721..6e9f0b222 100644
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -1133,6 +1133,10 @@ au BufNewFile,BufRead indent.pro call dist#ft#ProtoCheck('indent')
" IDL (Interactive Data Language), Prolog, Cproto or zsh module C
au BufNewFile,BufRead *.pro call dist#ft#ProtoCheck('idlang')

+" Idris2
+au BufNewFile,BufRead *.idr setf idris2
+au BufNewFile,BufRead *.lidr setf lidris2
+
" Indent RC
au BufNewFile,BufRead indentrc setf indent

@@ -1152,6 +1156,9 @@ au BufRead,BufNewFile usw2kagt.log