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-03 22:50:59 -06:00
parent ce35f6d281
commit cf512aaa5b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
syntax/ats.vim
View file

@ -72,7 +72,7 @@ syn keyword atsCond if then else case
syn keyword atsRepeat while
syn keyword atsException exception raise try
syn keyword atsStatement let in where local
syn keyword atsStatement val and fnx fun fn lam fix rec var of
syn keyword atsStatement val and fnx fun fn lam fix rec var of assume
syn keyword atsStatement begin end
syn keyword atsTypedef typedef sortdef viewtypedef vtypedef
syn keyword atsStructure datatype datavtype abstype dataviewtype dataprop dataview