From 96b8651863cebbe961d60d6b3bab8685a2ce2a2e Mon Sep 17 00:00:00 2001 From: Moritz Kiefer Date: Thu, 20 Jan 2022 11:23:12 +0100 Subject: [PATCH] Drop orphaned vim syntax files (#12502) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit I didn’t even know alp existed and this is definitely not the right repo for Scala vim syntax defs. I’ve kept the daml def for now at least since it’s at least in the right repo even if unmaintained. Also seems very unfair towards emacs users to only have vim files. changelog_begin changelog_end --- dev-env/dotfiles/vim/syntax/alp.vim | 80 --------- dev-env/dotfiles/vim/syntax/scala.vim | 230 -------------------------- 2 files changed, 310 deletions(-) delete mode 100644 dev-env/dotfiles/vim/syntax/alp.vim delete mode 100644 dev-env/dotfiles/vim/syntax/scala.vim diff --git a/dev-env/dotfiles/vim/syntax/alp.vim b/dev-env/dotfiles/vim/syntax/alp.vim deleted file mode 100644 index 0e68b999bc82..000000000000 --- a/dev-env/dotfiles/vim/syntax/alp.vim +++ /dev/null @@ -1,80 +0,0 @@ -" Vim syntax file -" Language: DA Authorization Logic Program Syntax -" Maintainer: -" Last Change: 2015 10 08 - -" Quit when a syntax file was already loaded -if exists("b:current_syntax") - finish -endif - -syn match alDelimiter "(\|)\|\[\|\]\|,\|;\|_\|{\|}\|\." - -syn region alLiteral start="\"" end="\"" - - -syn keyword alDeclaration query language: sorts: predicates: constructors: definitions: -syn keyword alQuantifier forall exists not -syn keyword alSort time form prin -syn keyword alSays says - -syn match alSortMatch ":\w\+"ms=s+1 -syn match alSortMatch "\w\+ ->"me=e-3 - -syn match alAtom ":=" -syn match alAtom "=" -syn match alAtom "@" -syn match alAtom "<" -syn match alAtom ">" - -syn match alSortConnector "->" -syn match alLogicOp "==>" -syn match alLogicOp "|" -syn match alLogicOp "&" - -syn match alPredicates "[a-z-_]\+/[a-z-_/]*" - -syn match alVariable "\<[A-Z-_][A-Z0-9-_]*\>" -syn match alVariable "\<[A-Z-_][A-Z0-9-_]*\W"me=e-1 -syn match alVariable "'[A-Z-_][A-Z0-9-_]*'" - -syn match alConstant "\" -syn match alConstant "\W-infty\>"ms=s+1 - -syn region alBlock start="\[" end="\]" contains=alVariable, alConstant - -" Comments -syn keyword alTodo contained TODO FIXME XXX -syn keyword alFixMe contained FIXME -syn region alComment start="/\*" end="\*/" contains=alTodo,alFixme -syn match alLineComment "\/\/.*" contains=alTodo,alFixMe - - -hi def link alBlock PreProc - -hi def link alLiteral String -hi def link alDelimiter Delimiter - -hi def link alDeclaration Keyword -hi def link alQuantifier Constant -hi def link alSays Statement -hi def link alSort Constant -hi def link alSortMatch Constant -hi def link alConstant Identifier - -hi def link alAtom Constant -hi def link alLogicOp Constant -hi def link alVariable Identifier - -hi def link alTodo Todo -hi def link alFixMe Error - -hi def link alSortConnector Type -hi def link alPredicates Type -hi def link alComment Comment -hi def link alLineComment Comment - -let b:current_syntax="alp" -let b:spell_options="contained" - -" vim: ts=8 diff --git a/dev-env/dotfiles/vim/syntax/scala.vim b/dev-env/dotfiles/vim/syntax/scala.vim deleted file mode 100644 index 008515b949f1..000000000000 --- a/dev-env/dotfiles/vim/syntax/scala.vim +++ /dev/null @@ -1,230 +0,0 @@ -" Vim syntax file -" Language: Scala -" Maintainer: Derek Wyatt -" URL: https://github.com/derekwyatt/vim-scala -" License: Apache 2 -" ---------------------------------------------------------------------------- - -if !exists('main_syntax') - if version < 600 - syntax clear - elseif exists("b:current_syntax") - finish - endif - let main_syntax = 'scala' -endif - -scriptencoding utf-8 - -let b:current_syntax = "scala" - -" Allows for embedding, see #59; main_syntax convention instead? Refactor TOP -" -" The @Spell here is a weird hack, it means *exclude* if the first group is -" TOP. Otherwise we get spelling errors highlighted on code elements that -" match scalaBlock, even with `syn spell notoplevel`. -function! s:ContainedGroup() - try - silent syn list @scala - return '@scala,@NoSpell' - catch /E392/ - return 'TOP,@Spell' - endtry -endfunction - -unlet! b:current_syntax - -syn case match -syn sync minlines=200 maxlines=1000 - -syn keyword scalaKeyword catch do else final finally for forSome if -syn keyword scalaKeyword match return throw try while yield macro -syn keyword scalaKeyword class trait object extends with nextgroup=scalaInstanceDeclaration skipwhite -syn keyword scalaKeyword case nextgroup=scalaKeyword,scalaCaseFollowing skipwhite -syn keyword scalaKeyword val nextgroup=scalaNameDefinition,scalaQuasiQuotes skipwhite -syn keyword scalaKeyword def var nextgroup=scalaNameDefinition skipwhite -hi link scalaKeyword Keyword - -exe 'syn region scalaBlock start=/{/ end=/}/ contains=' . s:ContainedGroup() . ' fold' - -syn keyword scalaAkkaSpecialWord when goto using startWith initialize onTransition stay become unbecome -hi link scalaAkkaSpecialWord PreProc - -syn keyword scalatestSpecialWord shouldBe -syn match scalatestShouldDSLA /^\s\+\zsit should/ -syn match scalatestShouldDSLB /\/ -hi link scalatestSpecialWord PreProc -hi link scalatestShouldDSLA PreProc -hi link scalatestShouldDSLB PreProc - -syn match scalaSymbol /'[_A-Za-z0-9$]\+/ -hi link scalaSymbol Number - -syn match scalaChar /'.'/ -syn match scalaChar /'\\[\\"'ntbrf]'/ contains=scalaEscapedChar -syn match scalaChar /'\\u[A-Fa-f0-9]\{4}'/ contains=scalaUnicodeChar -syn match scalaEscapedChar /\\[\\"'ntbrf]/ -syn match scalaUnicodeChar /\\u[A-Fa-f0-9]\{4}/ -hi link scalaChar Character -hi link scalaEscapedChar Function -hi link scalaUnicodeChar Special - -syn match scalaOperator "||" -syn match scalaOperator "&&" -hi link scalaOperator Special - -syn match scalaNameDefinition /\<[_A-Za-z0-9$]\+\>/ contained nextgroup=scalaPostNameDefinition,scalaVariableDeclarationList -syn match scalaNameDefinition /`[^`]\+`/ contained nextgroup=scalaPostNameDefinition -syn match scalaVariableDeclarationList /\s*,\s*/ contained nextgroup=scalaNameDefinition -syn match scalaPostNameDefinition /\_s*:\_s*/ contained nextgroup=scalaTypeDeclaration -hi link scalaNameDefinition Function - -syn match scalaInstanceDeclaration /\<[_\.A-Za-z0-9$]\+\>/ contained nextgroup=scalaInstanceHash -syn match scalaInstanceDeclaration /`[^`]\+`/ contained -syn match scalaInstanceHash /#/ contained nextgroup=scalaInstanceDeclaration -hi link scalaInstanceDeclaration Special -hi link scalaInstanceHash Type - -syn match scalaUnimplemented /???/ -hi link scalaUnimplemented ERROR - -syn match scalaCapitalWord /\<[A-Z][A-Za-z0-9$]*\>/ -hi link scalaCapitalWord Special - -" Handle type declarations specially -syn region scalaTypeStatement matchgroup=Keyword start=/\\)\ze/ contained nextgroup=scalaTypeTypeDeclaration contains=scalaTypeTypeExtension skipwhite -syn match scalaTypeTypeDeclaration /\<[_\.A-Za-z0-9$]\+\>/ contained nextgroup=scalaTypeTypeExtension,scalaTypeTypeEquals skipwhite -syn match scalaTypeTypeEquals /=\ze[^>]/ contained nextgroup=scalaTypeTypePostDeclaration skipwhite -syn match scalaTypeTypeExtension /)\?\_s*\zs\%(⇒\|=>\|<:\|:>\|=:=\|::\|#\)/ contained nextgroup=scalaTypeTypeDeclaration skipwhite -syn match scalaTypeTypePostDeclaration /\<[_\.A-Za-z0-9$]\+\>/ contained nextgroup=scalaTypeTypePostExtension skipwhite -syn match scalaTypeTypePostExtension /\%(⇒\|=>\|<:\|:>\|=:=\|::\)/ contained nextgroup=scalaTypeTypePostDeclaration skipwhite -hi link scalaTypeTypeDeclaration Type -hi link scalaTypeTypeExtension Keyword -hi link scalaTypeTypePostDeclaration Special -hi link scalaTypeTypePostExtension Keyword - -syn match scalaTypeDeclaration /(/ contained nextgroup=scalaTypeExtension contains=scalaRoundBrackets skipwhite -syn match scalaTypeDeclaration /\%(⇒\|=>\)\ze/ contained nextgroup=scalaTypeDeclaration contains=scalaTypeExtension skipwhite -syn match scalaTypeDeclaration /\<[_\.A-Za-z0-9$]\+\>/ contained nextgroup=scalaTypeExtension skipwhite -syn match scalaTypeExtension /)\?\_s*\zs\%(⇒\|=>\|<:\|:>\|=:=\|::\|#\)/ contained nextgroup=scalaTypeDeclaration skipwhite -hi link scalaTypeDeclaration Type -hi link scalaTypeExtension Keyword -hi link scalaTypePostExtension Keyword - -syn match scalaTypeAnnotation /\%([_a-zA-Z0-9$\s]:\_s*\)\ze[_=(\.A-Za-z0-9$]\+/ skipwhite nextgroup=scalaTypeDeclaration contains=scalaRoundBrackets -syn match scalaTypeAnnotation /)\_s*:\_s*\ze[_=(\.A-Za-z0-9$]\+/ skipwhite nextgroup=scalaTypeDeclaration -hi link scalaTypeAnnotation Normal - -syn match scalaCaseFollowing /\<[_\.A-Za-z0-9$]\+\>/ contained -syn match scalaCaseFollowing /`[^`]\+`/ contained -hi link scalaCaseFollowing Special - -syn keyword scalaKeywordModifier abstract override final lazy implicit implicitly private protected sealed null require super -hi link scalaKeywordModifier Function - -syn keyword scalaSpecial this true false ne eq -syn keyword scalaSpecial new nextgroup=scalaInstanceDeclaration skipwhite -syn match scalaSpecial "\%(=>\|⇒\|<-\|←\|->\|→\)" -syn match scalaSpecial /`[^`]\+`/ " Backtick literals -hi link scalaSpecial PreProc - -syn keyword scalaExternal package import -hi link scalaExternal Include - -syn match scalaStringEmbeddedQuote /\\"/ contained -syn region scalaString start=/"/ end=/"/ contains=scalaStringEmbeddedQuote,scalaEscapedChar,scalaUnicodeChar -hi link scalaString String -hi link scalaStringEmbeddedQuote String - -syn region scalaIString matchgroup=scalaInterpolationBrackets start=/\<[a-zA-Z][a-zA-Z0-9_]*"/ skip=/\\"/ end=/"/ contains=scalaInterpolation,scalaInterpolationB,scalaEscapedChar,scalaUnicodeChar -syn region scalaTripleIString matchgroup=scalaInterpolationBrackets start=/\<[a-zA-Z][a-zA-Z0-9_]*"""/ end=/"""\%([^"]\|$\)/ contains=scalaInterpolation,scalaInterpolationB,scalaEscapedChar,scalaUnicodeChar -hi link scalaIString String -hi link scalaTripleIString String - -syn match scalaInterpolation /\$[a-zA-Z0-9_$]\+/ contained -exe 'syn region scalaInterpolationB matchgroup=scalaInterpolationBoundary start=/\${/ end=/}/ contained contains=' . s:ContainedGroup() -hi link scalaInterpolation Function -hi link scalaInterpolationB Normal - -syn region scalaFString matchgroup=scalaInterpolationBrackets start=/f"/ skip=/\\"/ end=/"/ contains=scalaFInterpolation,scalaFInterpolationB,scalaEscapedChar,scalaUnicodeChar -syn match scalaFInterpolation /\$[a-zA-Z0-9_$]\+\(%[-A-Za-z0-9\.]\+\)\?/ contained -exe 'syn region scalaFInterpolationB matchgroup=scalaInterpolationBoundary start=/${/ end=/}\(%[-A-Za-z0-9\.]\+\)\?/ contained contains=' . s:ContainedGroup() -hi link scalaFString String -hi link scalaFInterpolation Function -hi link scalaFInterpolationB Normal - -syn region scalaTripleString start=/"""/ end=/"""\%([^"]\|$\)/ contains=scalaEscapedChar,scalaUnicodeChar -syn region scalaTripleFString matchgroup=scalaInterpolationBrackets start=/f"""/ end=/"""\%([^"]\|$\)/ contains=scalaFInterpolation,scalaFInterpolationB,scalaEscapedChar,scalaUnicodeChar -hi link scalaTripleString String -hi link scalaTripleFString String - -hi link scalaInterpolationBrackets Special -hi link scalaInterpolationBoundary Function - -syn match scalaNumber /\<0[dDfFlL]\?\>/ " Just a bare 0 -syn match scalaNumber /\<[1-9]\d*[dDfFlL]\?\>/ " A multi-digit number - octal numbers with leading 0's are deprecated in Scala -syn match scalaNumber /\<0[xX][0-9a-fA-F]\+[dDfFlL]\?\>/ " Hex number -syn match scalaNumber /\%(\<\d\+\.\d*\|\.\d\+\)\%([eE][-+]\=\d\+\)\=[fFdD]\=/ " exponential notation 1 -syn match scalaNumber /\<\d\+[eE][-+]\=\d\+[fFdD]\=\>/ " exponential notation 2 -syn match scalaNumber /\<\d\+\%([eE][-+]\=\d\+\)\=[fFdD]\>/ " exponential notation 3 -hi link scalaNumber Number - -syn region scalaRoundBrackets start="(" end=")" skipwhite contained contains=scalaTypeDeclaration,scalaSquareBrackets,scalaRoundBrackets - -syn region scalaSquareBrackets matchgroup=scalaSquareBracketsBrackets start="\[" end="\]" skipwhite nextgroup=scalaTypeExtension contains=scalaTypeDeclaration,scalaSquareBrackets,scalaTypeOperator,scalaTypeAnnotationParameter -syn match scalaTypeOperator /[-+=:<>]\+/ contained -syn match scalaTypeAnnotationParameter /@\<[`_A-Za-z0-9$]\+\>/ contained -hi link scalaSquareBracketsBrackets Type -hi link scalaTypeOperator Keyword -hi link scalaTypeAnnotationParameter Function - -syn match scalaShebang "\%^#!.*" display -syn region scalaMultilineComment start="/\*" end="\*/" contains=scalaMultilineComment,scalaDocLinks,scalaParameterAnnotation,scalaCommentAnnotation,scalaTodo,scalaCommentCodeBlock,@Spell keepend fold -syn match scalaCommentAnnotation "@[_A-Za-z0-9$]\+" contained -syn match scalaParameterAnnotation "\%(@tparam\|@param\|@see\)" nextgroup=scalaParamAnnotationValue skipwhite contained -syn match scalaParamAnnotationValue /[.`_A-Za-z0-9$]\+/ contained -syn region scalaDocLinks start="\[\[" end="\]\]" contained -syn region scalaCommentCodeBlock matchgroup=Keyword start="{{{" end="}}}" contained -syn match scalaTodo "\vTODO|FIXME|XXX" contained -hi link scalaShebang Comment -hi link scalaMultilineComment Comment -hi link scalaDocLinks Function -hi link scalaParameterAnnotation Function -hi link scalaParamAnnotationValue Keyword -hi link scalaCommentAnnotation Function -hi link scalaCommentCodeBlockBrackets String -hi link scalaCommentCodeBlock String -hi link scalaTodo Todo - -syn match scalaAnnotation /@\<[`_A-Za-z0-9$]\+\>/ -hi link scalaAnnotation PreProc - -syn match scalaTrailingComment "//.*$" contains=scalaTodo,@Spell -hi link scalaTrailingComment Comment - -syn match scalaAkkaFSM /goto([^)]*)\_s\+\/ contains=scalaAkkaFSMGotoUsing -syn match scalaAkkaFSM /stay\_s\+using/ -syn match scalaAkkaFSM /^\s*stay\s*$/ -syn match scalaAkkaFSM /when\ze([^)]*)/ -syn match scalaAkkaFSM /startWith\ze([^)]*)/ -syn match scalaAkkaFSM /initialize\ze()/ -syn match scalaAkkaFSM /onTransition/ -syn match scalaAkkaFSM /onTermination/ -syn match scalaAkkaFSM /whenUnhandled/ -syn match scalaAkkaFSMGotoUsing /\/ -syn match scalaAkkaFSMGotoUsing /\/ -hi link scalaAkkaFSM PreProc -hi link scalaAkkaFSMGotoUsing PreProc - -let b:current_syntax = 'scala' - -if main_syntax ==# 'scala' - unlet main_syntax -endif - -" vim:set sw=2 sts=2 ts=8 et: