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

package publish

Browse source
This commit is contained in:
Vanessa McHale 2017-12-06 23:11:03 -06:00
parent 6e3fb30a33
commit 38f5eeebc5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
syntax/ats.vim
View file

@ -30,7 +30,7 @@ syn match atsSpecial display contained "\\\(x\x\+\|\o\{1,3}\|.\|$\)"
syn match atsSpecial display contained "\\\(u\x\{4}\|U\x\{8}\)" syn match atsSpecial display contained "\\\(u\x\{4}\|U\x\{8}\)"
syn match atsSpecial '\\n' syn match atsSpecial '\\n'
syn match atsSpecial '@' syn match atsSpecial '@'
" syn match atsSpecial '#\[' " syn match atsSpecial '#'
syn match atsFormat display "%\(\d\+\$\)\=[-+' #0*]*\(\d*\|\*\|\*\d\+\$\)\(\.\(\d*\|\*\|\*\d\+\$\)\)\=\([hlL]\|ll\)\=\([bdiuoxXDOUfeEgGcCsSpn]\|\[\^\=.[^]]*\]\)" contained syn match atsFormat display "%\(\d\+\$\)\=[-+' #0*]*\(\d*\|\*\|\*\d\+\$\)\(\.\(\d*\|\*\|\*\d\+\$\)\)\=\([hlL]\|ll\)\=\([bdiuoxXDOUfeEgGcCsSpn]\|\[\^\=.[^]]*\]\)" contained
syn region atsStringDenot start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=atsSpecial,atsFormat,atsSpecial,@Spell syn region atsStringDenot start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=atsSpecial,atsFormat,atsSpecial,@Spell
syn match atsCharDenot "'[^\\]'" syn match atsCharDenot "'[^\\]'"
@ -73,7 +73,7 @@ syn keyword atsCond if then else case
syn keyword atsRepeat while syn keyword atsRepeat while
syn keyword atsException exception raise try syn keyword atsException exception raise try
syn keyword atsStatement let in where local syn keyword atsStatement let in where local
syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume castfn prfun
syn keyword atsStatement begin end syn keyword atsStatement begin end
syn keyword atsTypedef typedef sortdef viewtypedef vtypedef syn keyword atsTypedef typedef sortdef viewtypedef vtypedef
syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview