From e8e83886b635daabc3498b1e3a7913b894d6ecc4 Mon Sep 17 00:00:00 2001 From: Vanessa McHale Date: Tue, 3 Mar 2020 16:00:25 -0600 Subject: [PATCH] type highlighting --- syntax/ats.vim | 5 +++++ 1 file changed, 5 insertions(+) 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=≥