package publish

This commit is contained in:
Vanessa McHale 2018-01-08 22:49:24 -06:00
parent 05f0872a59
commit 5a8b95b339
3 changed files with 5 additions and 3 deletions

View File

@ -1 +1 @@
autocmd BufNewFile,BufRead *.ats,*.dats*,*.sats,*.cats,*.hats set filetype=ats autocmd BufNewFile,BufRead *.lats,*.ats,*.dats*,*.sats,*.cats,*.hats set filetype=ats

View File

@ -38,7 +38,7 @@ endfunction
if g:ats_use_ctags == 1 if g:ats_use_ctags == 1
augroup ats augroup ats
autocmd BufWritePost *.dats,*.cats,*.sats,*.hats silent !ctags -R . autocmd BufWritePost *.dats,*.cats,*.sats,*.hats silent !ctags . -R
augroup END augroup END
endif endif

View File

@ -65,12 +65,13 @@ syn keyword atsKeyword prefix postfix infix infixl infixr op nonfix addr
syn keyword atsKeyword staload stadef sta dynload stacst assertloc macdef syn keyword atsKeyword staload stadef sta dynload stacst assertloc macdef
syn keyword atsCond if then else case sif when syn keyword atsCond if then else case sif when
syn keyword atsRepeat while syn keyword atsRepeat while
syn keyword atsOperator mod
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 castfn prfun prfn syn keyword atsStatement val and fnx fun fn llam lam fix rec var of assume castfn prfun prfn
syn keyword atsStatement begin end syn keyword atsStatement begin end
syn keyword atsTypedef typedef sortdef viewtypedef vtypedef viewdef syn keyword atsTypedef typedef sortdef viewtypedef vtypedef viewdef
syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview propdef absview
syn keyword atsExternal extern implement primplmnt syn keyword atsExternal extern implement primplmnt
syn keyword atsKeyword symintr overload with syn keyword atsKeyword symintr overload with
@ -129,6 +130,7 @@ AtsHiLink atsOctalError atsError
AtsHiLink atsIdent Identifier AtsHiLink atsIdent Identifier
" various keywords " various keywords
AtsHiLink atsKey Keyword AtsHiLink atsKey Keyword
AtsHiLink atsOperator Operator
AtsHiLink atsCond Conditional AtsHiLink atsCond Conditional
AtsHiLink atsRepeat Repeat AtsHiLink atsRepeat Repeat
AtsHiLink atsException Exception AtsHiLink atsException Exception