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-21 18:45:31 -06:00
parent 07559ba4d3
commit 99c83935fd
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
syntax/ats.vim
View file

@ -68,8 +68,8 @@ endif
" keyword highlighting
syn keyword atsKeyword prefix postfix infix infixl infixr op nonfix
syn keyword atsKeyword staload stadef sta
syn keyword atsCond if then else case
syn keyword atsKeyword staload stadef sta dynload
syn keyword atsCond if then else case sif
syn keyword atsRepeat while
syn keyword atsException exception raise try
syn keyword atsStatement let in where local
@ -82,7 +82,7 @@ syn keyword atsExternal extern implement primplmnt
syn keyword atsKeyword symintr overload with
syn keyword atsKeyword prval praxi datasort
syn keyword atsSorts bool char int absprop prop type view viewtype nat absvtype
syn keyword atsSorts bool char int absprop prop type view viewtype nat absvtype absviewtype
syn keyword atsTypes string float double void
@ -94,7 +94,7 @@ syn region atsPreCondit start="^\s*\(%:\|#\)\s*\(if\|ifdef\|ifndef\|elif\)\>" s
syn match atsPreCondit display "^\s*\(%:\|#\)\s*\(else\|endif\)\>"
syn region atsCppOut start="^\s*\(%\|#\)\s*if\s\+0\+\>" end=".\@=\|$" contains=atsCppOut2
syn region atsCppOut2 contained start="0" end="^\s*\(%:\|#\)\s*\(endif\>\|else\>\|elif\>\)" contains=atsCppSkip
syn region atsCppSkip contained start="^\s*\(%:\|#\)\s*\(if\>\|ifdef\>\|ifndef\>\)" skip="\\$" end="^\s*\(%:\|#\)\s*endif\>" contains=atsCppSkip
syn region atsCppSkip contained start="^\s*\(%:\|#\)\s*\(if\>\|ifdef\>\|print\>\|ifndef\>\)" skip="\\$" end="^\s*\(%:\|#\)\s*endif\>" contains=atsCppSkip
syn region atsIncluded display contained start=+"+ skip=+\\\\\|\\"+ end=+"+
syn match atsIncluded display contained "<[^>]*>"
syn match atsInclude "^\s*\(%:\|#\)\s*include\>\s*["<]" contains=atsIncluded