diff --git a/syntax/ats.vim b/syntax/ats.vim index 3736625..7f213c1 100644 --- a/syntax/ats.vim +++ b/syntax/ats.vim @@ -54,6 +54,11 @@ syn match atsComment "\v\/\/.*$" contains=atsTodo,@Spell syn region atsNestComment start="/\*" end="\*/" contains=atsNestComment,atsTodo,@Spell 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 leq '<=' conceal cchar=≤ syntax match geq '>=' conceal cchar=≥