git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1 from bytbox/patch-1: use 'setlocal' instead of 'set' in idris.vim
57a4d6aJack Henahan
contribs/tool-support/vim/ftplugin/idris.vim+3−3
compare with master
unifiedsplit
@@ -1,3 +1,3 @@
1−set shiftwidth=2
1+setlocal shiftwidth=2
2−set tabstop=2
2+setlocal tabstop=2
3−set expandtab
3+setlocal expandtab
contribs/tool-support/vim/syntax/idris.vim+1−1
@@ -15,7 +15,7 @@ syn match idrisAnnotation "\<\(total\|partial\|auto\|impossible\|static\|implici
15syn match idrisStatement "\<\(do\|case\|of\|rewrite\|let\|in\|with\)\>"
15syn match idrisStatement "\<\(do\|case\|of\|rewrite\|let\|in\|with\)\>"
16syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
16syn match idrisSyntax "\(pattern \+\|term \+\)\?syntax"
17syn match idrisConditional "\<\(if\|then\|else\)\>"
17syn match idrisConditional "\<\(if\|then\|else\)\>"
18−syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\|reflect\|fill\|applyTactic\)\>"
18+syn match idrisTactic contained "\<\(intros\?\|rewrite\|exact\|refine\|trivial\|let\|focus\|try\|compute\|solve\|attack\|reflect\)\>"
19syn match idrisNumber "\<[0-9]\+\>\|\<0[xX][0-9a-fA-F]\+\>\|\<0[oO][0-7]\+\>"
19syn match idrisNumber "\<[0-9]\+\>\|\<0[xX][0-9a-fA-F]\+\>\|\<0[oO][0-7]\+\>"
20syn match idrisFloat "\<[0-9]\+\.[0-9]\+\([eE][-+]\=[0-9]\+\)\=\>"
20syn match idrisFloat "\<[0-9]\+\.[0-9]\+\([eE][-+]\=[0-9]\+\)\=\>"
21syn match idrisDelimiter "(\|)\|\[\|\]\|,\|;\|_\|{\|}"
21syn match idrisDelimiter "(\|)\|\[\|\]\|,\|;\|_\|{\|}"