IntenseFinance/neovim
3
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2025-02-25 18:55:25 -06:00
Code Issues Packages Projects Releases Wiki Activity

vim-patch:9.1.0187: filetype: no support for Dafny files (#27918)

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: vim/vim#14226

4e334d0443

Co-authored-by: zeertzjq <zeertzjq@outlook.com>
This commit is contained in:
Christian Clason 2024-03-18 22:47:51 +01:00 committed by GitHub
parent 920ef1fd71
commit 5c9033024f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
runtime/lua/vim/filetype.lua
View File

@ -335,6 +335,7 @@ local extension = {
si = 'cuplsim', si = 'cuplsim',
cyn = 'cynpp', cyn = 'cynpp',
cypher = 'cypher', cypher = 'cypher',
dfy = 'dafny',
dart = 'dart', dart = 'dart',
drt = 'dart', drt = 'dart',
ds = 'datascript', ds = 'datascript',

1
test/old/testdir/test_filetype.vim
View File

@ -179,6 +179,7 @@ func s:GetFilenameChecks() abort
\ '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'],