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

raw strings

This commit is contained in:
rhiannon morris 2022-04-11 14:10:49 +02:00
parent f248ccb909
commit 2b35029bde
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
syntax/idris2.vim
View File

@ -42,6 +42,7 @@ syn match idrisPragma "%\(hide\|logging\|auto_lazy\|unbound_implicits\|undotted_
syn match idrisChar "'[^'\\]'\|'\\.'\|'\\u[0-9a-fA-F]\{4}'"
syn match idrisBacktick "`[A-Za-z][A-Za-z0-9_']*`"
syn region idrisString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=@Spell
syn match idrisRawString /#\@<!\(#\+\)"\_.\{-}"\1/ contains=@Spell
syn region idrisBlockComment start="{-" end="-}" contains=idrisBlockComment,idrisTodo,@Spell
syn match idrisIdentifier "[a-zA-Z][a-zA-z0-9_']*" contained
@ -74,6 +75,7 @@ highlight def link idrisBlockComment Comment
highlight def link idrisTodo Todo
highlight def link idrisMetaVar Macro
highlight def link idrisString String
highlight def link idrisRawString String
highlight def link idrisChar String
highlight def link idrisBacktick Operator