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 2018-02-26 19:46:25 -06:00
parent cf639710ca
commit 033fe33caa
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
syntax/ats.vim
View file

@ -18,8 +18,8 @@ syn match atsSpecial -\v\\[0-9]+-
syn region atsString start=+"+ end=+"+ contains=atsSpecial
syn keyword atsKeyword staload dynload overload with fun symintr include fn fnx and prfun prfn praxi
syn keyword atsKeyword lam llam fix raise of var val prval if then else addr
syn keyword atsKeyword staload dynload overload with fun symintr include fn fnx and prfun prfn praxi castfn sortdef
syn keyword atsKeyword lam llam fix raise of var val prval if then else addr let in end
syn keyword atsKeywordTwo case ifcase
syn match atsKeyword "\v[\%\+\-\<\>\=!\:\~]+"
@ -29,10 +29,10 @@ syn keyword atsFixity infixr infixl prefix postfix
syn keyword arrowContents cloref1 cloptr1 lincloptr cloref cloptr
syn region atsArrow start="=<" end=">" contains=arrowContents
syn region atsArrow start="-<" end=">" contains=arrowContents
syn region atsArrow start="-<" end=">"
syn keyword atsType void bool string char int uint charNZ strnptr Strptr0 Strptr1 nat
syn keyword atsType datavtype datatype vtypedef dataviewtype viewtypdef typedef view viewdef
syn keyword atsType datavtype datatype vtypedef dataviewtype viewtypdef typedef view viewdef dataview abstype absvtype absviewtype datasort dataprop
syn keyword atsType implement primplmnt extern
syn match atsParens "[()]"
@ -45,7 +45,7 @@ syn region atsMacro start="#" end="\v$" contains=atsString
syn keyword atsBool true false
syn match atsComment "\v^\/\/.*$"
syn match atsComment "\v\/\/.*$"
syn region atsNestComment start="(\*" end="\*)" contains=atsNestComment,atsTodo,@Spell
syntax match logicalAnd '&&' conceal cchar=∧