rhi/ats-vim
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

type highlighting

Browse source
This commit is contained in:
Vanessa McHale 2020-03-03 16:00:25 -06:00
parent 7a90252f79
commit e8e83886b6
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
syntax/ats.vim
View file

@ -54,6 +54,11 @@ syn match atsComment "\v\/\/.*$" contains=atsTodo,@Spell
syn region atsNestComment start="/\*" end="\*/" contains=atsNestComment,atsTodo,@Spell syn region atsNestComment start="/\*" end="\*/" contains=atsNestComment,atsTodo,@Spell
syn region atsNestParenComment start="(\*" end="\*)" contains=atsTodo,@Spell,atsNestParenComment syn region atsNestParenComment start="(\*" end="\*)" contains=atsTodo,@Spell,atsNestParenComment
syntax match atsType 'absvt@ype'
syntax match atsType 'vt@ype'
syntax match atsType 'abst@ype'
syntax match atsType 't@ype'
syntax match logicalAnd '&&' conceal cchar=∧ syntax match logicalAnd '&&' conceal cchar=∧
syntax match leq '<=' conceal cchar=≤ syntax match leq '<=' conceal cchar=≤
syntax match geq '>=' conceal cchar=≥ syntax match geq '>=' conceal cchar=≥