diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2024-03-18 22:47:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-18 22:47:51 +0100 |
| commit | 5c9033024f067a283a9030eab204f8ca6d685101 (patch) | |
| tree | 9603f61d285d8917b0e85c14ccf44403406433de | |
| parent | 920ef1fd71482d078cd095f68fd5f58cb22b0f33 (diff) | |
| download | rneovim-5c9033024f067a283a9030eab204f8ca6d685101.tar.gz rneovim-5c9033024f067a283a9030eab204f8ca6d685101.tar.bz2 rneovim-5c9033024f067a283a9030eab204f8ca6d685101.zip | |
vim-patch:9.1.0187: filetype: no support for Dafny files (#27918)
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
https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de
Co-authored-by: zeertzjq <zeertzjq@outlook.com>
| -rw-r--r-- | runtime/lua/vim/filetype.lua | 1 | ||||
| -rw-r--r-- | test/old/testdir/test_filetype.vim | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/runtime/lua/vim/filetype.lua b/runtime/lua/vim/filetype.lua index fba76f93b2..614aa428e1 100644 --- a/runtime/lua/vim/filetype.lua +++ b/runtime/lua/vim/filetype.lua @@ -335,6 +335,7 @@ local extension = { si = 'cuplsim', cyn = 'cynpp', cypher = 'cypher', + dfy = 'dafny', dart = 'dart', drt = 'dart', ds = 'datascript', diff --git a/test/old/testdir/test_filetype.vim b/test/old/testdir/test_filetype.vim index 303b1585e2..f982ec2a4e 100644 --- a/test/old/testdir/test_filetype.vim +++ b/test/old/testdir/test_filetype.vim @@ -179,6 +179,7 @@ func s:GetFilenameChecks() abort \ 'cynpp': ['file.cyn'], \ 'cypher': ['file.cypher'], \ 'd': ['file.d'], + \ 'dafny': ['file.dfy'], \ 'dart': ['file.dart', 'file.drt'], \ 'datascript': ['file.ds'], \ 'dcd': ['file.dcd'], |