annotate runtime/ftplugin/occam.vim @ 30888:54ba95d2d2eb v9.0.0778

patch 9.0.0778: indexing of unknown const type fails during compilation Commit: https://github.com/vim/vim/commit/4913d420e8e8619cff837372bce87683d6fcaa03 Author: Bram Moolenaar <Bram@vim.org> Date: Mon Oct 17 13:13:32 2022 +0100 patch 9.0.0778: indexing of unknown const type fails during compilation Problem: Indexing of unknown const type fails during compilation. Solution: Check for "any" properly. (closes https://github.com/vim/vim/issues/11389)
author Bram Moolenaar <Bram@vim.org>
date Mon, 17 Oct 2022 14:15:09 +0200
parents dd6c2497c997
children 8ae680be2a51
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 " Vim filetype plugin file
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 " Language: occam
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 " Copyright: Christian Jacobsen <clj3@kent.ac.uk>, Mario Schweigler <ms44@kent.ac.uk>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 " Maintainer: Mario Schweigler <ms44@kent.ac.uk>
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5 " Last Change: 23 April 2003
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 " Only do this when not done yet for this buffer
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 if exists("b:did_ftplugin")
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 finish
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 endif
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 let b:did_ftplugin = 1
3526
dd6c2497c997 Fix more 'cpo' issues in runtime files.
Bram Moolenaar <bram@vim.org>
parents: 3410
diff changeset
12 let s:keepcpo= &cpo
dd6c2497c997 Fix more 'cpo' issues in runtime files.
Bram Moolenaar <bram@vim.org>
parents: 3410
diff changeset
13 set cpo&vim
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
14
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
15 "{{{ Indent settings
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
16 " Set shift width for indent
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
17 setlocal shiftwidth=2
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
18 " Set the tab key size to two spaces
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
19 setlocal softtabstop=2
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
20 " Let tab keys always be expanded to spaces
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
21 setlocal expandtab
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
22 "}}}
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
23
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
24 "{{{ Formatting
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
25 " Break comment lines and insert comment leader in this case
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
26 setlocal formatoptions-=t formatoptions+=cql
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
27 setlocal comments+=:--
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
28 " Maximum length of comments is 78
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
29 setlocal textwidth=78
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
30 "}}}
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
31
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
32 "{{{ File browsing filters
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
33 " Win32 can filter files in the browse dialog
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
34 if has("gui_win32") && !exists("b:browsefilter")
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
35 let b:browsefilter = "All Occam Files (*.occ *.inc)\t*.occ;*.inc\n" .
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
36 \ "Occam Include Files (*.inc)\t*.inc\n" .
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
37 \ "Occam Source Files (*.occ)\t*.occ\n" .
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
38 \ "All Files (*.*)\t*.*\n"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
39 endif
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
40 "}}}
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
41
3410
94601b379f38 Updated runtime files. Add Dutch translations.
Bram Moolenaar <bram@vim.org>
parents: 7
diff changeset
42 "{{{ Undo settings
94601b379f38 Updated runtime files. Add Dutch translations.
Bram Moolenaar <bram@vim.org>
parents: 7
diff changeset
43 let b:undo_ftplugin = "setlocal shiftwidth< softtabstop< expandtab<"
94601b379f38 Updated runtime files. Add Dutch translations.
Bram Moolenaar <bram@vim.org>
parents: 7
diff changeset
44 \ . " formatoptions< comments< textwidth<"
94601b379f38 Updated runtime files. Add Dutch translations.
Bram Moolenaar <bram@vim.org>
parents: 7
diff changeset
45 \ . "| unlet! b:browsefiler"
94601b379f38 Updated runtime files. Add Dutch translations.
Bram Moolenaar <bram@vim.org>
parents: 7
diff changeset
46 "}}}
3526
dd6c2497c997 Fix more 'cpo' issues in runtime files.
Bram Moolenaar <bram@vim.org>
parents: 3410
diff changeset
47
dd6c2497c997 Fix more 'cpo' issues in runtime files.
Bram Moolenaar <bram@vim.org>
parents: 3410
diff changeset
48 let &cpo = s:keepcpo
dd6c2497c997 Fix more 'cpo' issues in runtime files.
Bram Moolenaar <bram@vim.org>
parents: 3410
diff changeset
49 unlet s:keepcpo