patch 9.0.1419: Lean files are not recognized

Problem:    Lean files are not recognized.
Solution:   Add a pattern for Lean files. (Amaan Qureshi, closes #12177)

diff --git a/runtime/filetype.vim b/runtime/filetype.vim
index d68c273bc79707d4b31ff4e259d3498cf0c07cd1..0fe303c1188d9d79633b9cfe837d278f3b1c5b6c 100644 (file)
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -1112,6 +1112,9 @@ au BufNewFile,BufRead *.ldif                      setf ldif
 " Ld loader
 au BufNewFile,BufRead *.ld                     setf ld
 
+" Lean
+au BufNewFile,BufRead *.lean                   setf lean
+
 " Ledger
 au BufRead,BufNewFile *.ldg,*.ledger,*.journal                 setf ledger
 

diff --git a/src/testdir/test_filetype.vim b/src/testdir/test_filetype.vim
index 41cac26b3c5a83e8d5e4b8ba7f20eb4645eceffb..6b1b47bab206c9e4d0612cd94d34595a39155056 100644 (file)
--- a/src/testdir/test_filetype.vim
+++ b/src/testdir/test_filetype.vim
@@ -320,6 +320,7 @@ let s:filename_checks = {
     \ 'latte': ['file.latte', 'file.lte'],
     \ 'ld': ['file.ld'],
     \ 'ldif': ['file.ldif'],
+    \ 'lean': ['file.lean'],
     \ 'ledger': ['file.ldg', 'file.ledger', 'file.journal'],
     \ 'less': ['file.less'],
     \ 'lex': ['file.lex', 'file.l', 'file.lxx', 'file.l++'],

diff --git a/src/version.c b/src/version.c
index 45be73e13d2172454ec54914e80ec7623fec005e..379980a4f8208dc6f804abd2b4a30f809e7a8c33 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1419,
 /**/
     1418,
 /**/