aniani/vim
0
0
Fork 1
mirror of https://github.com/vim/vim.git synced 2025-07-26 11:04:33 -04:00
Code

patch 9.1.0187: filetype: no support for Dafny files

Browse Source 
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>
This commit is contained in:
zeertzjq 2024-03-18 19:21:48 +01:00 committed by Christian Brabandt
parent 9530fe4f3a
commit 4e334d0443
No known key found for this signature in database
GPG Key ID: F3F92DA383FDDE09
3 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
runtime/filetype.vim
View File

@ -534,6 +534,9 @@ au BufNewFile,BufRead *.csp,*.fdr setf csp
au BufNewFile,BufRead *.pld setf cupl au BufNewFile,BufRead *.pld setf cupl
au BufNewFile,BufRead *.si setf cuplsim au BufNewFile,BufRead *.si setf cuplsim
" Dafny
au BufNewFile,BufRead *.dfy setf dafny
" Dart " Dart
au BufRead,BufNewfile *.dart,*.drt setf dart au BufRead,BufNewfile *.dart,*.drt setf dart

1
src/testdir/test_filetype.vim
View File

@ -189,6 +189,7 @@ def s:GetFilenameChecks(): dict<list<string>>
cynpp: ['file.cyn'], cynpp: ['file.cyn'],
cypher: ['file.cypher'], cypher: ['file.cypher'],
d: ['file.d'], d: ['file.d'],
dafny: ['file.dfy'],
dart: ['file.dart', 'file.drt'], dart: ['file.dart', 'file.drt'],
datascript: ['file.ds'], datascript: ['file.ds'],
dcd: ['file.dcd'], dcd: ['file.dcd'],

2
src/version.c
View File

@ -704,6 +704,8 @@ static char *(features[]) =
static int included_patches[] = static int included_patches[] =
{ /* Add new patch number below this line */ { /* Add new patch number below this line */
/**/
187,
/**/ /**/
186, 186,
/**/ /**/