rhi
/
idris2-vim
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Compare commits

base: rhi:1cb34ab5d6b99b0c08af91f175d664a3a1a084b7
Branches Tags
rhi:main
...
compare: rhi:8d61704813d32060e99a1ee78b6547cb7fda1715
Branches Tags
rhi:main

2 Commits
1cb34ab5d6 ... 8d61704813

Author SHA1 Message Date
rhiannon morris 8d61704813 change highlight categories 2023-11-05 12:10:48 +01:00
rhiannon morris 8b12e7dd3e add %syntactic 2023-11-05 12:10:35 +01:00
1 changed files with 11 additions and 12 deletions
Show Stats Expand all files Collapse all files

23
syntax/idris2.vim
View File

@ -38,7 +38,7 @@ syn keyword idrisTodo TODO FIXME XXX HACK contained
syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$" contains=idrisTodo,@Spell syn match idrisLineComment "---*\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$" contains=idrisTodo,@Spell
syn match idrisDocComment "|||\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$" contains=idrisTodo,@Spell syn match idrisDocComment "|||\([^-!#$%&\*\+./<=>\?@\\^|~].*\)\?$" contains=idrisTodo,@Spell
syn match idrisMetaVar "?[a-z][A-Za-z0-9_']*" syn match idrisMetaVar "?[a-z][A-Za-z0-9_']*"
syn match idrisPragma "%\(hide\|logging\|auto_lazy\|unbound_implicits\|undotted_record_projections\|ambiguity_depth\|pair\|rewrite\|integerLit\|stringLit\|charLit\|name\|start\|allow_overloads\|language\|default\|transform\|hint\|global_hint\|defaulthint\|inline\|extern\|macro\|spec\|foreign\|runElab\|tcinline\|auto_implicit_depth\|builtin\|search\)\>" syn match idrisPragma "%\(hide\|logging\|auto_lazy\|unbound_implicits\|undotted_record_projections\|ambiguity_depth\|pair\|rewrite\|integerLit\|stringLit\|charLit\|name\|start\|allow_overloads\|language\|default\|transform\|hint\|global_hint\|defaulthint\|inline\|extern\|macro\|spec\|foreign\|runElab\|tcinline\|auto_implicit_depth\|builtin\|search\|syntactic\)\>"
syn match idrisChar "'[^'\\]'\|'\\.'\|'\\u[0-9a-fA-F]\{4}'" syn match idrisChar "'[^'\\]'\|'\\.'\|'\\u[0-9a-fA-F]\{4}'"
syn match idrisBacktick "`[A-Za-z][A-Za-z0-9_']*`" syn match idrisBacktick "`[A-Za-z][A-Za-z0-9_']*`"
syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=@Spell syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=@Spell
@ -47,33 +47,32 @@ syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment,idri
syn match idrisIdentifier "[a-zA-Z][a-zA-z0-9_']*" contained syn match idrisIdentifier "[a-zA-Z][a-zA-z0-9_']*" contained
highlight def link idrisDeprecated Error highlight def link idrisDeprecated Error
highlight def link idrisIdentifier Identifier " highlight def link idrisIdentifier Identifier
highlight def link idrisImport Structure highlight def link idrisImport Structure
highlight def link idrisModule Structure highlight def link idrisModule Structure
highlight def link idrisStructure Structure highlight def link idrisStructure Structure
highlight def link idrisStatement Statement highlight def link idrisStatement Structure
highlight def link idrisForall Structure highlight def link idrisForall Structure
highlight def link idrisDataOpt Statement highlight def link idrisDataOpt Macro
highlight def link idrisDSL Statement highlight def link idrisBlock Structure
highlight def link idrisBlock Statement highlight def link idrisAnnotation Structure
highlight def link idrisAnnotation Statement
highlight def link idrisWhere Structure highlight def link idrisWhere Structure
highlight def link idrisLet Structure highlight def link idrisLet Structure
highlight def link idrisTotality Statement highlight def link idrisTotality Macro
highlight def link idrisVisibility Statement highlight def link idrisVisibility Macro
highlight def link idrisConditional Conditional highlight def link idrisConditional Conditional
highlight def link idrisPragma Statement highlight def link idrisPragma Macro
highlight def link idrisNumber Number highlight def link idrisNumber Number
highlight def link idrisFloat Float highlight def link idrisFloat Float
highlight def link idrisDelimiter Delimiter highlight def link idrisDelimiter Delimiter
highlight def link idrisInfix PreProc highlight def link idrisInfix PreProc
highlight def link idrisOperators Operator highlight def link idrisOperators Operator
highlight def link idrisType Include highlight def link idrisType Type
highlight def link idrisDocComment Comment highlight def link idrisDocComment Comment
highlight def link idrisLineComment Comment highlight def link idrisLineComment Comment
highlight def link idrisBlockComment Comment highlight def link idrisBlockComment Comment
highlight def link idrisTodo Todo highlight def link idrisTodo Todo
highlight def link idrisMetaVar Macro highlight def link idrisMetaVar Special
highlight def link idrisString String highlight def link idrisString String
highlight def link idrisRawString String highlight def link idrisRawString String
highlight def link idrisChar String highlight def link idrisChar String