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 <zeertzjq@outlook.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>

diff --git a/runtime/filetype.vim b/runtime/filetype.vim
index aa8f4da772e0109b60dc6041dc4abd807b9894f4..fd9ba2c696d2e14ac5357fcc29347c7893e592eb 100644 (file)
--- 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 1557b5645cb0219dc949bdbaf37fa2a3540ed11f..ed7e6b9530ca693dd5e7282ec9ea66e924da2914 100644 (file)
--- 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 d0902280757eb494257e6883add849b30485b805..ca4ca563ee5b4838892de63626636b75fad5bb76 100644 (file)
--- 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,
 /**/