Commit: patch 9.1.0187: filetype: no support for Dafny files

[Christian Brabandt]

patch 9.1.0187: filetype: no support for Dafny files

Commit: https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de
Author: zeertzjq <zeer...@outlook.com>
Date: Mon Mar 18 19:21:48 2024 +0100

patch 9.1.0187: filetype: no support for Dafny files

Problem: Dafny files are not recognized.
Solution: Recognize *.dfy files as filetype "dafny" (zeertzjq).

Ref: https://dafny.org/
Ref: https://github.com/mlr-msft/vim-loves-dafny

closes: #14226

Signed-off-by: zeertzjq <zeer...@outlook.com>
Signed-off-by: Christian Brabandt <c...@256bit.org>

diff --git a/runtime/filetype.vim b/runtime/filetype.vim
index aa8f4da77..fd9ba2c69 100644
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -534,6 +534,9 @@ au BufNewFile,BufRead *.csp,*.fdr setf csp
au BufNewFile,BufRead *.pld setf cupl
au BufNewFile,BufRead *.si setf cuplsim

+" Dafny
+au BufNewFile,BufRead *.dfy setf dafny
+
" Dart
au BufRead,BufNewfile *.dart,*.drt setf dart

diff --git a/src/testdir/test_filetype.vim b/src/testdir/test_filetype.vim
index 1557b5645..ed7e6b953 100644
--- a/src/testdir/test_filetype.vim
+++ b/src/testdir/test_filetype.vim
@@ -189,6 +189,7 @@ def s:GetFilenameChecks(): dict<list<string>>
cynpp: ['file.cyn'],
cypher: ['file.cypher'],
d: ['file.d'],
+ dafny: ['file.dfy'],
dart: ['file.dart', 'file.drt'],
datascript: ['file.ds'],
dcd: ['file.dcd'],
diff --git a/src/version.c b/src/version.c
index d09022807..ca4ca563e 100644
--- a/src/version.c
+++ b/src/version.c
@@ -704,6 +704,8 @@ static char *(features[]) =

static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 187,
/**/
186,
/**/