Mercurial > vim

changeset 34581:c8fbf6dd031b v9.1.0187

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
patch 9.1.0187: filetype: no support for Dafny files Commit: https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de Author: zeertzjq <zeertzjq@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 <zeertzjq@outlook.com> Signed-off-by: Christian Brabandt <cb@256bit.org>
author Christian Brabandt <cb@256bit.org>
date Mon, 18 Mar 2024 19:30:08 +0100
parents 69ab5ebb3d3f
children 115249818efc
files runtime/filetype.vim src/testdir/test_filetype.vim src/version.c
diffstat 3 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -534,6 +534,9 @@ au BufNewFile,BufRead *.csp,*.fdr		setf 
 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
 
--- a/src/testdir/test_filetype.vim
+++ b/src/testdir/test_filetype.vim
@@ -189,6 +189,7 @@ def s:GetFilenameChecks(): dict<list<str
     cynpp: ['file.cyn'],
     cypher: ['file.cypher'],
     d: ['file.d'],
+    dafny: ['file.dfy'],
     dart: ['file.dart', 'file.drt'],
     datascript: ['file.ds'],
     dcd: ['file.dcd'],
--- a/src/version.c
+++ b/src/version.c
@@ -705,6 +705,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    187,
+/**/
     186,
 /**/
     185,