# HG changeset patch
# User Christian Brabandt <cb@256bit.org>
# Date 1710786608 -3600
# Node ID c8fbf6dd031bb5d9054b80a273837e93927830fd
# Parent  69ab5ebb3d3f9df03fd912e085a90b9ecc65984a
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>

diff --git a/runtime/filetype.vim b/runtime/filetype.vim
--- 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
 
diff --git a/src/testdir/test_filetype.vim b/src/testdir/test_filetype.vim
--- 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'],
diff --git a/src/version.c b/src/version.c
--- 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,