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

package publish

This commit is contained in:
Vanessa McHale 2018-08-05 00:06:45 -05:00
parent b9f1cf562d
commit 5d5309e7df
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/ats.vim
View File

@ -29,6 +29,7 @@ syn keyword atsFixity infixr infixl prefix postfix
syn keyword arrowContents cloref1 cloptr1 lincloptr cloref cloptr
syn match atsArrow '=/=>'
syn match atsArrow '=/=>>'
syn region atsArrow start="=<" end=">" contains=arrowContents
syn region atsArrow start="-<" end=">"
@ -56,6 +57,7 @@ syntax match geq '>=' conceal cchar=≥
syntax match neq '!=' conceal cchar=≠
syntax match seq '==' conceal cchar=≡
syntax match logicalOr '||' conceal cchar=∨
syntax match nullPtr 'null' conceal cchar=∅
syn match atsChar "\v'.'"
syn match atsChar "\v'.*'" contains=atsSpecial